p ∙ p ⊃ q ∙ ⊃ ∙ q
 p → r ∙ s
   q → r ⌵ s