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