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