Anne is cold. Anne is furry. Anne is kind. Anne is red. Anne is rough. Erin is cold. Erin is green. Gary is furry. Gary is kind. Gary is red. Gary is rough. Gary is young. Furry, red people are young. If Gary is red then Gary is young. If someone is young then they are furry.
Gary is green.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Erin is cold.[(triple6)] Erin is green.[(triple7)] Gary is furry.[(triple8 OR ((triple12) -> rule3) OR ((((triple10) -> rule2)) -> rule3))] Gary is kind.[(triple9)] Gary is red.[(triple10)] Gary is rough.[(triple11)] Gary is young.[(triple12 OR ((triple10) -> rule2) OR ((triple8 triple10) -> rule1))] @1: Anne is young.[(((triple2 triple4) -> rule1))]