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