Gary is blue. Gary is furry. Gary is green. Gary is not quiet. Gary is rough. Gary is not round. Gary is white. If something is rough then it is furry. If something is round and not quiet then it is white.
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is not round.
("Gary" "is" "round" "-")
Gary is white.
("Gary" "is" "white" "+")
If something is rough then it is furry.
((("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
If something is round and not quiet then it is white.
((("something" "is" "round" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "white" "+"))
Gary is rough.
True
1
proof
[(triple5)]
("Gary" "is" "rough" "+")
triple5
Gary is round.
False
1
inv-proof
[(triple6)]
("Gary" "is" "round" "+")
triple6
@0: Gary is blue.[(triple1)] Gary is furry.[(triple2 OR ((triple5) -> rule1))] Gary is green.[(triple3)] Gary is not quiet.[(triple4)] Gary is not round.[(triple6)] Gary is rough.[(triple5)] Gary is white.[(triple7)]
Gary is blue.
("Gary" "is" "blue" "+")
triple1
Gary is furry.
("Gary" "is" "furry" "+")
triple2
((triple5) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple3
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple4
Gary is not round.
("Gary" "is" "round" "-")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple5
Gary is white.
("Gary" "is" "white" "+")
triple7