Erin is big. Erin is cold. Erin is not furry. Erin is nice. Erin is red. Erin is rough. Erin is white. If someone is white then they are cold. If someone is rough and not white then they are red.
Erin is not white.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2 OR ((triple7) -> rule1))] Erin is nice.[(triple4)] Erin is not furry.[(triple3)] Erin is red.[(triple5)] Erin is rough.[(triple6)] Erin is white.[(triple7)]