the fact that the Lutheran does not occur if that the will-o'-the-wisp occurs hold is not correct.
sent1: that the fact that the carboxylness and the non-organicisticness happens is not right hold. sent2: either the will-o'-the-wisp or the fine or both yields that the maintaining monument does not occur. sent3: that the Lutheran does not occur is triggered by that both the astomatousness and the isomericness occurs. sent4: not the demagnetizing ogee but the collusion happens. sent5: the demagnetizing arousal occurs if the fact that the burnup happens and the demagnetizing arousal does not occur is not right. sent6: if the snipping does not occur but the demagnetizing fuji happens the maintaining handicraft happens. sent7: that the suckling cryptocoryne does not occur but the nervousness happens leads to the overstraining. sent8: not the occlusion but the prepositionalness occurs. sent9: that the stocks occurs but the honorableness does not occur is incorrect. sent10: that the collusion happens hold. sent11: the backhandness does not occur. sent12: that the occlusion does not occur and the demagnetizing arousal happens prevents that the isomericness does not occur. sent13: if the maintaining monument does not occur the imprudentness happens and the astomatousness happens. sent14: the gale happens. sent15: the collation happens. sent16: the swindle occurs if that the suckling cryptocoryne but not the swindle occurs is incorrect. sent17: that the burnup but not the demagnetizing arousal occurs does not hold. sent18: if the fine happens the maintaining monument does not occur.
void -> assump1: Let's assume that that the will-o'-the-wisp occurs is correct.; assump1 -> int1: either the will-o'-the-wisp or the fineness or both occurs.; int1 & sent2 -> int2: the maintaining monument does not occur.; int2 & sent13 -> int3: both the imprudentness and the astomatousness occurs.; int3 -> int4: the astomatousness happens.; sent8 -> int5: the occlusion does not occur.; sent5 & sent17 -> int6: the demagnetizing arousal happens.; int5 & int6 -> int7: not the occlusion but the demagnetizing arousal happens.; sent12 & int7 -> int8: the isomericness occurs.; int4 & int8 -> int9: both the astomatousness and the isomericness happens.; int9 & sent3 -> int10: the Lutheran does not occur.; [assump1] & int10 -> hypothesis;
$hypothesis$ = the fact that the Lutheran does not occur if that the will-o'-the-wisp occurs hold is not correct. ; $context$ = sent1: that the fact that the carboxylness and the non-organicisticness happens is not right hold. sent2: either the will-o'-the-wisp or the fine or both yields that the maintaining monument does not occur. sent3: that the Lutheran does not occur is triggered by that both the astomatousness and the isomericness occurs. sent4: not the demagnetizing ogee but the collusion happens. sent5: the demagnetizing arousal occurs if the fact that the burnup happens and the demagnetizing arousal does not occur is not right. sent6: if the snipping does not occur but the demagnetizing fuji happens the maintaining handicraft happens. sent7: that the suckling cryptocoryne does not occur but the nervousness happens leads to the overstraining. sent8: not the occlusion but the prepositionalness occurs. sent9: that the stocks occurs but the honorableness does not occur is incorrect. sent10: that the collusion happens hold. sent11: the backhandness does not occur. sent12: that the occlusion does not occur and the demagnetizing arousal happens prevents that the isomericness does not occur. sent13: if the maintaining monument does not occur the imprudentness happens and the astomatousness happens. sent14: the gale happens. sent15: the collation happens. sent16: the swindle occurs if that the suckling cryptocoryne but not the swindle occurs is incorrect. sent17: that the burnup but not the demagnetizing arousal occurs does not hold. sent18: if the fine happens the maintaining monument does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the will-o'-the-wisp occurs is correct.; assump1 -> int1: either the will-o'-the-wisp or the fineness or both occurs.; int1 & sent2 -> int2: the maintaining monument does not occur.; int2 & sent13 -> int3: both the imprudentness and the astomatousness occurs.; int3 -> int4: the astomatousness happens.; sent8 -> int5: the occlusion does not occur.; sent5 & sent17 -> int6: the demagnetizing arousal happens.; int5 & int6 -> int7: not the occlusion but the demagnetizing arousal happens.; sent12 & int7 -> int8: the isomericness occurs.; int4 & int8 -> int9: both the astomatousness and the isomericness happens.; int9 & sent3 -> int10: the Lutheran does not occur.; [assump1] & int10 -> hypothesis; __DISPROVED__