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