Anne is furry. Anne is nice. Bob is blue. Bob is round. Bob is white. Gary is big. Gary is blue. Gary is not nice. Gary is round. Harry is big. Harry is green. Harry is white. If something is green and not furry then it is blue. If Gary is nice and Gary is not big then Gary is round.
Anne is not nice.