Dave is white. Fiona is rough. Gary is nice. Big, nice things are kind. White things are rough. All rough things are smart.
Gary is kind.
@0: Dave is white.[(triple1)] Fiona is rough.[(triple2)] Gary is nice.[(triple3)] @1: Dave is rough.[(((triple1) -> rule2))] Fiona is smart.[(((triple2) -> rule3))] @2: Dave is smart.[(((((triple1) -> rule2)) -> rule3))]