Dave is not white. Fiona is kind. Gary is rough. Harry is round. Blue, kind things are rough. Rough things are young. Rough, young things are not kind.
Fiona is kind.
@0: Dave is not white.[(triple1)] Fiona is kind.[(triple2)] Gary is rough.[(triple3)] Harry is round.[(triple4)] @1: Gary is young.[(((triple3) -> rule2))] @2: Gary is not kind.[(((triple3 ((triple3) -> rule2)) -> rule3))]