Erin is furry. Erin is not quiet. Erin is red. Erin is rough. Erin is round. Erin is white. Erin is young. Gary is furry. Gary is quiet. Gary is red. Gary is rough. Gary is not round. Gary is white. Gary is young. If Gary is red then Gary is furry. If someone is young and rough then they are furry. If Erin is red and Erin is not young then Erin is furry. If Gary is quiet then Gary is young. All white, quiet people are red. If someone is red and not young then they are not round.
Gary is not young.
@0: Erin is furry.[(triple1 OR ((triple7 triple4) -> rule2))] Erin is not quiet.[(triple2)] Erin is red.[(triple3)] Erin is rough.[(triple4)] Erin is round.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)] Gary is furry.[(triple8 OR ((triple10) -> rule1) OR ((triple14 triple11) -> rule2) OR ((((triple13 triple9) -> rule5)) -> rule1) OR ((((triple9) -> rule4) triple11) -> rule2))] Gary is not round.[(triple12)] Gary is quiet.[(triple9)] Gary is red.[(triple10 OR ((triple13 triple9) -> rule5))] Gary is rough.[(triple11)] Gary is white.[(triple13)] Gary is young.[(triple14 OR ((triple9) -> rule4))]