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