Erin is cold. Erin is furry. Erin is kind. Erin is quiet. Erin is rough. Erin is white. Erin is young. If something is furry and quiet then it is white.
Erin is cold.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2)] Erin is kind.[(triple3)] Erin is quiet.[(triple4)] Erin is rough.[(triple5)] Erin is white.[(triple6 OR ((triple2 triple4) -> rule1))] Erin is young.[(triple7)]