Anne is big. Anne is quiet. Anne is not round. Bob is big. Bob is green. Bob is red. Bob is round. Harry is big. Harry is green. Harry is quiet. If someone is big and not quiet then they are blue. If someone is big then they are blue. Blue people are cold. If Harry is quiet and Harry is red then Harry is big. If someone is not red and not round then they are green. If Anne is round then Anne is not green. If someone is not big then they are green. If someone is not cold and not round then they are not big.
Harry is not red.