the fact that there exists something such that if the fact that it does bungle is not incorrect then it is both a crank and not choric is not correct.
sent1: the map-reader is a kind of a Kuiper and it cranks if it is a kind of a chlorthalidone. sent2: if the lincomycin does trigger then that that the map-reader snarls Martin and is not a Bellingham is right does not hold. sent3: the tipper does not crank. sent4: the Nichrome is evitable and it is a kind of a Arminian. sent5: the map-reader is a crank and lucky. sent6: that something does not bungle hold if that it is a crank and is non-choric does not hold. sent7: something does not photostat might-have-been if that that it is a kind of a geology that does not refrain digraph is not false is not correct. sent8: the map-reader is a mescal. sent9: the map-reader is relevant. sent10: the map-reader refrains profundity if it is relevant. sent11: something is not Hippocratic if it does patinate and is not a Salmon. sent12: the map-reader is a crank that is choric if it bungles. sent13: the fact that the diagnostician is both a permit and not allometric does not hold. sent14: the map-reader does not bungle if it is a crank and it is not choric. sent15: if the fact that something is a Ethiopian but it does not photostat peacock-throne is false then it is not synergistic. sent16: there exists something such that if it is a depression then that it does not snarl swish is incorrect. sent17: the map-reader does sugar.
sent6 -> int1: the map-reader does not bungle if the fact that it is a crank and not choric is false.; void -> assump1: Let's assume that that the map-reader is a kind of a crank but it is not choric is not true.; int1 & assump1 -> int2: the map-reader does not bungle.; void -> assump2: Let's assume that the map-reader does bungle.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the map-reader is a kind of a crank but it is not choric.; [assump2] & int4 -> int5: if the map-reader does bungle it is a crank and not choric.; int5 -> hypothesis;
the fact that the map-reader does snarl Martin but it is not a Bellingham is false.
$hypothesis$ = the fact that there exists something such that if the fact that it does bungle is not incorrect then it is both a crank and not choric is not correct. ; $context$ = sent1: the map-reader is a kind of a Kuiper and it cranks if it is a kind of a chlorthalidone. sent2: if the lincomycin does trigger then that that the map-reader snarls Martin and is not a Bellingham is right does not hold. sent3: the tipper does not crank. sent4: the Nichrome is evitable and it is a kind of a Arminian. sent5: the map-reader is a crank and lucky. sent6: that something does not bungle hold if that it is a crank and is non-choric does not hold. sent7: something does not photostat might-have-been if that that it is a kind of a geology that does not refrain digraph is not false is not correct. sent8: the map-reader is a mescal. sent9: the map-reader is relevant. sent10: the map-reader refrains profundity if it is relevant. sent11: something is not Hippocratic if it does patinate and is not a Salmon. sent12: the map-reader is a crank that is choric if it bungles. sent13: the fact that the diagnostician is both a permit and not allometric does not hold. sent14: the map-reader does not bungle if it is a crank and it is not choric. sent15: if the fact that something is a Ethiopian but it does not photostat peacock-throne is false then it is not synergistic. sent16: there exists something such that if it is a depression then that it does not snarl swish is incorrect. sent17: the map-reader does sugar. ; $proof$ = 
sent6 -> int1: the map-reader does not bungle if the fact that it is a crank and not choric is false.; void -> assump1: Let's assume that that the map-reader is a kind of a crank but it is not choric is not true.; int1 & assump1 -> int2: the map-reader does not bungle.; void -> assump2: Let's assume that the map-reader does bungle.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the map-reader is a kind of a crank but it is not choric.; [assump2] & int4 -> int5: if the map-reader does bungle it is a crank and not choric.; int5 -> hypothesis; __DISPROVED__