Gary is cold. Gary is furry. Gary is kind. Gary is nice. Gary is not quiet. Gary is red. Gary is young. If Gary is nice and Gary is not red then Gary is not cold. If someone is young and not cold then they are kind.
Gary is 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 quiet.
("Gary" "is" "quiet" "-")
Gary is red.
("Gary" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
If Gary is nice and Gary is not red then Gary is not cold.
((("Gary" "is" "nice" "+") ("Gary" "is" "red" "~")) -> ("Gary" "is" "cold" "-"))
If someone is young and not cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "kind" "+"))
Gary is furry.
True
1
proof
[(triple2)]
("Gary" "is" "furry" "+")
triple2
Gary is not furry.
False
1
inv-proof
[(triple2)]
("Gary" "is" "furry" "-")
triple2
@0: Gary is cold.[(triple1)] Gary is furry.[(triple2)] Gary is kind.[(triple3)] Gary is nice.[(triple4)] Gary is not quiet.[(triple5)] Gary is red.[(triple6)] Gary is young.[(triple7)]
Gary is cold.
("Gary" "is" "cold" "+")
triple1
Gary is furry.
("Gary" "is" "furry" "+")
triple2
Gary is kind.
("Gary" "is" "kind" "+")
triple3
Gary is nice.
("Gary" "is" "nice" "+")
triple4
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7