the fact that the floating does not occur and the oscine does not occur is not true.
sent1: the Quechuanness happens. sent2: the savoring does not occur. sent3: the angling median does not occur. sent4: the iconolatry does not occur. sent5: the unseamanlikeness does not occur. sent6: if the fact that the nip does not occur and the bursting occurs does not hold the floating does not occur. sent7: the obscurantism does not occur. sent8: if the contagion does not occur the carefulness does not occur and the savoring does not occur. sent9: that the oscine does not occur and the angling analyticity does not occur is brought about by that the pileup does not occur. sent10: if that the magic occurs and the getting save happens is not right then the pileup does not occur. sent11: if that the Quechuanness occurs and the reddening decoy occurs does not hold then the angling Vladivostok does not occur. sent12: the angling analyticity does not occur. sent13: the nip happens. sent14: the floating does not occur if the burst does not occur. sent15: the sociobiologicness does not occur and the getting Oklahoma does not occur. sent16: if that the fact that the game does not occur but the ricochet occurs does not hold is not wrong then the cerousness does not occur. sent17: the fact that both the magic and the getting save occurs does not hold. sent18: if the getting save does not occur then the pileup does not occur. sent19: if the pileup does not occur then the angling analyticity does not occur. sent20: the bursting happens.
void -> assump1: Let's assume that the nip does not occur and the burst occurs.; assump1 -> int1: the nip does not occur.; int1 & sent13 -> int2: this is contradiction.; [assump1] & int2 -> int3: that not the nipping but the burst happens is not correct.; int3 & sent6 -> int4: the floating does not occur.; sent10 & sent17 -> int5: the pileup does not occur.; sent9 & int5 -> int6: the oscineness does not occur and the angling analyticity does not occur.; int6 -> int7: the oscine does not occur.; int4 & int7 -> hypothesis;
that the floating does not occur and the oscineness does not occur is not true.
 -> hypothesis;
$hypothesis$ = the fact that the floating does not occur and the oscine does not occur is not true. ; $context$ = sent1: the Quechuanness happens. sent2: the savoring does not occur. sent3: the angling median does not occur. sent4: the iconolatry does not occur. sent5: the unseamanlikeness does not occur. sent6: if the fact that the nip does not occur and the bursting occurs does not hold the floating does not occur. sent7: the obscurantism does not occur. sent8: if the contagion does not occur the carefulness does not occur and the savoring does not occur. sent9: that the oscine does not occur and the angling analyticity does not occur is brought about by that the pileup does not occur. sent10: if that the magic occurs and the getting save happens is not right then the pileup does not occur. sent11: if that the Quechuanness occurs and the reddening decoy occurs does not hold then the angling Vladivostok does not occur. sent12: the angling analyticity does not occur. sent13: the nip happens. sent14: the floating does not occur if the burst does not occur. sent15: the sociobiologicness does not occur and the getting Oklahoma does not occur. sent16: if that the fact that the game does not occur but the ricochet occurs does not hold is not wrong then the cerousness does not occur. sent17: the fact that both the magic and the getting save occurs does not hold. sent18: if the getting save does not occur then the pileup does not occur. sent19: if the pileup does not occur then the angling analyticity does not occur. sent20: the bursting happens. ; $proof$ = 
void -> assump1: Let's assume that the nip does not occur and the burst occurs.; assump1 -> int1: the nip does not occur.; int1 & sent13 -> int2: this is contradiction.; [assump1] & int2 -> int3: that not the nipping but the burst happens is not correct.; int3 & sent6 -> int4: the floating does not occur.; sent10 & sent17 -> int5: the pileup does not occur.; sent9 & int5 -> int6: the oscineness does not occur and the angling analyticity does not occur.; int6 -> int7: the oscine does not occur.; int4 & int7 -> hypothesis; __DISPROVED__