Gary is blue. Gary is cold. Gary is green. Gary is not quiet. Gary is red. Gary is round. Gary is white. If Gary is white then Gary is cold.
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
If Gary is white then Gary is cold.
((("Gary" "is" "white" "+")) -> ("Gary" "is" "cold" "+"))
Gary is red.
True
1
proof
[(triple5)]
("Gary" "is" "red" "+")
triple5
Gary is not blue.
False
1
inv-proof
[(triple1)]
("Gary" "is" "blue" "-")
triple1
@0: Gary is blue.[(triple1)] Gary is cold.[(triple2 OR ((triple7) -> rule1))] Gary is green.[(triple3)] Gary is not quiet.[(triple4)] Gary is red.[(triple5)] Gary is round.[(triple6)] Gary is white.[(triple7)]
Gary is blue.
("Gary" "is" "blue" "+")
triple1
Gary is cold.
("Gary" "is" "cold" "+")
triple2
((triple7) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple3
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple4
Gary is red.
("Gary" "is" "red" "+")
triple5
Gary is round.
("Gary" "is" "round" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7