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