Gary is cold. Gary is furry. Gary is kind. Gary is quiet. Gary is round. Gary is white. Gary is young. Cold, kind things are quiet. If something is cold and white then it is furry.
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Cold, kind things are quiet.
((("something" "is" "cold" "+") ("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
If something is cold and white then it is furry.
((("something" "is" "cold" "+") ("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
Gary is cold.
True
1
proof
[(triple1)]
("Gary" "is" "cold" "+")
triple1
Gary is not quiet.
False
1
inv-proof
[(triple4 OR ((triple1 triple3) -> rule1))]
("Gary" "is" "quiet" "-")
triple4
((triple1 triple3) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
@0: Gary is cold.[(triple1)] Gary is furry.[(triple2 OR ((triple1 triple6) -> rule2))] Gary is kind.[(triple3)] Gary is quiet.[(triple4 OR ((triple1 triple3) -> rule1))] Gary is round.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7)]
Gary is cold.
("Gary" "is" "cold" "+")
triple1
Gary is furry.
("Gary" "is" "furry" "+")
triple2
((triple1 triple6) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple3
Gary is quiet.
("Gary" "is" "quiet" "+")
triple4
((triple1 triple3) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple5
Gary is white.
("Gary" "is" "white" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7