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