Dave is green. Fiona is blue. Fiona is white. If someone is green and red then they are quiet. All green people are quiet. If someone is red and not white then they are green.
Fiona is not white.
@0: Dave is green.[(triple1)] Fiona is blue.[(triple2)] Fiona is white.[(triple3)] @1: Dave is quiet.[(((triple1) -> rule2))]