Gary is furry. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is smart. Gary is young. If Gary is furry and Gary is not rough then Gary is smart. If someone is round and smart then they are red.
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
If Gary is furry and Gary is not rough then Gary is smart.
((("Gary" "is" "furry" "+") ("Gary" "is" "rough" "~")) -> ("Gary" "is" "smart" "+"))
If someone is round and smart then they are red.
((("someone" "is" "round" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
Gary is rough.
True
1
proof
[(triple4)]
("Gary" "is" "rough" "+")
triple4
Gary is not smart.
False
1
inv-proof
[(triple6)]
("Gary" "is" "smart" "-")
triple6
@0: Gary is furry.[(triple1)] Gary is quiet.[(triple2)] Gary is red.[(triple3 OR ((triple5 triple6) -> rule2))] Gary is rough.[(triple4)] Gary is round.[(triple5)] Gary is smart.[(triple6)] Gary is young.[(triple7)]
Gary is furry.
("Gary" "is" "furry" "+")
triple1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple2
Gary is red.
("Gary" "is" "red" "+")
triple3
((triple5 triple6) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple4
Gary is round.
("Gary" "is" "round" "+")
triple5
Gary is smart.
("Gary" "is" "smart" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7