Dave is nice. Fiona is green. Gary is nice. Green things are kind. Young, red things are white. If something is nice then it is green.
Fiona is kind.
@0: Dave is nice.[(triple1)] Fiona is green.[(triple2)] Gary is nice.[(triple3)] @1: Dave is green.[(((triple1) -> rule3))] Fiona is kind.[(((triple2) -> rule1))] Gary is green.[(((triple3) -> rule3))] @2: Dave is kind.[(((((triple1) -> rule3)) -> rule1))] Gary is kind.[(((((triple3) -> rule3)) -> rule1))]