Anne is cold. Bob is not rough. Dave is big. Dave is cold. Dave is not red. Dave is round. Gary is young. If Anne is rough then Anne is cold. If something is red then it is white. If Dave is young then Dave is red. All white things are round. Red, white things are not round. If Anne is rough then Anne is young. If Dave is rough then Dave is red. Round, white things are rough.
Anne is not round.