Dave is white. Erin is green. Fiona is red. If someone is red then they are not white.
Erin is not green.
@0: Dave is white.[(triple1)] Erin is green.[(triple2)] Fiona is red.[(triple3)] @1: Fiona is not white.[(((triple3) -> rule1))]