Erin is big. Erin is furry. Erin is nice. Erin is red. Erin is round. Erin is smart. Erin is young. All big things are smart. Smart things are young. All big, nice things are smart.
Erin is not red.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Erin is nice.[(triple3)] Erin is red.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6 OR ((triple1) -> rule1) OR ((triple1 triple3) -> rule3))] Erin is young.[(triple7 OR ((triple6) -> rule2) OR ((((triple1) -> rule1)) -> rule2) OR ((((triple1 triple3) -> rule3)) -> rule2))]