Erin is blue. Erin is furry. Erin is kind. Erin is nice. Erin is quiet. Erin is round. Erin is smart. Blue people are kind. All furry, nice people are quiet.
Erin is round.
@0: Erin is blue.[(triple1)] Erin is furry.[(triple2)] Erin is kind.[(triple3 OR ((triple1) -> rule1))] Erin is nice.[(triple4)] Erin is quiet.[(triple5 OR ((triple2 triple4) -> rule2))] Erin is round.[(triple6)] Erin is smart.[(triple7)]