Dave is not red. All red, quiet things are not nice. All cold things are nice. If something is cold and not round then it is quiet. Red things are quiet. Green, nice things are not red. If something is quiet and not nice then it is kind. All green things are kind. All red things are not kind.
Dave is round.
@0: Dave is not red.[(triple1)]