Anne is furry. Anne is green. Anne is not red. Anne is rough. Anne is smart. Anne is white. Anne is young. Erin is furry. Erin is green. Erin is red. Erin is rough. Erin is not smart. Erin is white. Erin is young. If Erin is green and Erin is smart then Erin is not white. If Anne is young and Anne is not smart then Anne is red.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is not red.
("Anne" "is" "red" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
If Erin is green and Erin is smart then Erin is not white.
((("Erin" "is" "green" "+") ("Erin" "is" "smart" "+")) -> ("Erin" "is" "white" "-"))
If Anne is young and Anne is not smart then Anne is red.
((("Anne" "is" "young" "+") ("Anne" "is" "smart" "~")) -> ("Anne" "is" "red" "+"))
Erin is not smart.
True
1
proof
[(triple12)]
("Erin" "is" "smart" "-")
triple12
Erin is not red.
False
1
inv-proof
[(triple10)]
("Erin" "is" "red" "-")
triple10
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is not red.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Erin is furry.[(triple8)] Erin is green.[(triple9)] Erin is not smart.[(triple12)] Erin is red.[(triple10)] Erin is rough.[(triple11)] Erin is white.[(triple13)] Erin is young.[(triple14)]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is not red.
("Anne" "is" "red" "-")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is green.
("Erin" "is" "green" "+")
triple9
Erin is not smart.
("Erin" "is" "smart" "-")
triple12
Erin is red.
("Erin" "is" "red" "+")
triple10
Erin is rough.
("Erin" "is" "rough" "+")
triple11
Erin is white.
("Erin" "is" "white" "+")
triple13
Erin is young.
("Erin" "is" "young" "+")
triple14