the fact that the film is a kind of a numeral but it does not weld Harmsworth is not right.
sent1: if something does not crystallize microbiology it is a numeral that does not weld Harmsworth. sent2: something is not pleasant if it shatters overburdened. sent3: that the film is not a woodcutter but it does stabilize is not right. sent4: if that the stretcher-bearer connects and stabilizes is not right then the nosewheel does not connects. sent5: if the redneck is not a testimony it does shatter overburdened or it does not reline Numididae or both. sent6: if that the film is not a woodcutter and does stabilize is not true it does not connect. sent7: if the film crystallizes microbiology it connects. sent8: if the redneck is not pleasant that that the stretcher-bearer does connect and does stabilize is wrong is right. sent9: the redneck is not a kind of a testimony.
void -> assump1: Let's assume that the film crystallizes microbiology.; sent7 & assump1 -> int1: the film connects.; sent6 & sent3 -> int2: the film does not connect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the film does not crystallize microbiology.; sent1 -> int5: if that the film does not crystallize microbiology hold it is a numeral that does not weld Harmsworth.; int4 & int5 -> hypothesis;
that the film is a numeral and does not weld Harmsworth is not correct.
sent5 & sent9 -> int6: the fact that the redneck does shatter overburdened or it does not reline Numididae or both is correct.; sent2 -> int7: if the redneck shatters overburdened then it is not pleasant.;
$hypothesis$ = the fact that the film is a kind of a numeral but it does not weld Harmsworth is not right. ; $context$ = sent1: if something does not crystallize microbiology it is a numeral that does not weld Harmsworth. sent2: something is not pleasant if it shatters overburdened. sent3: that the film is not a woodcutter but it does stabilize is not right. sent4: if that the stretcher-bearer connects and stabilizes is not right then the nosewheel does not connects. sent5: if the redneck is not a testimony it does shatter overburdened or it does not reline Numididae or both. sent6: if that the film is not a woodcutter and does stabilize is not true it does not connect. sent7: if the film crystallizes microbiology it connects. sent8: if the redneck is not pleasant that that the stretcher-bearer does connect and does stabilize is wrong is right. sent9: the redneck is not a kind of a testimony. ; $proof$ = 
void -> assump1: Let's assume that the film crystallizes microbiology.; sent7 & assump1 -> int1: the film connects.; sent6 & sent3 -> int2: the film does not connect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the film does not crystallize microbiology.; sent1 -> int5: if that the film does not crystallize microbiology hold it is a numeral that does not weld Harmsworth.; int4 & int5 -> hypothesis; __DISPROVED__