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