Erin is big. Erin is not cold. Erin is furry. Erin is nice. Erin is rough. Erin is round. Erin is not white. If Erin is nice then Erin is big. If something is cold then it is round. If something is furry and cold then it is big. If something is big and not rough then it is white. If something is nice and not cold then it is furry. All cold things are furry. If something is big and not round then it is furry. If something is white then it is furry.
Erin is big.
@0: Erin is big.[(triple1 OR ((triple4) -> rule1))] Erin is furry.[(triple3 OR ((triple4 triple2) -> rule5))] Erin is nice.[(triple4)] Erin is not cold.[(triple2)] Erin is not white.[(triple7)] Erin is rough.[(triple5)] Erin is round.[(triple6)]