the fact that if the nicotine is metamorphic the fact that the sonograph does afforest Leger and is a swash is wrong is wrong.
sent1: the educator is nonmetamorphic if something that is not a algorism does lean timepiece. sent2: if the sonograph is a Prometheus but it is not a swash it afforests Leger. sent3: something leans timepiece if it is a Prometheus and it is not nonmetamorphic. sent4: the whalebone is a kind of a algorism if the nicotine does lean timepiece. sent5: the whalebone is syndetic and is a gallbladder. sent6: the fact that the sonograph does afforest Leger and is a swash does not hold if there is something such that it is a algorism. sent7: the nicotine is a Prometheus if it is syndetic. sent8: if the nicotine does afforest Leger it is a swash. sent9: the sonograph does afforest Leger and it does swash if the nicotine is not nonmetamorphic. sent10: the nicotine is syndetic. sent11: the fact that the toucher does enfranchise bottomlessness hold. sent12: something that does swash is not a algorism and leans timepiece.
sent7 & sent10 -> int1: the nicotine is a Prometheus.; void -> assump1: Let's assume that the nicotine is not nonmetamorphic.; int1 & assump1 -> int2: the nicotine is a Prometheus and not nonmetamorphic.; sent3 -> int3: if the nicotine is a Prometheus and is not nonmetamorphic it leans timepiece.; int2 & int3 -> int4: the nicotine leans timepiece.; int4 & sent4 -> int5: the whalebone is a kind of a algorism.; int5 -> int6: there exists something such that it is a algorism.; int6 & sent6 -> int7: that the sonograph does afforest Leger and does swash is false.; [assump1] & int7 -> hypothesis;
the educator is a kind of a Prometheus.
sent12 -> int8: if the nicotine is a swash then it is not a algorism and it leans timepiece.;
$hypothesis$ = the fact that if the nicotine is metamorphic the fact that the sonograph does afforest Leger and is a swash is wrong is wrong. ; $context$ = sent1: the educator is nonmetamorphic if something that is not a algorism does lean timepiece. sent2: if the sonograph is a Prometheus but it is not a swash it afforests Leger. sent3: something leans timepiece if it is a Prometheus and it is not nonmetamorphic. sent4: the whalebone is a kind of a algorism if the nicotine does lean timepiece. sent5: the whalebone is syndetic and is a gallbladder. sent6: the fact that the sonograph does afforest Leger and is a swash does not hold if there is something such that it is a algorism. sent7: the nicotine is a Prometheus if it is syndetic. sent8: if the nicotine does afforest Leger it is a swash. sent9: the sonograph does afforest Leger and it does swash if the nicotine is not nonmetamorphic. sent10: the nicotine is syndetic. sent11: the fact that the toucher does enfranchise bottomlessness hold. sent12: something that does swash is not a algorism and leans timepiece. ; $proof$ = 
sent7 & sent10 -> int1: the nicotine is a Prometheus.; void -> assump1: Let's assume that the nicotine is not nonmetamorphic.; int1 & assump1 -> int2: the nicotine is a Prometheus and not nonmetamorphic.; sent3 -> int3: if the nicotine is a Prometheus and is not nonmetamorphic it leans timepiece.; int2 & int3 -> int4: the nicotine leans timepiece.; int4 & sent4 -> int5: the whalebone is a kind of a algorism.; int5 -> int6: there exists something such that it is a algorism.; int6 & sent6 -> int7: that the sonograph does afforest Leger and does swash is false.; [assump1] & int7 -> hypothesis; __DISPROVED__