Erin is not blue. Erin is furry. Erin is green. Erin is red. Erin is round. Erin is white. Erin is not young. If something is green and not round then it is not young. If something is white and not young then it is red. All young things are not red. If something is young and round then it is white. If something is red then it is white. Blue, green things are white. If something is green and not red then it is furry. Red things are furry.
Erin is not young.
@0: Erin is furry.[(triple2 OR ((triple4) -> rule8) OR ((((triple6 triple7) -> rule2)) -> rule8))] Erin is green.[(triple3)] Erin is not blue.[(triple1)] Erin is not young.[(triple7)] Erin is red.[(triple4 OR ((triple6 triple7) -> rule2))] Erin is round.[(triple5)] Erin is white.[(triple6 OR ((triple4) -> rule5))]