Dave is green. Fiona is green. Fiona is kind. If Dave is green then Dave is not white. If Fiona is white and Fiona is green then Fiona is not young. If Dave is not white then Dave is not red.
Fiona is not white.
@0: Dave is green.[(triple1)] Fiona is green.[(triple2)] Fiona is kind.[(triple3)] @1: Dave is not white.[(((triple1) -> rule1))] @2: Dave is not red.[(((((triple1) -> rule1)) -> rule3))]