Dave is not green. Dave is not nice. Dave is round. Dave is not smart. Gary is not furry. Gary is not green. Gary is not quiet. If Dave is smart and Dave is round then Dave is quiet. If something is quiet and not green then it is not smart. If something is smart and not quiet then it is nice.
Dave is not quiet.
@0: Dave is not green.[(triple1)] Dave is not nice.[(triple2)] Dave is not smart.[(triple4)] Dave is round.[(triple3)] Gary is not furry.[(triple5)] Gary is not green.[(triple6)] Gary is not quiet.[(triple7)]