the fact that the lumbosacralness does not occur and the symbolization happens if the Eurasianness happens is not true.
sent1: that the involution occurs is brought about by that the accepting refrigerator occurs. sent2: the fact that the unclearedness but not the tutelage occurs is not false. sent3: if the Eurasianness does not occur then that the juddering happens but the accepting refrigerator does not occur is false. sent4: the insert does not occur. sent5: the amercing cramped happens and the aggrandizement happens. sent6: that the insert occurs is true if the accepting output happens. sent7: the lumbosacralness does not occur if the fact that the whisking does not occur is not false. sent8: both the articularness and the breakfasting fetching occurs if the tutelage does not occur. sent9: that the lumbosacralness occurs and the whisk happens is wrong if the symbolization does not occur. sent10: the accepting output happens if the breakfasting fetching occurs but the iniquity does not occur. sent11: the accepting refrigerator happens if the fact that the juddering happens but the accepting refrigerator does not occur does not hold. sent12: the accepting refrigerator occurs and the juddering occurs. sent13: the symbolization does not occur and the unsusceptibleness does not occur if the insert occurs. sent14: that both the symbolization and the unsusceptibleness happens is brought about by that the insert does not occur. sent15: that the juddering and the Eurasianness happens prevents the whisking. sent16: if the fact that the iniquity happens but the drowsing does not occur is not true the iniquity does not occur.
sent12 -> int1: the juddering occurs.; void -> assump1: Let's assume that the Eurasianness occurs.; int1 & assump1 -> int2: both the juddering and the Eurasianness happens.; int2 & sent15 -> int3: the whisk does not occur.; int3 & sent7 -> int4: the lumbosacralness does not occur.; sent14 & sent4 -> int5: the symbolization occurs and the unsusceptibleness happens.; int5 -> int6: the symbolization occurs.; int4 & int6 -> int7: both the non-lumbosacralness and the symbolization happens.; [assump1] & int7 -> hypothesis;
the involution happens.
sent2 -> int8: the tutelage does not occur.; sent8 & int8 -> int9: the articularness happens and the breakfasting fetching occurs.; int9 -> int10: the fact that the breakfasting fetching occurs is not incorrect.;
$hypothesis$ = the fact that the lumbosacralness does not occur and the symbolization happens if the Eurasianness happens is not true. ; $context$ = sent1: that the involution occurs is brought about by that the accepting refrigerator occurs. sent2: the fact that the unclearedness but not the tutelage occurs is not false. sent3: if the Eurasianness does not occur then that the juddering happens but the accepting refrigerator does not occur is false. sent4: the insert does not occur. sent5: the amercing cramped happens and the aggrandizement happens. sent6: that the insert occurs is true if the accepting output happens. sent7: the lumbosacralness does not occur if the fact that the whisking does not occur is not false. sent8: both the articularness and the breakfasting fetching occurs if the tutelage does not occur. sent9: that the lumbosacralness occurs and the whisk happens is wrong if the symbolization does not occur. sent10: the accepting output happens if the breakfasting fetching occurs but the iniquity does not occur. sent11: the accepting refrigerator happens if the fact that the juddering happens but the accepting refrigerator does not occur does not hold. sent12: the accepting refrigerator occurs and the juddering occurs. sent13: the symbolization does not occur and the unsusceptibleness does not occur if the insert occurs. sent14: that both the symbolization and the unsusceptibleness happens is brought about by that the insert does not occur. sent15: that the juddering and the Eurasianness happens prevents the whisking. sent16: if the fact that the iniquity happens but the drowsing does not occur is not true the iniquity does not occur. ; $proof$ = 
sent12 -> int1: the juddering occurs.; void -> assump1: Let's assume that the Eurasianness occurs.; int1 & assump1 -> int2: both the juddering and the Eurasianness happens.; int2 & sent15 -> int3: the whisk does not occur.; int3 & sent7 -> int4: the lumbosacralness does not occur.; sent14 & sent4 -> int5: the symbolization occurs and the unsusceptibleness happens.; int5 -> int6: the symbolization occurs.; int4 & int6 -> int7: both the non-lumbosacralness and the symbolization happens.; [assump1] & int7 -> hypothesis; __DISPROVED__