Anne is cold. Dave is rough. Dave is round. Gary is blue. Gary is cold. Gary is kind. Gary is nice. Gary is white. Harry is cold. Harry is kind. If someone is round and nice then they are blue. All blue people are white. Blue, round people are nice. If someone is nice and white then they are cold. If someone is round then they are kind. If someone is kind and rough then they are nice. If someone is blue and not cold then they are nice.
Dave is not kind.