Gary is big. Gary is blue. Gary is cold. Gary is green. Gary is nice. Gary is rough. Gary is round. If Gary is nice then Gary is round. Green people are round.
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
If Gary is nice then Gary is round.
((("Gary" "is" "nice" "+")) -> ("Gary" "is" "round" "+"))
Green people are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Gary is green.
True
1
proof
[(triple4)]
("Gary" "is" "green" "+")
triple4
Gary is not green.
False
1
inv-proof
[(triple4)]
("Gary" "is" "green" "-")
triple4
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is cold.[(triple3)] Gary is green.[(triple4)] Gary is nice.[(triple5)] Gary is rough.[(triple6)] Gary is round.[(triple7 OR ((triple4) -> rule2) OR ((triple5) -> rule1))]
Gary is big.
("Gary" "is" "big" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple2
Gary is cold.
("Gary" "is" "cold" "+")
triple3
Gary is green.
("Gary" "is" "green" "+")
triple4
Gary is nice.
("Gary" "is" "nice" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple7
((triple4) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple5) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1