Anne is young. Charlie is nice. Gary is red. Young things are blue. If something is white and round then it is red. Young things are white. If something is round and blue then it is red. Red things are white. If something is blue then it is round.
Gary is not nice.