the nonlinearness happens and the backblast happens.
sent1: if the craniotomy does not occur then that the rivaling sideswipe does not occur but the shipwrecking happens is not correct. sent2: the fact that the nonlinearness occurs is correct if the shipwrecking happens. sent3: the PIN does not occur. sent4: the covering does not occur. sent5: the apneicness occurs. sent6: the microeconomicsness happens. sent7: if the fact that the backblast does not occur is true that the craniotomy and the linearness occurs is not true. sent8: that not the rivaling sideswipe but the craniotomy occurs results in the shipwreck. sent9: the plumbicness occurs. sent10: the salvificness occurs and the binariness does not occur. sent11: the centralistness does not occur. sent12: the teleologicalness but not the rivaling sideswipe occurs. sent13: that the PIN does not occur brings about that the bloodlessness and the unpropitiousness occurs. sent14: the fact that the eagerness but not the centralistness happens is incorrect if the concession does not occur. sent15: the centralistness occurs if the eagerness happens. sent16: the fact that the unpropitiousness occurs hold. sent17: if the bloodlessness occurs then the backblast happens. sent18: if the fact that the eagerness and the non-centralistness occurs is wrong the circulating does not occur.
void -> assump1: Let's assume that that the eagerness happens is true.; sent15 & assump1 -> int1: that the centralistness occurs is right.; int1 & sent11 -> int2: this is contradiction.; [assump1] & int2 -> int3: the eagerness does not occur.; sent12 -> int4: the rivaling sideswipe does not occur.; sent13 & sent3 -> int5: the bloodlessness and the unpropitiousness occurs.; int5 -> int6: the bloodlessness happens.; sent17 & int6 -> int7: that the backblast occurs is right.;
the fact that both the nonlinearness and the backblast occurs is false.
 -> hypothesis;
$hypothesis$ = the nonlinearness happens and the backblast happens. ; $context$ = sent1: if the craniotomy does not occur then that the rivaling sideswipe does not occur but the shipwrecking happens is not correct. sent2: the fact that the nonlinearness occurs is correct if the shipwrecking happens. sent3: the PIN does not occur. sent4: the covering does not occur. sent5: the apneicness occurs. sent6: the microeconomicsness happens. sent7: if the fact that the backblast does not occur is true that the craniotomy and the linearness occurs is not true. sent8: that not the rivaling sideswipe but the craniotomy occurs results in the shipwreck. sent9: the plumbicness occurs. sent10: the salvificness occurs and the binariness does not occur. sent11: the centralistness does not occur. sent12: the teleologicalness but not the rivaling sideswipe occurs. sent13: that the PIN does not occur brings about that the bloodlessness and the unpropitiousness occurs. sent14: the fact that the eagerness but not the centralistness happens is incorrect if the concession does not occur. sent15: the centralistness occurs if the eagerness happens. sent16: the fact that the unpropitiousness occurs hold. sent17: if the bloodlessness occurs then the backblast happens. sent18: if the fact that the eagerness and the non-centralistness occurs is wrong the circulating does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the eagerness happens is true.; sent15 & assump1 -> int1: that the centralistness occurs is right.; int1 & sent11 -> int2: this is contradiction.; [assump1] & int2 -> int3: the eagerness does not occur.; sent12 -> int4: the rivaling sideswipe does not occur.; sent13 & sent3 -> int5: the bloodlessness and the unpropitiousness occurs.; int5 -> int6: the bloodlessness happens.; sent17 & int6 -> int7: that the backblast occurs is right.; __UNKNOWN__