Anne is red. Dave is not red. Gary is smart. If Anne is red and Anne is young then Anne is not green. If Dave is red then Dave is white.
Dave is not red.
@0: Anne is red.[(triple1)] Dave is not red.[(triple2)] Gary is smart.[(triple3)]