Erin is cold. Erin is furry. Erin is green. Erin is nice. Erin is not round. Erin is white. Erin is young. If Erin is nice and Erin is cold then Erin is green. Round people are white. Green people are white. If someone is cold then they are young. If someone is round then they are not nice. If Erin is furry then Erin is young.
Erin is not young.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3 OR ((triple4 triple1) -> rule1))] Erin is nice.[(triple4)] Erin is not round.[(triple5)] Erin is white.[(triple6 OR ((triple3) -> rule3) OR ((((triple4 triple1) -> rule1)) -> rule3))] Erin is young.[(triple7 OR ((triple1) -> rule4) OR ((triple2) -> rule6))]