the fact that both the non-discourteousness and the whizzing happens is wrong.
sent1: the technophobicness does not occur if the fact that the interleaving governor does not occur is not wrong. sent2: if that both the non-meritocraticness and the interleaving hypotonia happens is not correct the hymenealness does not occur. sent3: the fact that not the euclidianness but the interleaving governor occurs does not hold if the side-to-sideness does not occur. sent4: if the technophobicness does not occur then the non-discourteousness and the whizzing occurs. sent5: that the contradistinguishing Schutzstaffel but not the inscription occurs results in that the no-hitter does not occur. sent6: the golfing does not occur. sent7: that the contradistinguishing transportation and the no-hitter happens is caused by that the golf does not occur. sent8: that the thoughtfulness occurs is true. sent9: the contradistinguishing transportation happens. sent10: if the contradistinguishing Schutzstaffel does not occur the side-to-sideness does not occur. sent11: the unserviceableness does not occur. sent12: if that the non-euclidianness and the interleaving governor happens is incorrect the technophobicness does not occur. sent13: the inscription does not occur.
void -> assump1: Let's assume that the contradistinguishing Schutzstaffel occurs.; assump1 & sent13 -> int1: the contradistinguishing Schutzstaffel happens and the inscription does not occur.; int1 & sent5 -> int2: the no-hitter does not occur.; sent7 & sent6 -> int3: the contradistinguishing transportation occurs and the no-hitter happens.; int3 -> int4: the no-hitter happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the contradistinguishing Schutzstaffel does not occur hold.; int6 & sent10 -> int7: the side-to-sideness does not occur.; int7 & sent3 -> int8: the fact that the non-euclidianness and the interleaving governor happens does not hold.; int8 & sent12 -> int9: the technophobicness does not occur.; int9 & sent4 -> hypothesis;
the fact that both the courteousness and the whizzing occurs is not true.
 -> hypothesis;
$hypothesis$ = the fact that both the non-discourteousness and the whizzing happens is wrong. ; $context$ = sent1: the technophobicness does not occur if the fact that the interleaving governor does not occur is not wrong. sent2: if that both the non-meritocraticness and the interleaving hypotonia happens is not correct the hymenealness does not occur. sent3: the fact that not the euclidianness but the interleaving governor occurs does not hold if the side-to-sideness does not occur. sent4: if the technophobicness does not occur then the non-discourteousness and the whizzing occurs. sent5: that the contradistinguishing Schutzstaffel but not the inscription occurs results in that the no-hitter does not occur. sent6: the golfing does not occur. sent7: that the contradistinguishing transportation and the no-hitter happens is caused by that the golf does not occur. sent8: that the thoughtfulness occurs is true. sent9: the contradistinguishing transportation happens. sent10: if the contradistinguishing Schutzstaffel does not occur the side-to-sideness does not occur. sent11: the unserviceableness does not occur. sent12: if that the non-euclidianness and the interleaving governor happens is incorrect the technophobicness does not occur. sent13: the inscription does not occur. ; $proof$ = 
void -> assump1: Let's assume that the contradistinguishing Schutzstaffel occurs.; assump1 & sent13 -> int1: the contradistinguishing Schutzstaffel happens and the inscription does not occur.; int1 & sent5 -> int2: the no-hitter does not occur.; sent7 & sent6 -> int3: the contradistinguishing transportation occurs and the no-hitter happens.; int3 -> int4: the no-hitter happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the contradistinguishing Schutzstaffel does not occur hold.; int6 & sent10 -> int7: the side-to-sideness does not occur.; int7 & sent3 -> int8: the fact that the non-euclidianness and the interleaving governor happens does not hold.; int8 & sent12 -> int9: the technophobicness does not occur.; int9 & sent4 -> hypothesis; __DISPROVED__