Erin is big. Erin is cold. Erin is furry. Erin is green. Erin is rough. Erin is round. Erin is white. If someone is rough then they are white. If someone is big then they are white. Cold, rough people are green.
Erin is not round.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3)] Erin is green.[(triple4 OR ((triple2 triple5) -> rule3))] Erin is rough.[(triple5)] Erin is round.[(triple6)] Erin is white.[(triple7 OR ((triple1) -> rule2) OR ((triple5) -> rule1))]