Bob is not big. Bob is nice. Bob is quiet. Bob is not rough. Bob is round. Bob is smart. Bob is not young. Round, big things are not nice.
Bob is not big.
("Bob" "is" "big" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is not rough.
("Bob" "is" "rough" "-")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is not young.
("Bob" "is" "young" "-")
Round, big things are not nice.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "nice" "-"))
Bob is round.
True
1
proof
[(triple5)]
("Bob" "is" "round" "+")
triple5
Bob is not quiet.
False
1
inv-proof
[(triple3)]
("Bob" "is" "quiet" "-")
triple3
@0: Bob is nice.[(triple2)] Bob is not big.[(triple1)] Bob is not rough.[(triple4)] Bob is not young.[(triple7)] Bob is quiet.[(triple3)] Bob is round.[(triple5)] Bob is smart.[(triple6)]
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is not rough.
("Bob" "is" "rough" "-")
triple4
Bob is not young.
("Bob" "is" "young" "-")
triple7
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple5
Bob is smart.
("Bob" "is" "smart" "+")
triple6