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.
Harry is not smart.
@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)]