ex2d-ask-literal.txt

TELLC P1 v Q1
TELLC ~P1 v R1
TELLC ~Q1 v R1
ASK R1

Yes, KB entails R1

TELLC P2 v Q2
TELLC ~P2 v R2
TELLC R2 v S2
TELLC R2 v ~Q2
TELLC ~S2 v ~Q2
ASK R2

Yes, KB entails R2

TELLC ~B11 v P12 v P21
TELLC ~P12 v B11
TELLC ~P21 v B11
TELLC ~B11
ASK ~P12

Yes, KB entails ~P12

ASK ~P21

Yes, KB entails ~P21