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