Erin is cold. Erin is furry. Erin is quiet. Erin is red. Erin is round. Erin is smart. Erin is white. All cold things are furry.
Erin is quiet.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2 OR ((triple1) -> rule1))] Erin is quiet.[(triple3)] Erin is red.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7)]