Dave is big. Gary is white. Harry is round. If Harry is smart and Harry is red then Harry is rough. If something is white then it is rough. White, smart things are nice.
Dave is not nice.
@0: Dave is big.[(triple1)] Gary is white.[(triple2)] Harry is round.[(triple3)] @1: Gary is rough.[(((triple2) -> rule2))]