[200x303]
Если рассмотреть 2 произвольных множества красных слонов и синих жирафов, то наличие первого отнюдь не доказывает существования второго, впрочем и не опровергает.. Но если, доказывая существование больших красных слонов, прийти к выводу, что для каждого большого слона- он является синим, то тем самым будет опровергнуто существование больших красных(случай с синими жирафами рассматривается аналогично).