Erin is big. Erin is cold. Erin is furry. Erin is nice. Erin is round. Erin is white. Erin is young. Round people are furry. If someone is young then they are furry.
Erin is young.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3 OR ((triple5) -> rule1) OR ((triple7) -> rule2))] Erin is nice.[(triple4)] Erin is round.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)]