Anne is round. Anne is smart. Anne is not young. Bob is big. Bob is quiet. Charlie is big. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is not round. Charlie is smart. Gary is furry. Gary is not green. Gary is round. Gary is smart. If something is furry and smart then it is not young. If Charlie is furry and Charlie is young then Charlie is not round. If something is green and not round then it is big. If something is not furry then it is smart. If something is furry and not round then it is smart. If something is furry and not smart then it is not young.
Gary is not big.