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