Erin is cold. Erin is furry. Erin is kind. Erin is quiet. Erin is red. Erin is rough. Erin is white. All rough, cold people are furry.
Erin is not furry.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2 OR ((triple6 triple1) -> rule1))] Erin is kind.[(triple3)] Erin is quiet.[(triple4)] Erin is red.[(triple5)] Erin is rough.[(triple6)] Erin is white.[(triple7)]