Dave is red. Fiona is rough. Gary is rough. Rough people are young. If someone is blue and not nice then they are young.
Dave is not young.
@0: Dave is red.[(triple1)] Fiona is rough.[(triple2)] Gary is rough.[(triple3)] @1: Fiona is young.[(((triple2) -> rule1))] Gary is young.[(((triple3) -> rule1))]