Anne is big. Anne is furry. Anne is not quiet. Anne is rough. Anne is round. Anne is not smart. Anne is not white. If Anne is quiet and Anne is not rough 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 rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is not smart.
("Anne" "is" "smart" "-")
Anne is not white.
("Anne" "is" "white" "-")
If Anne is quiet and Anne is not rough then Anne is furry.
((("Anne" "is" "quiet" "+") ("Anne" "is" "rough" "~")) -> ("Anne" "is" "furry" "+"))
Anne is furry.
True
1
proof
[(triple2)]
("Anne" "is" "furry" "+")
triple2
Anne is not furry.
False
1
inv-proof
[(triple2)]
("Anne" "is" "furry" "-")
triple2
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is not quiet.[(triple3)] Anne is not smart.[(triple6)] Anne is not white.[(triple7)] Anne is rough.[(triple4)] Anne is round.[(triple5)]
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 smart.
("Anne" "is" "smart" "-")
triple6
Anne is not white.
("Anne" "is" "white" "-")
triple7
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5