Erin is cold. Erin is furry. Erin is kind. Erin is quiet. Erin is rough. Erin is round. Erin is smart. All kind, cold people are quiet. If someone is cold then they are round.
Erin is round.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2)] Erin is kind.[(triple3)] Erin is quiet.[(triple4 OR ((triple3 triple1) -> rule1))] Erin is rough.[(triple5)] Erin is round.[(triple6 OR ((triple1) -> rule2))] Erin is smart.[(triple7)]