Anne is big. Anne is blue. Anne is quiet. Anne is red. Anne is round. Bob is red. Bob is white. Charlie is big. Charlie is blue. Charlie is not green. Charlie is quiet. Harry is not big. Harry is blue. Harry is red. Harry is not round. Harry is not white. If something is big and blue then it is white. All green, white things are not big. Round, blue things are quiet. All white things are blue. If Harry is quiet then Harry is red. All round things are quiet. If Harry is quiet and Harry is not red then Harry is not blue. If Charlie is big and Charlie is not white then Charlie is not blue.
Bob is blue.