Anne is furry. Anne is red. Charlie is furry. Charlie is red. Charlie is rough. Erin is furry. Erin is kind. Erin is red. Gary is furry. Gary is nice. Rough people are blue. If Gary is kind then Gary is red. If Anne is kind then Anne is red. If Gary is furry then Gary is rough. All kind people are furry. Rough, red people are kind.
Gary is nice.
@0: Anne is furry.[(triple1)] Anne is red.[(triple2)] Charlie is furry.[(triple3 OR ((((triple5 triple4) -> rule6)) -> rule5))] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Erin is furry.[(triple6 OR ((triple7) -> rule5))] Erin is kind.[(triple7)] Erin is red.[(triple8)] Gary is furry.[(triple9)] Gary is nice.[(triple10)] @1: Charlie is blue.[(((triple5) -> rule1))] Charlie is kind.[(((triple5 triple4) -> rule6))] Gary is rough.[(((triple9) -> rule4))] @2: Gary is blue.[(((((triple9) -> rule4)) -> rule1))]