Anne is blue. Anne is round. Dave is big. Dave is furry. Erin is furry. Erin is red. Harry is smart. White things are furry. If something is blue and big then it is not furry. Smart things are big. If Anne is white then Anne is not round. Red things are blue. If something is big and smart then it is round. If something is round then it is red.
Harry is not big.