Gary is blue. Gary is furry. Gary is green. Gary is kind. Gary is nice. Gary is red. Gary is young. All kind people are young. If Gary is kind then Gary is red. Young people are green. All kind people are furry. All kind people are furry. Red, nice people are furry. If someone is furry and not red then they are nice. If Gary is green and Gary is not furry then Gary is not blue.
Gary is not furry.
@0: Gary is blue.[(triple1)] Gary is furry.[(triple2 OR ((triple4) -> rule4) OR ((triple4) -> rule5) OR ((triple6 triple5) -> rule6) OR ((((triple4) -> rule2) triple5) -> rule6))] Gary is green.[(triple3 OR ((triple7) -> rule3) OR ((((triple4) -> rule1)) -> rule3))] Gary is kind.[(triple4)] Gary is nice.[(triple5)] Gary is red.[(triple6 OR ((triple4) -> rule2))] Gary is young.[(triple7 OR ((triple4) -> rule1))]