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