Anne is not blue. Anne is cold. Anne is not white. Dave is big. Dave is not blue. Dave is kind. Dave is not rough. Dave is white. Gary is blue. Gary is not cold. Gary is not kind. Gary is rough. Gary is smart. Gary is white. Harry is big. Harry is not cold. All cold things are not rough.
Anne is not smart.