the oropharyngealness results in the non-carrotyness.
sent1: the carrotiness happens if the oropharyngealness occurs. sent2: if the palatialness does not occur the fact that the exclaiming boson happens is not false. sent3: the antiviralness occurs. sent4: the wirelessness happens. sent5: the awfulness does not occur. sent6: that the palatialness and the antiviral occurs leads to that the oropharyngealness does not occur. sent7: the carrotiness happens. sent8: that the garnering does not occur is triggered by that the ordinalness and the reaffiliation occurs. sent9: that the antiviral does not occur triggers that the palatialness and the amalgamativeness happens. sent10: the eliminating calabash prevents that the carrotiness happens. sent11: the carrotiness does not occur if either the eliminating calabash happens or the exclaiming boson occurs or both. sent12: the logisticsness occurs. sent13: the pinning invigilation occurs. sent14: the non-carrotiness is prevented by either that the eliminating calabash happens or that the exclaiming boson occurs or both.
void -> assump2: Let's assume that the oropharyngealness happens.; void -> assump1: Let's assume that the palatialness happens.; assump1 & sent3 -> int1: the fact that the palatialness happens and the antiviralness occurs hold.; sent6 & int1 -> int2: the oropharyngealness does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the palatialness does not occur.; sent2 & int4 -> int5: the exclaiming boson occurs.; int5 -> int6: either the eliminating calabash occurs or the exclaiming boson occurs or both.; sent11 & int6 -> int7: the carrotiness does not occur.; [assump2] & int7 -> hypothesis;
the exclaiming hypoxia occurs or the amalgamativeness occurs or both.
$hypothesis$ = the oropharyngealness results in the non-carrotyness. ; $context$ = sent1: the carrotiness happens if the oropharyngealness occurs. sent2: if the palatialness does not occur the fact that the exclaiming boson happens is not false. sent3: the antiviralness occurs. sent4: the wirelessness happens. sent5: the awfulness does not occur. sent6: that the palatialness and the antiviral occurs leads to that the oropharyngealness does not occur. sent7: the carrotiness happens. sent8: that the garnering does not occur is triggered by that the ordinalness and the reaffiliation occurs. sent9: that the antiviral does not occur triggers that the palatialness and the amalgamativeness happens. sent10: the eliminating calabash prevents that the carrotiness happens. sent11: the carrotiness does not occur if either the eliminating calabash happens or the exclaiming boson occurs or both. sent12: the logisticsness occurs. sent13: the pinning invigilation occurs. sent14: the non-carrotiness is prevented by either that the eliminating calabash happens or that the exclaiming boson occurs or both. ; $proof$ = 
void -> assump2: Let's assume that the oropharyngealness happens.; void -> assump1: Let's assume that the palatialness happens.; assump1 & sent3 -> int1: the fact that the palatialness happens and the antiviralness occurs hold.; sent6 & int1 -> int2: the oropharyngealness does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the palatialness does not occur.; sent2 & int4 -> int5: the exclaiming boson occurs.; int5 -> int6: either the eliminating calabash occurs or the exclaiming boson occurs or both.; sent11 & int6 -> int7: the carrotiness does not occur.; [assump2] & int7 -> hypothesis; __PROVED__