Dave is quiet. Dave is red. Gary is big. Gary is cold. Gary is quiet. Gary is red. Gary is smart. Rough things are smart. All smart, cold things are big. Young, red things are smart. Red things are rough. If Dave is big then Dave is young. Smart, rough things are big.
Dave is not smart.