the fact that the checkerbloom is not ineradicable or is not bacteriostatic or both if the runch does bungle is incorrect.
sent1: the checkerbloom is a flunitrazepan. sent2: the checkerbloom is ineradicable or it is not bacteriostatic or both if it is lithomantic. sent3: that that the checkerbloom is lithomantic but it is not a termer is correct is false. sent4: if the runch does bungle that the microfossil is Timorese and it is a flunitrazepan does not hold. sent5: either the checkerbloom is not bacteriostatic or it is not a flunitrazepan or both if the microfossil is ineradicable. sent6: if that the microfossil is a Timorese but not a flunitrazepan is incorrect the fact that the checkerbloom is not non-lithomantic hold. sent7: that the microfossil is a Timorese and is not a flunitrazepan is false if that the runch bungles is not incorrect. sent8: the rotgut is a Timorese. sent9: if something is lithomantic then it is not ineradicable and/or it is not bacteriostatic. sent10: something is either not eradicable or not bacteriostatic or both if it is lithomantic. sent11: the flibbertigibbet letters hiss and/or it does not trouble mesoderm. sent12: the microfossil is a flunitrazepan or it is not bacteriostatic or both. sent13: if the runch is bacteriostatic it does bungle and/or is not a flunitrazepan.
void -> assump1: Let's assume that the runch does bungle.; sent7 & assump1 -> int1: that the microfossil is a Timorese and is not a flunitrazepan is false.; int1 & sent6 -> int2: the checkerbloom is lithomantic.; sent9 -> int3: if the checkerbloom is lithomantic then it is not ineradicable or it is not bacteriostatic or both.; int2 & int3 -> int4: the checkerbloom is not ineradicable and/or it is not bacteriostatic.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the fact that the checkerbloom is not ineradicable or is not bacteriostatic or both if the runch does bungle is incorrect. ; $context$ = sent1: the checkerbloom is a flunitrazepan. sent2: the checkerbloom is ineradicable or it is not bacteriostatic or both if it is lithomantic. sent3: that that the checkerbloom is lithomantic but it is not a termer is correct is false. sent4: if the runch does bungle that the microfossil is Timorese and it is a flunitrazepan does not hold. sent5: either the checkerbloom is not bacteriostatic or it is not a flunitrazepan or both if the microfossil is ineradicable. sent6: if that the microfossil is a Timorese but not a flunitrazepan is incorrect the fact that the checkerbloom is not non-lithomantic hold. sent7: that the microfossil is a Timorese and is not a flunitrazepan is false if that the runch bungles is not incorrect. sent8: the rotgut is a Timorese. sent9: if something is lithomantic then it is not ineradicable and/or it is not bacteriostatic. sent10: something is either not eradicable or not bacteriostatic or both if it is lithomantic. sent11: the flibbertigibbet letters hiss and/or it does not trouble mesoderm. sent12: the microfossil is a flunitrazepan or it is not bacteriostatic or both. sent13: if the runch is bacteriostatic it does bungle and/or is not a flunitrazepan. ; $proof$ = 
void -> assump1: Let's assume that the runch does bungle.; sent7 & assump1 -> int1: that the microfossil is a Timorese and is not a flunitrazepan is false.; int1 & sent6 -> int2: the checkerbloom is lithomantic.; sent9 -> int3: if the checkerbloom is lithomantic then it is not ineradicable or it is not bacteriostatic or both.; int2 & int3 -> int4: the checkerbloom is not ineradicable and/or it is not bacteriostatic.; [assump1] & int4 -> hypothesis; __DISPROVED__