Anne is big. Anne is furry. Anne is white. Charlie is big. Charlie is blue. Charlie is furry. Charlie is nice. Charlie is white. Harry is big. Harry is blue. Harry is furry. Harry is nice. Harry is red. Harry is round. Harry is white. If Charlie is round then Charlie is red. White things are blue. If Anne is white and Anne is nice then Anne is big. If something is blue and round then it is big. If Charlie is furry then Charlie is white. If something is round then it is red. Red, white things are big. White things are round.
Charlie is not red.