the pharyngealness does not occur.
sent1: if the offsetting examination happens that the ELINT happens is not incorrect. sent2: if the reshipment happens that the responsibility occurs and the onset does not occur does not hold. sent3: the spectacles but not the reshipment happens. sent4: the summarizing catenary occurs. sent5: if the onset does not occur both the offsetting thimbleberry and the responsibility happens. sent6: the bipolarness happens. sent7: that both the offsetting examination and the bipolarness happens is right. sent8: the offsetting thimbleberry does not occur if the pharyngealness happens and the ELINT happens. sent9: if the bipolarness does not occur then the pharyngealness happens and the offsetting examination happens. sent10: that both the summarizing catenary and the bipolarness happens is caused by that the featherbeding does not occur. sent11: the featherbedding does not occur. sent12: that either the offsetting thimbleberry happens or the pharyngealness happens or both is caused by that the responsibility does not occur. sent13: that the onset does not occur is triggered by that the reshipment does not occur. sent14: the responsibility happens. sent15: if the responsibility does not occur the ELINT does not occur and the offsetting thimbleberry occurs. sent16: the fact that the spectacles happens hold. sent17: the summarizing corncrib happens. sent18: if the onset does not occur then the responsibility occurs. sent19: that the reshipment occurs and the onset occurs does not hold if the fact that the spectacles does not occur is true.
sent7 -> int1: the offsetting examination happens.; int1 & sent1 -> int2: the ELINT happens.; void -> assump1: Let's assume that the pharyngealness happens.; int2 & assump1 -> int3: the pharyngealness and the ELINT occurs.; int3 & sent8 -> int4: the offsetting thimbleberry does not occur.; sent3 -> int5: the reshipment does not occur.; sent13 & int5 -> int6: the onset does not occur.; sent5 & int6 -> int7: both the offsetting thimbleberry and the responsibility happens.; int7 -> int8: the offsetting thimbleberry happens.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the summarizing catenary and the tough happens.
sent10 & sent11 -> int10: the summarizing catenary happens and the bipolarness happens.; int10 -> int11: that the summarizing catenary happens is not incorrect.;
$hypothesis$ = the pharyngealness does not occur. ; $context$ = sent1: if the offsetting examination happens that the ELINT happens is not incorrect. sent2: if the reshipment happens that the responsibility occurs and the onset does not occur does not hold. sent3: the spectacles but not the reshipment happens. sent4: the summarizing catenary occurs. sent5: if the onset does not occur both the offsetting thimbleberry and the responsibility happens. sent6: the bipolarness happens. sent7: that both the offsetting examination and the bipolarness happens is right. sent8: the offsetting thimbleberry does not occur if the pharyngealness happens and the ELINT happens. sent9: if the bipolarness does not occur then the pharyngealness happens and the offsetting examination happens. sent10: that both the summarizing catenary and the bipolarness happens is caused by that the featherbeding does not occur. sent11: the featherbedding does not occur. sent12: that either the offsetting thimbleberry happens or the pharyngealness happens or both is caused by that the responsibility does not occur. sent13: that the onset does not occur is triggered by that the reshipment does not occur. sent14: the responsibility happens. sent15: if the responsibility does not occur the ELINT does not occur and the offsetting thimbleberry occurs. sent16: the fact that the spectacles happens hold. sent17: the summarizing corncrib happens. sent18: if the onset does not occur then the responsibility occurs. sent19: that the reshipment occurs and the onset occurs does not hold if the fact that the spectacles does not occur is true. ; $proof$ = 
sent7 -> int1: the offsetting examination happens.; int1 & sent1 -> int2: the ELINT happens.; void -> assump1: Let's assume that the pharyngealness happens.; int2 & assump1 -> int3: the pharyngealness and the ELINT occurs.; int3 & sent8 -> int4: the offsetting thimbleberry does not occur.; sent3 -> int5: the reshipment does not occur.; sent13 & int5 -> int6: the onset does not occur.; sent5 & int6 -> int7: both the offsetting thimbleberry and the responsibility happens.; int7 -> int8: the offsetting thimbleberry happens.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__