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.
Harry is not rough.
@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))]