Gary is big. Gary is cold. Gary is furry. Gary is kind. Gary is quiet. Gary is not smart. Gary is not white. Furry things are kind. If something is furry and not cold then it is kind.
Gary is big.
("Gary" "is" "big" "+")
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 not smart.
("Gary" "is" "smart" "-")
Gary is not white.
("Gary" "is" "white" "-")
Furry things are kind.
((("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
If something is furry and not cold then it is kind.
((("something" "is" "furry" "+") ("something" "is" "cold" "~")) -> ("something" "is" "kind" "+"))
Gary is furry.
True
1
proof
[(triple3)]
("Gary" "is" "furry" "+")
triple3
Gary is not kind.
False
1
inv-proof
[(triple4 OR ((triple3) -> rule1))]
("Gary" "is" "kind" "-")
triple4
((triple3) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
@0: Gary is big.[(triple1)] Gary is cold.[(triple2)] Gary is furry.[(triple3)] Gary is kind.[(triple4 OR ((triple3) -> rule1))] Gary is not smart.[(triple6)] Gary is not white.[(triple7)] Gary is quiet.[(triple5)]
Gary is big.
("Gary" "is" "big" "+")
triple1
Gary is cold.
("Gary" "is" "cold" "+")
triple2
Gary is furry.
("Gary" "is" "furry" "+")
triple3
Gary is kind.
("Gary" "is" "kind" "+")
triple4
((triple3) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not smart.
("Gary" "is" "smart" "-")
triple6
Gary is not white.
("Gary" "is" "white" "-")
triple7
Gary is quiet.
("Gary" "is" "quiet" "+")
triple5