Gary is not big. Gary is not blue. Gary is furry. Gary is not green. Gary is not kind. Gary is quiet. Gary is white. All blue, white people are big.
Gary is not big.
("Gary" "is" "big" "-")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is not kind.
("Gary" "is" "kind" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is white.
("Gary" "is" "white" "+")
All blue, white people are big.
((("someone" "is" "blue" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
Gary is not kind.
True
1
proof
[(triple5)]
("Gary" "is" "kind" "-")
triple5
Gary is not white.
False
1
inv-proof
[(triple7)]
("Gary" "is" "white" "-")
triple7
@0: Gary is furry.[(triple3)] Gary is not big.[(triple1)] Gary is not blue.[(triple2)] Gary is not green.[(triple4)] Gary is not kind.[(triple5)] Gary is quiet.[(triple6)] Gary is white.[(triple7)]
Gary is furry.
("Gary" "is" "furry" "+")
triple3
Gary is not big.
("Gary" "is" "big" "-")
triple1
Gary is not blue.
("Gary" "is" "blue" "-")
triple2
Gary is not green.
("Gary" "is" "green" "-")
triple4
Gary is not kind.
("Gary" "is" "kind" "-")
triple5
Gary is quiet.
("Gary" "is" "quiet" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7