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