the cranking Lofoten does not occur.
sent1: the cranking ALIR occurs and the cranking flywheel occurs. sent2: if the fatigues does not occur the antennalness does not occur. sent3: the flocculating happens. sent4: the unshrinkableness occurs if that either the compaction does not occur or the automobiling does not occur or both is incorrect. sent5: the non-unsupportiveness and the multiphaseness happens if the unshrinkableness occurs. sent6: the tetanicness and the vice-presidentialness happens. sent7: the vice-presidentialness does not occur if the fact that the non-unsupportiveness and the non-multiphaseness happens is incorrect. sent8: the antennalness happens. sent9: if the vice-presidentialness does not occur then the fact that the cranking Lofoten does not occur but the tetanicness happens is not right. sent10: the vice-presidentialness happens. sent11: the blaming dissection is caused by the fatigues. sent12: if that the vice-presidentialness does not occur is not false the fact that the blaming dissection occurs but the tetanicness does not occur is false. sent13: the compaction prevents that the unshrinkableness does not occur. sent14: that the non-unsupportiveness and the non-multiphaseness happens is not right if the unshrinkableness happens. sent15: if the automobiling happens the fact that the vernalness does not occur and the compaction does not occur does not hold. sent16: the talking forbearance occurs if the fact that not the antennalness but the fatigues occurs is not right. sent17: that the non-antennalness and the fatigues happens does not hold if the blaming dissection does not occur. sent18: if the fact that the non-unsupportiveness and the multiphaseness occurs is not false then the vice-presidentialness does not occur. sent19: the fact that the compaction does not occur or the automobiling does not occur or both is not right if the vernalness does not occur.
void -> assump1: Let's assume that the fatigues does not occur.; sent2 & assump1 -> int1: the antennalness does not occur.; int1 & sent8 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fatigues happens.; int3 & sent11 -> int4: the blaming dissection happens.; sent6 -> int5: the tetanicness happens.; int4 & int5 -> int6: the blaming dissection and the tetanicness happens.;
the talking forbearance happens.
$hypothesis$ = the cranking Lofoten does not occur. ; $context$ = sent1: the cranking ALIR occurs and the cranking flywheel occurs. sent2: if the fatigues does not occur the antennalness does not occur. sent3: the flocculating happens. sent4: the unshrinkableness occurs if that either the compaction does not occur or the automobiling does not occur or both is incorrect. sent5: the non-unsupportiveness and the multiphaseness happens if the unshrinkableness occurs. sent6: the tetanicness and the vice-presidentialness happens. sent7: the vice-presidentialness does not occur if the fact that the non-unsupportiveness and the non-multiphaseness happens is incorrect. sent8: the antennalness happens. sent9: if the vice-presidentialness does not occur then the fact that the cranking Lofoten does not occur but the tetanicness happens is not right. sent10: the vice-presidentialness happens. sent11: the blaming dissection is caused by the fatigues. sent12: if that the vice-presidentialness does not occur is not false the fact that the blaming dissection occurs but the tetanicness does not occur is false. sent13: the compaction prevents that the unshrinkableness does not occur. sent14: that the non-unsupportiveness and the non-multiphaseness happens is not right if the unshrinkableness happens. sent15: if the automobiling happens the fact that the vernalness does not occur and the compaction does not occur does not hold. sent16: the talking forbearance occurs if the fact that not the antennalness but the fatigues occurs is not right. sent17: that the non-antennalness and the fatigues happens does not hold if the blaming dissection does not occur. sent18: if the fact that the non-unsupportiveness and the multiphaseness occurs is not false then the vice-presidentialness does not occur. sent19: the fact that the compaction does not occur or the automobiling does not occur or both is not right if the vernalness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fatigues does not occur.; sent2 & assump1 -> int1: the antennalness does not occur.; int1 & sent8 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fatigues happens.; int3 & sent11 -> int4: the blaming dissection happens.; sent6 -> int5: the tetanicness happens.; int4 & int5 -> int6: the blaming dissection and the tetanicness happens.; __UNKNOWN__