Dave is white. Gary is blue. If something is white then it is round. If Dave is round then Dave is rough. If Gary is blue then Gary is kind.
Dave is rough.
@0: Dave is white.[(triple1)] Gary is blue.[(triple2)] @1: Dave is round.[(((triple1) -> rule1))] Gary is kind.[(((triple2) -> rule3))] @2: Dave is rough.[(((((triple1) -> rule1)) -> rule2))]