Dave is big. Dave is cold. Dave is quiet. Dave is rough. Dave is smart. Dave is white. Gary is big. Gary is cold. Gary is rough. Gary is smart. Harry is cold. Harry is nice. Harry is quiet. Harry is rough. Harry is smart. Harry is white. All smart, rough people are big. If Harry is white then Harry is quiet. All smart people are rough. White, rough people are big. White, rough people are nice. If Gary is quiet and Gary is big then Gary is white.
Harry is not big.