Anne is big. Anne is not cold. Anne is not furry. Anne is nice. Anne is quiet. Anne is not red. Anne is white. Bob is not big. Bob is cold. Bob is furry. Bob is nice. Bob is quiet. Bob is not red. Bob is not white. If Anne is cold then Anne is big.
Anne is big.
("Anne" "is" "big" "+")
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is not red.
("Anne" "is" "red" "-")
Anne is white.
("Anne" "is" "white" "+")
Bob is not big.
("Bob" "is" "big" "-")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is not red.
("Bob" "is" "red" "-")
Bob is not white.
("Bob" "is" "white" "-")
If Anne is cold then Anne is big.
((("Anne" "is" "cold" "+")) -> ("Anne" "is" "big" "+"))
Anne is not cold.
True
1
proof
[(triple2)]
("Anne" "is" "cold" "-")
triple2
Anne is not quiet.
False
1
inv-proof
[(triple5)]
("Anne" "is" "quiet" "-")
triple5
@0: Anne is big.[(triple1)] Anne is nice.[(triple4)] Anne is not cold.[(triple2)] Anne is not furry.[(triple3)] Anne is not red.[(triple6)] Anne is quiet.[(triple5)] Anne is white.[(triple7)] Bob is cold.[(triple9)] Bob is furry.[(triple10)] Bob is nice.[(triple11)] Bob is not big.[(triple8)] Bob is not red.[(triple13)] Bob is not white.[(triple14)] Bob is quiet.[(triple12)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is not cold.
("Anne" "is" "cold" "-")
triple2
Anne is not furry.
("Anne" "is" "furry" "-")
triple3
Anne is not red.
("Anne" "is" "red" "-")
triple6
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple7
Bob is cold.
("Bob" "is" "cold" "+")
triple9
Bob is furry.
("Bob" "is" "furry" "+")
triple10
Bob is nice.
("Bob" "is" "nice" "+")
triple11
Bob is not big.
("Bob" "is" "big" "-")
triple8
Bob is not red.
("Bob" "is" "red" "-")
triple13
Bob is not white.
("Bob" "is" "white" "-")
triple14
Bob is quiet.
("Bob" "is" "quiet" "+")
triple12