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