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