Erin is green. Erin is nice. Erin is quiet. Erin is rough. Erin is round. Erin is smart. Erin is young. If something is green and nice then it is round.
Erin is quiet.
@0: Erin is green.[(triple1)] Erin is nice.[(triple2)] Erin is quiet.[(triple3)] Erin is rough.[(triple4)] Erin is round.[(triple5 OR ((triple1 triple2) -> rule1))] Erin is smart.[(triple6)] Erin is young.[(triple7)]