Dave is blue. Dave is kind. Gary is white. White, blue people are quiet. All kind people are round. Quiet, green people are white.
Gary is white.
@0: Dave is blue.[(triple1)] Dave is kind.[(triple2)] Gary is white.[(triple3)] @1: Dave is round.[(((triple2) -> rule2))]