Erin is rough. Erin is round. Fiona is quiet. If someone is quiet and not cold then they are green. If someone is rough then they are round.
Erin is not green.
@0: Erin is rough.[(triple1)] Erin is round.[(triple2 OR ((triple1) -> rule2))] Fiona is quiet.[(triple3)]