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