Anne is big. Anne is furry. Anne is not quiet. Anne is not red. Anne is not smart. Anne is white. Anne is young. If Anne is white and Anne is not young then Anne is furry.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is not red.
("Anne" "is" "red" "-")
Anne is not smart.
("Anne" "is" "smart" "-")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
If Anne is white and Anne is not young then Anne is furry.
((("Anne" "is" "white" "+") ("Anne" "is" "young" "~")) -> ("Anne" "is" "furry" "+"))
Anne is white.
True
1
proof
[(triple6)]
("Anne" "is" "white" "+")
triple6
Anne is quiet.
False
1
inv-proof
[(triple3)]
("Anne" "is" "quiet" "+")
triple3
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is not quiet.[(triple3)] Anne is not red.[(triple4)] Anne is not smart.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple3
Anne is not red.
("Anne" "is" "red" "-")
triple4
Anne is not smart.
("Anne" "is" "smart" "-")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7