undistributed middle term example