the fact that the flibbertigibbet is not tonsorial if the catechism does wrap gladdon does not hold.
sent1: that the catechism is not tonsorial is true if that the flibbertigibbet wraps gladdon is not incorrect. sent2: there exists something such that it does construct Panorpidae and it is a worthy. sent3: the catechism is advisable. sent4: the catechism does wrap gladdon and is tonsorial. sent5: if something that wraps gladdon is tonsorial the flibbertigibbet is not advisable. sent6: the crossbow is not tonsorial. sent7: there is something such that it is bioclimatic. sent8: the demagnetization is both tonsorial and a abscessed. sent9: if that the catechism is tonsorial is right then the flibbertigibbet does not wrap gladdon. sent10: the catechism is tonsorial and it does wrap gladdon. sent11: the incubus is not tonsorial. sent12: the catechism is a numeral and it is a kind of a gipsywort. sent13: if the flibbertigibbet is advisable then the catechism wraps gladdon. sent14: the flibbertigibbet is not advisable. sent15: the phonologist is duodenal and it is a Gillespie. sent16: there exists something such that it is advisable. sent17: the catechism is unsuccessful. sent18: the fact that the flibbertigibbet is not tonsorial is not false if something that is advisable does wrap gladdon. sent19: something wraps gladdon.
void -> assump1: Let's assume that the fact that the catechism does wrap gladdon hold.; sent3 & assump1 -> int1: the fact that the catechism is advisable and it wraps gladdon is right.; int1 -> int2: something is advisable and it does wrap gladdon.; int2 & sent18 -> int3: the flibbertigibbet is not tonsorial.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that the flibbertigibbet is not tonsorial if the catechism does wrap gladdon does not hold. ; $context$ = sent1: that the catechism is not tonsorial is true if that the flibbertigibbet wraps gladdon is not incorrect. sent2: there exists something such that it does construct Panorpidae and it is a worthy. sent3: the catechism is advisable. sent4: the catechism does wrap gladdon and is tonsorial. sent5: if something that wraps gladdon is tonsorial the flibbertigibbet is not advisable. sent6: the crossbow is not tonsorial. sent7: there is something such that it is bioclimatic. sent8: the demagnetization is both tonsorial and a abscessed. sent9: if that the catechism is tonsorial is right then the flibbertigibbet does not wrap gladdon. sent10: the catechism is tonsorial and it does wrap gladdon. sent11: the incubus is not tonsorial. sent12: the catechism is a numeral and it is a kind of a gipsywort. sent13: if the flibbertigibbet is advisable then the catechism wraps gladdon. sent14: the flibbertigibbet is not advisable. sent15: the phonologist is duodenal and it is a Gillespie. sent16: there exists something such that it is advisable. sent17: the catechism is unsuccessful. sent18: the fact that the flibbertigibbet is not tonsorial is not false if something that is advisable does wrap gladdon. sent19: something wraps gladdon. ; $proof$ = 
void -> assump1: Let's assume that the fact that the catechism does wrap gladdon hold.; sent3 & assump1 -> int1: the fact that the catechism is advisable and it wraps gladdon is right.; int1 -> int2: something is advisable and it does wrap gladdon.; int2 & sent18 -> int3: the flibbertigibbet is not tonsorial.; [assump1] & int3 -> hypothesis; __DISPROVED__