Erin is cold. Erin is furry. Erin is green. Erin is quiet. Erin is smart. Erin is white. Erin is young. All cold, green things are white. If Erin is cold and Erin is not quiet then Erin is green. If something is furry and not young then it is cold.
Erin is furry.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3)] Erin is quiet.[(triple4)] Erin is smart.[(triple5)] Erin is white.[(triple6 OR ((triple1 triple3) -> rule1))] Erin is young.[(triple7)]