Anne is big. Anne is blue. Anne is not quiet. Anne is rough. Anne is round. Anne is white. Anne is young. Erin is not big. Erin is not blue. Erin is not quiet. Erin is rough. Erin is round. Erin is white. Erin is not young. If Erin is big then Erin is not rough. If someone is round then they are white. Round, quiet people are white.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is not big.
("Erin" "is" "big" "-")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is not young.
("Erin" "is" "young" "-")
If Erin is big then Erin is not rough.
((("Erin" "is" "big" "+")) -> ("Erin" "is" "rough" "-"))
If someone is round then they are white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
Round, quiet people are white.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
Anne is round.
True
1
proof
[(triple5)]
("Anne" "is" "round" "+")
triple5
Anne is not white.
False
1
inv-proof
[(triple6 OR ((triple5) -> rule2))]
("Anne" "is" "white" "-")
triple6
((triple5) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is not quiet.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6 OR ((triple5) -> rule2))] Anne is young.[(triple7)] Erin is not big.[(triple8)] Erin is not blue.[(triple9)] Erin is not quiet.[(triple10)] Erin is not young.[(triple14)] Erin is rough.[(triple11)] Erin is round.[(triple12)] Erin is white.[(triple13 OR ((triple12) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6
((triple5) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
triple7
Erin is not big.
("Erin" "is" "big" "-")
triple8
Erin is not blue.
("Erin" "is" "blue" "-")
triple9
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple10
Erin is not young.
("Erin" "is" "young" "-")
triple14
Erin is rough.
("Erin" "is" "rough" "+")
triple11
Erin is round.
("Erin" "is" "round" "+")
triple12
Erin is white.
("Erin" "is" "white" "+")
triple13
((triple12) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1