Gary is blue. Gary is cold. Gary is furry. Gary is nice. Gary is rough. Gary is round. Gary is smart. Rough, round things are cold. All nice things are cold.
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 rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Rough, round things are cold.
((("something" "is" "rough" "+") ("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
All nice things are cold.
((("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
Gary is nice.
True
1
proof
[(triple4)]
("Gary" "is" "nice" "+")
triple4
Gary is not rough.
False
1
inv-proof
[(triple5)]
("Gary" "is" "rough" "-")
triple5
@0: Gary is blue.[(triple1)] Gary is cold.[(triple2 OR ((triple4) -> rule2) OR ((triple5 triple6) -> rule1))] Gary is furry.[(triple3)] Gary is nice.[(triple4)] Gary is rough.[(triple5)] Gary is round.[(triple6)] Gary is smart.[(triple7)]
Gary is blue.
("Gary" "is" "blue" "+")
triple1
Gary is cold.
("Gary" "is" "cold" "+")
triple2
((triple4) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((triple5 triple6) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple3
Gary is nice.
("Gary" "is" "nice" "+")
triple4
Gary is rough.
("Gary" "is" "rough" "+")
triple5
Gary is round.
("Gary" "is" "round" "+")
triple6
Gary is smart.
("Gary" "is" "smart" "+")
triple7