Fiona is green. Fiona is round. Gary is furry. If Gary is rough then Gary is big. All round, green people are rough.
Fiona is not green.
@0: Fiona is green.[(triple1)] Fiona is round.[(triple2)] Gary is furry.[(triple3)] @1: Fiona is rough.[(((triple2 triple1) -> rule2))]