Anne is red. Dave is red. Gary is young. Harry is white. All smart, quiet people are young. If someone is red and smart then they are quiet.
Anne is not quiet.
@0: Anne is red.[(triple1)] Dave is red.[(triple2)] Gary is young.[(triple3)] Harry is white.[(triple4)]