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 cold.
@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)]