Gary is green. Gary is kind. Gary is nice. Gary is red. Gary is rough. Gary is round. Gary is smart. If someone is kind and not smart then they are red. If someone is nice and not kind then they are green.
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If someone is kind and not smart then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "red" "+"))
If someone is nice and not kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "green" "+"))
Gary is rough.
True
1
proof
[(triple5)]
("Gary" "is" "rough" "+")
triple5
Gary is not red.
False
1
inv-proof
[(triple4)]
("Gary" "is" "red" "-")
triple4
@0: Gary is green.[(triple1)] Gary is kind.[(triple2)] Gary is nice.[(triple3)] Gary is red.[(triple4)] Gary is rough.[(triple5)] Gary is round.[(triple6)] Gary is smart.[(triple7)]
Gary is green.
("Gary" "is" "green" "+")
triple1
Gary is kind.
("Gary" "is" "kind" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Gary is red.
("Gary" "is" "red" "+")
triple4
Gary is rough.
("Gary" "is" "rough" "+")
triple5
Gary is round.
("Gary" "is" "round" "+")
triple6
Gary is smart.
("Gary" "is" "smart" "+")
triple7