Anne is big. Anne is blue. Anne is not round. Anne is not white. Anne is young. Harry is big. Harry is blue. Harry is quiet. Harry is red. Harry is round. Harry is white. Harry is not young. Red, round things are big. All round, quiet things are red. If Anne is big and Anne is round then Anne is red.
Anne is not red.