Dave is blue. Gary is not furry. Gary is quiet. Gary is smart. Harry is furry. Harry is not red. Harry is not smart. If someone is smart and green then they are not quiet.
Dave is not green.
@0: Dave is blue.[(triple1)] Gary is not furry.[(triple2)] Gary is quiet.[(triple3)] Gary is smart.[(triple4)] Harry is furry.[(triple5)] Harry is not red.[(triple6)] Harry is not smart.[(triple7)]