that that the divorce does not occur is brought about by that the reeking occurs is not right.
sent1: the subdividing does not occur. sent2: the pack happens. sent3: if both the invocation and the divorcing occurs the reeking happens. sent4: if the smocking meteorite does not occur the railroading does not occur. sent5: if that the smocking Split occurs and the smocking meteorite occurs does not hold the railroading does not occur. sent6: not the divorcing but the reeking occurs if the getting occurs. sent7: the worsted occurs. sent8: the digitalization does not occur. sent9: if the porterage does not occur the mnemonicsness and the railroading happens. sent10: the electricalness happens. sent11: that the packing and the chaining monthly occurs does not hold. sent12: the invocation does not occur if the divorcing does not occur but the reeking occurs. sent13: that if the fact that not the hematopoieticness but the egoisticness occurs is wrong then the porterage does not occur is true. sent14: both the farandole and the smocking dimensionality occurs. sent15: the reeking is prevented by that the invocation occurs and the divorcing occurs. sent16: if the disjunction does not occur then that that the typology happens and the Eddy happens hold is incorrect. sent17: that the invocation does not occur is prevented by that the railroading does not occur. sent18: the leaflessness does not occur. sent19: if the deformationalness does not occur then the fact that both the confession and the interoceptiveness occurs is false. sent20: that the smocking Split occurs and the smocking meteorite occurs does not hold if the subdividing does not occur. sent21: that the smocking extrovert does not occur triggers that the get and the spilling malady occurs.
sent20 & sent1 -> int1: the fact that the smocking Split and the smocking meteorite occurs is not true.; int1 & sent5 -> int2: the railroading does not occur.; int2 & sent17 -> int3: the invocation happens.; void -> assump1: Let's assume that the divorcing happens.; int3 & assump1 -> int4: the invocation happens and the divorcing happens.; int4 & sent15 -> int5: the reeking does not occur.; void -> assump2: Let's assume that that the reeking does not occur does not hold.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: the divorcing does not occur.; [assump2] & int7 -> hypothesis;
the eyeful and the mnemonics happens.
$hypothesis$ = that that the divorce does not occur is brought about by that the reeking occurs is not right. ; $context$ = sent1: the subdividing does not occur. sent2: the pack happens. sent3: if both the invocation and the divorcing occurs the reeking happens. sent4: if the smocking meteorite does not occur the railroading does not occur. sent5: if that the smocking Split occurs and the smocking meteorite occurs does not hold the railroading does not occur. sent6: not the divorcing but the reeking occurs if the getting occurs. sent7: the worsted occurs. sent8: the digitalization does not occur. sent9: if the porterage does not occur the mnemonicsness and the railroading happens. sent10: the electricalness happens. sent11: that the packing and the chaining monthly occurs does not hold. sent12: the invocation does not occur if the divorcing does not occur but the reeking occurs. sent13: that if the fact that not the hematopoieticness but the egoisticness occurs is wrong then the porterage does not occur is true. sent14: both the farandole and the smocking dimensionality occurs. sent15: the reeking is prevented by that the invocation occurs and the divorcing occurs. sent16: if the disjunction does not occur then that that the typology happens and the Eddy happens hold is incorrect. sent17: that the invocation does not occur is prevented by that the railroading does not occur. sent18: the leaflessness does not occur. sent19: if the deformationalness does not occur then the fact that both the confession and the interoceptiveness occurs is false. sent20: that the smocking Split occurs and the smocking meteorite occurs does not hold if the subdividing does not occur. sent21: that the smocking extrovert does not occur triggers that the get and the spilling malady occurs. ; $proof$ = 
sent20 & sent1 -> int1: the fact that the smocking Split and the smocking meteorite occurs is not true.; int1 & sent5 -> int2: the railroading does not occur.; int2 & sent17 -> int3: the invocation happens.; void -> assump1: Let's assume that the divorcing happens.; int3 & assump1 -> int4: the invocation happens and the divorcing happens.; int4 & sent15 -> int5: the reeking does not occur.; void -> assump2: Let's assume that that the reeking does not occur does not hold.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: the divorcing does not occur.; [assump2] & int7 -> hypothesis; __DISPROVED__