Dave is cold. Dave is nice. Dave is red. Gary is big. Gary is smart. Harry is big. Harry is nice. If someone is rough then they are smart. If someone is rough and red then they are cold. If Harry is red then Harry is big. If someone is smart then they are quiet. Red, cold people are rough. Red people are nice. All big people are rough. All nice people are big.
Gary is not nice.