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