p q r ~p q→r ~pΛ(q→r)
B B B
B B S
B S B
B S S
B B B
S B S
S S B
S S S
S B B
S B S