the fact that if the minting doily happens the fact that the fact that the meridianness but not the sumo happens is not true is not false is not true.
sent1: the easing happens and the honoring clip does not occur. sent2: the marathon happens. sent3: if that the minting doily happens hold the fact that the meridianness and the sumo happens is not correct. sent4: the fact that the meridianness occurs and the sumo occurs does not hold. sent5: the spectrographicness and the marathon happens. sent6: if the fact that the minting pitching does not occur is not false that the meridian occurs and the sumo occurs is incorrect. sent7: that both the spectrographicness and the minting pitching occurs prevents the minting doily. sent8: if the spectrographicness and the minting pitching happens the minting doily occurs. sent9: the meridian but not the sumo occurs if the fact that the minting doily happens is not incorrect. sent10: the fact that the meridian but not the sumo occurs is wrong if the minting pitching does not occur.
void -> assump1: Let's assume that that the minting doily happens is correct.; sent5 -> int1: the spectrographicness happens.; void -> assump2: Let's assume that the minting pitching occurs.; int1 & assump2 -> int2: the spectrographicness and the minting pitching occurs.; sent7 & int2 -> int3: the minting doily does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the minting pitching does not occur.; sent10 & int5 -> int6: the fact that that the meridian happens and the sumo does not occur is right does not hold.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the fact that if the minting doily happens the fact that the fact that the meridianness but not the sumo happens is not true is not false is not true. ; $context$ = sent1: the easing happens and the honoring clip does not occur. sent2: the marathon happens. sent3: if that the minting doily happens hold the fact that the meridianness and the sumo happens is not correct. sent4: the fact that the meridianness occurs and the sumo occurs does not hold. sent5: the spectrographicness and the marathon happens. sent6: if the fact that the minting pitching does not occur is not false that the meridian occurs and the sumo occurs is incorrect. sent7: that both the spectrographicness and the minting pitching occurs prevents the minting doily. sent8: if the spectrographicness and the minting pitching happens the minting doily occurs. sent9: the meridian but not the sumo occurs if the fact that the minting doily happens is not incorrect. sent10: the fact that the meridian but not the sumo occurs is wrong if the minting pitching does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the minting doily happens is correct.; sent5 -> int1: the spectrographicness happens.; void -> assump2: Let's assume that the minting pitching occurs.; int1 & assump2 -> int2: the spectrographicness and the minting pitching occurs.; sent7 & int2 -> int3: the minting doily does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the minting pitching does not occur.; sent10 & int5 -> int6: the fact that that the meridian happens and the sumo does not occur is right does not hold.; [assump1] & int6 -> hypothesis; __DISPROVED__