Gary is blue. Gary is green. Gary is kind. Gary is nice. Gary is red. Gary is round. Gary is white. All kind, red people are round.
Gary is blue.
("Gary" "is" "blue" "+")
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 round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
All kind, red people are round.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Gary is red.
True
1
proof
[(triple5)]
("Gary" "is" "red" "+")
triple5
Gary is not red.
False
1
inv-proof
[(triple5)]
("Gary" "is" "red" "-")
triple5
@0: Gary is blue.[(triple1)] Gary is green.[(triple2)] Gary is kind.[(triple3)] Gary is nice.[(triple4)] Gary is red.[(triple5)] Gary is round.[(triple6 OR ((triple3 triple5) -> rule1))] Gary is white.[(triple7)]
Gary is blue.
("Gary" "is" "blue" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
triple2
Gary is kind.
("Gary" "is" "kind" "+")
triple3
Gary is nice.
("Gary" "is" "nice" "+")
triple4
Gary is red.
("Gary" "is" "red" "+")
triple5
Gary is round.
("Gary" "is" "round" "+")
triple6
((triple3 triple5) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple7