Erin is not big. Erin is blue. Erin is cold. Erin is not furry. Erin is quiet. Erin is not red. Erin is white. If something is quiet and not white then it is blue. Big things are blue. If something is cold then it is quiet. If something is cold and white then it is quiet. All red things are furry. Blue things are not furry. Blue, white things are cold. If Erin is red then Erin is big.
Erin is red.
@0: Erin is blue.[(triple2)] Erin is cold.[(triple3 OR ((triple2 triple7) -> rule7))] Erin is not big.[(triple1)] Erin is not furry.[(triple4 OR ((triple2) -> rule6))] Erin is not red.[(triple6)] Erin is quiet.[(triple5 OR ((triple3) -> rule3) OR ((triple3 triple7) -> rule4) OR ((((triple2 triple7) -> rule7)) -> rule3) OR ((((triple2 triple7) -> rule7) triple7) -> rule4))] Erin is white.[(triple7)]