Gary is blue. Gary is cold. Gary is furry. Gary is nice. Gary is quiet. Gary is rough. Gary is young. Quiet, rough things are blue.
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
Quiet, rough things are blue.
((("something" "is" "quiet" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
Gary is young.
True
1
proof
[(triple7)]
("Gary" "is" "young" "+")
triple7
Gary is not quiet.
False
1
inv-proof
[(triple5)]
("Gary" "is" "quiet" "-")
triple5
@0: Gary is blue.[(triple1 OR ((triple5 triple6) -> rule1))] Gary is cold.[(triple2)] Gary is furry.[(triple3)] Gary is nice.[(triple4)] Gary is quiet.[(triple5)] Gary is rough.[(triple6)] Gary is young.[(triple7)]
Gary is blue.
("Gary" "is" "blue" "+")
triple1
((triple5 triple6) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple2
Gary is furry.
("Gary" "is" "furry" "+")
triple3
Gary is nice.
("Gary" "is" "nice" "+")
triple4
Gary is quiet.
("Gary" "is" "quiet" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7