Anne is not big. Anne is blue. Anne is furry. Anne is not quiet. Anne is rough. Anne is not smart. Anne is not white. If something is white and not furry then it is quiet. White things are rough. White things are not rough. If something is quiet and not white then it is blue. If Anne is smart and Anne is not white then Anne is quiet. If Anne is quiet and Anne is smart then Anne is big. Quiet things are smart. If Anne is big and Anne is not blue then Anne is not rough.
Anne is not big.
("Anne" "is" "big" "-")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is not smart.
("Anne" "is" "smart" "-")
Anne is not white.
("Anne" "is" "white" "-")
If something is white and not furry then it is quiet.
((("something" "is" "white" "+") ("something" "is" "furry" "~")) -> ("something" "is" "quiet" "+"))
White things are rough.
((("something" "is" "white" "+")) -> ("something" "is" "rough" "+"))
White things are not rough.
((("something" "is" "white" "+")) -> ("something" "is" "rough" "-"))
If something is quiet and not white then it is blue.
((("something" "is" "quiet" "+") ("something" "is" "white" "~")) -> ("something" "is" "blue" "+"))
If Anne is smart and Anne is not white then Anne is quiet.
((("Anne" "is" "smart" "+") ("Anne" "is" "white" "~")) -> ("Anne" "is" "quiet" "+"))
If Anne is quiet and Anne is smart then Anne is big.
((("Anne" "is" "quiet" "+") ("Anne" "is" "smart" "+")) -> ("Anne" "is" "big" "+"))
Quiet things are smart.
((("something" "is" "quiet" "+")) -> ("something" "is" "smart" "+"))
If Anne is big and Anne is not blue then Anne is not rough.
((("Anne" "is" "big" "+") ("Anne" "is" "blue" "~")) -> ("Anne" "is" "rough" "-"))
Anne is not white.
True
1
proof
[(triple7)]
("Anne" "is" "white" "-")
triple7
Anne is smart.
False
1
inv-proof
[(triple6)]
("Anne" "is" "smart" "+")
triple6
@0: Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is not big.[(triple1)] Anne is not quiet.[(triple4)] Anne is not smart.[(triple6)] Anne is not white.[(triple7)] Anne is rough.[(triple5)]
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple4
Anne is not smart.
("Anne" "is" "smart" "-")
triple6
Anne is not white.
("Anne" "is" "white" "-")
triple7
Anne is rough.
("Anne" "is" "rough" "+")
triple5