Gary is cold. Gary is furry. Gary is not green. Gary is not kind. Gary is red. Gary is round. Gary is white. If Gary is cold then Gary is round. Green people are not cold. Kind, cold people are not red. If someone is cold and not kind then they are red. If Gary is round then Gary is white. Cold, white people are round. Green people are not furry. Furry, round people are not green.
Gary is not green.
@0: Gary is cold.[(triple1)] Gary is furry.[(triple2)] Gary is not green.[(triple3 OR ((triple2 triple6) -> rule8) OR ((triple2 ((triple1) -> rule1)) -> rule8) OR ((triple2 ((triple1 triple7) -> rule6)) -> rule8))] Gary is not kind.[(triple4)] Gary is red.[(triple5 OR ((triple1 triple4) -> rule4))] Gary is round.[(triple6 OR ((triple1) -> rule1) OR ((triple1 triple7) -> rule6))] Gary is white.[(triple7 OR ((triple6) -> rule5) OR ((((triple1) -> rule1)) -> rule5))]