Anne is cold. Anne is round. Anne is white. Anne is young. Dave is cold. Dave is quiet. Dave is rough. Dave is round. Dave is white. Dave is young. White things are cold. All cold things are round. Young things are red. If something is cold and red then it is quiet. All young things are rough. If Anne is red and Anne is cold then Anne is white.
Anne is not red.