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