that the fact that the disbeliever ensconces impreciseness and does recline Triangulum is false is correct.
sent1: the projector is a tenesmus and is spectrographic. sent2: the projector does not fish jitterbug. sent3: if there are non-atherosclerotic things then that that the disbeliever ensconces impreciseness and it reclines Triangulum hold is not correct. sent4: if the fact that the kitchenware is not a tenesmus hold then it is spectrographic thing that ensconces impreciseness. sent5: there exists something such that the fact that it is non-Sikh and it humanizes does not hold. sent6: something is atherosclerotic if it is not non-spectrographic. sent7: the fact that the fact that the projector fishes jitterbug but it does not recline Coerebidae does not hold hold. sent8: the projector is not spectrographic if the fact that it does not fish jitterbug and it does not recline Coerebidae is false. sent9: the projector is not atherosclerotic if the Trapezium is not a tenesmus and it does not fish jitterbug. sent10: the Trapezium is not atherosclerotic if the projector does not fish jitterbug and it does not recline Coerebidae. sent11: if the projector does fish jitterbug but it does not recline Coerebidae then the Trapezium is not atherosclerotic.
void -> assump1: Let's assume that that the projector does not fish jitterbug and it does not recline Coerebidae does not hold.; sent8 & assump1 -> int1: the fact that the projector is not spectrographic is correct.; sent1 -> int2: the projector is spectrographic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the projector does not fish jitterbug and it does not recline Coerebidae.; int4 & sent10 -> int5: the Trapezium is not atherosclerotic.; int5 -> int6: there exists something such that it is not atherosclerotic.; int6 & sent3 -> hypothesis;
the disbeliever ensconces impreciseness and it reclines Triangulum.
$hypothesis$ = that the fact that the disbeliever ensconces impreciseness and does recline Triangulum is false is correct. ; $context$ = sent1: the projector is a tenesmus and is spectrographic. sent2: the projector does not fish jitterbug. sent3: if there are non-atherosclerotic things then that that the disbeliever ensconces impreciseness and it reclines Triangulum hold is not correct. sent4: if the fact that the kitchenware is not a tenesmus hold then it is spectrographic thing that ensconces impreciseness. sent5: there exists something such that the fact that it is non-Sikh and it humanizes does not hold. sent6: something is atherosclerotic if it is not non-spectrographic. sent7: the fact that the fact that the projector fishes jitterbug but it does not recline Coerebidae does not hold hold. sent8: the projector is not spectrographic if the fact that it does not fish jitterbug and it does not recline Coerebidae is false. sent9: the projector is not atherosclerotic if the Trapezium is not a tenesmus and it does not fish jitterbug. sent10: the Trapezium is not atherosclerotic if the projector does not fish jitterbug and it does not recline Coerebidae. sent11: if the projector does fish jitterbug but it does not recline Coerebidae then the Trapezium is not atherosclerotic. ; $proof$ = 
void -> assump1: Let's assume that that the projector does not fish jitterbug and it does not recline Coerebidae does not hold.; sent8 & assump1 -> int1: the fact that the projector is not spectrographic is correct.; sent1 -> int2: the projector is spectrographic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the projector does not fish jitterbug and it does not recline Coerebidae.; int4 & sent10 -> int5: the Trapezium is not atherosclerotic.; int5 -> int6: there exists something such that it is not atherosclerotic.; int6 & sent3 -> hypothesis; __PROVED__