Dave is red. Erin is rough. Fiona is rough. If Dave is red and Dave is green then Dave is young. If someone is rough and blue then they are green.
Fiona is rough.
@0: Dave is red.[(triple1)] Erin is rough.[(triple2)] Fiona is rough.[(triple3)]