Gary is not big. Gary is blue. Gary is not kind. Gary is nice. Gary is quiet. Gary is red. Gary is not rough. All blue, kind people are nice. If Gary is kind and Gary is not quiet then Gary is blue. Big, kind people are red. All kind people are not blue. If someone is big and not red then they are rough. If someone is quiet and not blue then they are rough.
Gary is not big.
("Gary" "is" "big" "-")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is not kind.
("Gary" "is" "kind" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
All blue, kind people are nice.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If Gary is kind and Gary is not quiet then Gary is blue.
((("Gary" "is" "kind" "+") ("Gary" "is" "quiet" "~")) -> ("Gary" "is" "blue" "+"))
Big, kind people are red.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
All kind people are not blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "-"))
If someone is big and not red then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "rough" "+"))
If someone is quiet and not blue then they are rough.
((("someone" "is" "quiet" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "rough" "+"))
Gary is blue.
True
1
proof
[(triple2)]
("Gary" "is" "blue" "+")
triple2
Gary is not red.
False
1
inv-proof
[(triple6)]
("Gary" "is" "red" "-")
triple6
@0: Gary is blue.[(triple2)] Gary is nice.[(triple4)] Gary is not big.[(triple1)] Gary is not kind.[(triple3)] Gary is not rough.[(triple7)] Gary is quiet.[(triple5)] Gary is red.[(triple6)]
Gary is blue.
("Gary" "is" "blue" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple4
Gary is not big.
("Gary" "is" "big" "-")
triple1
Gary is not kind.
("Gary" "is" "kind" "-")
triple3
Gary is not rough.
("Gary" "is" "rough" "-")
triple7
Gary is quiet.
("Gary" "is" "quiet" "+")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple6