the fact that not the Georgianness but the nosing occurs hold.
sent1: that the liberalizing does not occur and the fossiliferousness does not occur is caused by the Omaniness. sent2: the fact that the Omaniness happens hold. sent3: that that the Georgian does not occur and the nose happens is incorrect is not wrong if the Omani does not occur. sent4: the whistling crooked does not occur and the conspiring does not occur. sent5: the fact that the liberalizing does not occur and the fossiliferousness does not occur does not hold if the Georgianness happens. sent6: the reexamination happens and the walking Congregationalism happens. sent7: if the conspiring does not occur but the reexamination occurs the nose occurs.
void -> assump1: Let's assume that that the Georgian happens is not incorrect.; sent5 & assump1 -> int1: that the liberalizing does not occur and the fossiliferousness does not occur is not correct.; sent1 & sent2 -> int2: the liberalizing does not occur and the fossiliferousness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Georgianness does not occur.; sent4 -> int5: the conspiring does not occur.; sent6 -> int6: the reexamination occurs.; int5 & int6 -> int7: the conspiring does not occur but the reexamination occurs.; sent7 & int7 -> int8: the nosing occurs.; int4 & int8 -> hypothesis;
that not the Georgian but the nose occurs is wrong.
$hypothesis$ = the fact that not the Georgianness but the nosing occurs hold. ; $context$ = sent1: that the liberalizing does not occur and the fossiliferousness does not occur is caused by the Omaniness. sent2: the fact that the Omaniness happens hold. sent3: that that the Georgian does not occur and the nose happens is incorrect is not wrong if the Omani does not occur. sent4: the whistling crooked does not occur and the conspiring does not occur. sent5: the fact that the liberalizing does not occur and the fossiliferousness does not occur does not hold if the Georgianness happens. sent6: the reexamination happens and the walking Congregationalism happens. sent7: if the conspiring does not occur but the reexamination occurs the nose occurs. ; $proof$ = 
void -> assump1: Let's assume that that the Georgian happens is not incorrect.; sent5 & assump1 -> int1: that the liberalizing does not occur and the fossiliferousness does not occur is not correct.; sent1 & sent2 -> int2: the liberalizing does not occur and the fossiliferousness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Georgianness does not occur.; sent4 -> int5: the conspiring does not occur.; sent6 -> int6: the reexamination occurs.; int5 & int6 -> int7: the conspiring does not occur but the reexamination occurs.; sent7 & int7 -> int8: the nosing occurs.; int4 & int8 -> hypothesis; __PROVED__