Anne is big. Anne is blue. Anne is green. Anne is young. Bob is big. Bob is not red. Bob is rough. Bob is not white. Erin is green. Erin is red. Erin is young. Harry is young. If something is white and red then it is green. If Anne is blue then Anne is red. All green, young things are not white. If Anne is blue and Anne is rough then Anne is green. All red things are big. If something is young then it is green. Young, red things are blue. If something is white and not red then it is young.
Harry is not red.