Erin is big. Erin is furry. Erin is red. Erin is round. Erin is smart. Erin is white. Erin is young. Young things are smart. If something is white and not smart then it is red. If Erin is red and Erin is big then Erin is round.
Erin is big.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Erin is red.[(triple3)] Erin is round.[(triple4 OR ((triple3 triple1) -> rule3))] Erin is smart.[(triple5 OR ((triple7) -> rule1))] Erin is white.[(triple6)] Erin is young.[(triple7)]