Bob is big. Bob is not blue. Bob is not cold. Bob is not furry. Bob is not green. Bob is not nice. Bob is rough. If something is blue and green then it is furry. Furry things are cold.
Bob is big.
("Bob" "is" "big" "+")
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is not green.
("Bob" "is" "green" "-")
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is rough.
("Bob" "is" "rough" "+")
If something is blue and green then it is furry.
((("something" "is" "blue" "+") ("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
Furry things are cold.
((("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
Bob is not nice.
True
1
proof
[(triple6)]
("Bob" "is" "nice" "-")
triple6
Bob is nice.
False
1
inv-proof
[(triple6)]
("Bob" "is" "nice" "+")
triple6
@0: Bob is big.[(triple1)] Bob is not blue.[(triple2)] Bob is not cold.[(triple3)] Bob is not furry.[(triple4)] Bob is not green.[(triple5)] Bob is not nice.[(triple6)] Bob is rough.[(triple7)]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is not blue.
("Bob" "is" "blue" "-")
triple2
Bob is not cold.
("Bob" "is" "cold" "-")
triple3
Bob is not furry.
("Bob" "is" "furry" "-")
triple4
Bob is not green.
("Bob" "is" "green" "-")
triple5
Bob is not nice.
("Bob" "is" "nice" "-")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple7