Dave is young. Gary is quiet. All red, white things are quiet. If something is green then it is young. If something is kind and white then it is blue. Quiet things are red. If something is quiet and blue then it is white. Quiet, red things are young. Quiet things are green. If Dave is red and Dave is green then Dave is quiet.
Gary is not quiet.
@0: Dave is young.[(triple1)] Gary is quiet.[(triple2)] @1: Gary is green.[(((triple2) -> rule7))] Gary is red.[(((triple2) -> rule4))] @2: Gary is young.[(((((triple2) -> rule7)) -> rule2) OR ((triple2 ((triple2) -> rule4)) -> rule6))]