Dave is green. Erin is rough. Erin is white. Fiona is quiet. Fiona is white. Fiona is young. Harry is white. If someone is young and red then they are green. If Erin is young then Erin is quiet. All white, young people are quiet.
Fiona is white.
@0: Dave is green.[(triple1)] Erin is rough.[(triple2)] Erin is white.[(triple3)] Fiona is quiet.[(triple4 OR ((triple5 triple6) -> rule3))] Fiona is white.[(triple5)] Fiona is young.[(triple6)] Harry is white.[(triple7)]