Dave is not blue. Fiona is nice. Gary is blue. If someone is blue then they are white. All white, blue people are nice. If Fiona is round then Fiona is quiet.
Gary is nice.
@0: Dave is not blue.[(triple1)] Fiona is nice.[(triple2)] Gary is blue.[(triple3)] @1: Gary is white.[(((triple3) -> rule1))] @2: Gary is nice.[(((((triple3) -> rule1) triple3) -> rule2))]