Gary is furry. Gary is green. Gary is nice. Gary is quiet. Gary is not red. Gary is white. Gary is young. If Gary is not red and Gary is not furry then Gary is not nice. Quiet, nice things are white. Red things are quiet. Green, red things are quiet. If something is red and furry then it is green. If Gary is furry and Gary is not nice then Gary is young. If something is furry and not white then it is not young. All red things are young.
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not red.
("Gary" "is" "red" "-")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If Gary is not red and Gary is not furry then Gary is not nice.
((("Gary" "is" "red" "~") ("Gary" "is" "furry" "~")) -> ("Gary" "is" "nice" "-"))
Quiet, nice things are white.
((("something" "is" "quiet" "+") ("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
Red things are quiet.
((("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
Green, red things are quiet.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
If something is red and furry then it is green.
((("something" "is" "red" "+") ("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
If Gary is furry and Gary is not nice then Gary is young.
((("Gary" "is" "furry" "+") ("Gary" "is" "nice" "~")) -> ("Gary" "is" "young" "+"))
If something is furry and not white then it is not young.
((("something" "is" "furry" "+") ("something" "is" "white" "~")) -> ("something" "is" "young" "-"))
All red things are young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
Gary is quiet.
True
1
proof
[(triple4)]
("Gary" "is" "quiet" "+")
triple4
Gary is not nice.
False
1
inv-proof
[(triple3)]
("Gary" "is" "nice" "-")
triple3
@0: Gary is furry.[(triple1)] Gary is green.[(triple2)] Gary is nice.[(triple3)] Gary is not red.[(triple5)] Gary is quiet.[(triple4)] Gary is white.[(triple6 OR ((triple4 triple3) -> rule2))] Gary is young.[(triple7)]
Gary is furry.
("Gary" "is" "furry" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Gary is not red.
("Gary" "is" "red" "-")
triple5
Gary is quiet.
("Gary" "is" "quiet" "+")
triple4
Gary is white.
("Gary" "is" "white" "+")
triple6
((triple4 triple3) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple7