Erin is not big. Erin is furry. Erin is nice. Erin is not red. Erin is rough. Erin is not smart. Erin is white. If something is red and not smart then it is not white. If Erin is red and Erin is not smart then Erin is rough. If something is red then it is not nice. If something is smart and not nice then it is big. If something is big then it is rough. White things are rough.
Erin is not rough.
@0: Erin is furry.[(triple2)] Erin is nice.[(triple3)] Erin is not big.[(triple1)] Erin is not red.[(triple4)] Erin is not smart.[(triple6)] Erin is rough.[(triple5 OR ((triple7) -> rule6))] Erin is white.[(triple7)]