Erin is not white. Fiona is blue. Gary is nice. If something is blue then it is white. If something is white then it is kind.
Erin is not kind.
@0: Erin is not white.[(triple1)] Fiona is blue.[(triple2)] Gary is nice.[(triple3)] @1: Fiona is white.[(((triple2) -> rule1))] @2: Fiona is kind.[(((((triple2) -> rule1)) -> rule2))]