Gary is big. Gary is not kind. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Gary is not smart. If something is kind then it is not nice.
Gary is big.
("Gary" "is" "big" "+")
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 rough.
("Gary" "is" "rough" "+")
Gary is not smart.
("Gary" "is" "smart" "-")
If something is kind then it is not nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "-"))
Gary is nice.
True
1
proof
[(triple3)]
("Gary" "is" "nice" "+")
triple3
Gary is not big.
False
1
inv-proof
[(triple1)]
("Gary" "is" "big" "-")
triple1
@0: Gary is big.[(triple1)] Gary is nice.[(triple3)] Gary is not kind.[(triple2)] Gary is not smart.[(triple7)] Gary is quiet.[(triple4)] Gary is red.[(triple5)] Gary is rough.[(triple6)]
Gary is big.
("Gary" "is" "big" "+")
triple1
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Gary is not kind.
("Gary" "is" "kind" "-")
triple2
Gary is not smart.
("Gary" "is" "smart" "-")
triple7
Gary is quiet.
("Gary" "is" "quiet" "+")
triple4
Gary is red.
("Gary" "is" "red" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple6