Anne is cold. Anne is furry. Anne is nice. Anne is quiet. Anne is rough. Anne is round. Anne is white. If Anne is not nice then Anne is not white.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
If Anne is not nice then Anne is not white.
((("Anne" "is" "nice" "~")) -> ("Anne" "is" "white" "-"))
Anne is furry.
True
1
proof
[(triple2)]
("Anne" "is" "furry" "+")
triple2
Anne is not round.
False
1
inv-proof
[(triple6)]
("Anne" "is" "round" "-")
triple6
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is white.[(triple7)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple6
Anne is white.
("Anne" "is" "white" "+")
triple7