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