the fact that the tankard is lobar but it is not significant is not wrong.
sent1: the fact that something is lobar but not significant is incorrect if it elapses. sent2: the fulmar is foliaceous if there exists something such that it is a folderol. sent3: there exists something such that it is a folderol. sent4: the doughboy is a kind of a Noctuidae if the fulmar is foliaceous and does not elapse. sent5: if the elision is not lobar then the tankard is lobar and is not significant. sent6: if the doughboy is a Noctuidae that the elision is a Noctuidae and does not insert flatwork is wrong. sent7: the fulmar is psychogenic if it does elapse. sent8: the elision is not lobar if that it is a kind of a Noctuidae and it does not insert flatwork is incorrect. sent9: the tankard is not significant if it is not psychogenic. sent10: the fulmar is not psychogenic. sent11: the elision is a Noctuidae and does not elapse if the fulmar is not a Noctuidae. sent12: if the tankard is psychogenic it elapses. sent13: the fulmar is non-psychogenic thing that does not insert flatwork if the elision does not elapse. sent14: if the fulmar is not psychogenic and it does not insert flatwork the doughboy does insert flatwork.
void -> assump1: Let's assume that the fulmar does elapse.; sent7 & assump1 -> int1: the fulmar is psychogenic.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fulmar does not elapse.; sent3 & sent2 -> int4: that the fulmar is foliaceous is not false.; int3 & int4 -> int5: the fulmar is foliaceous thing that does not elapse.; int5 & sent4 -> int6: the doughboy is a kind of a Noctuidae.; int6 & sent6 -> int7: the fact that the elision is a Noctuidae but it does not insert flatwork is not right.; int7 & sent8 -> int8: the elision is not lobar.; int8 & sent5 -> hypothesis;
the fact that the tankard is lobar but it is not significant is incorrect.
sent1 -> int9: that the tankard is both lobar and not significant does not hold if it does elapse.;
$hypothesis$ = the fact that the tankard is lobar but it is not significant is not wrong. ; $context$ = sent1: the fact that something is lobar but not significant is incorrect if it elapses. sent2: the fulmar is foliaceous if there exists something such that it is a folderol. sent3: there exists something such that it is a folderol. sent4: the doughboy is a kind of a Noctuidae if the fulmar is foliaceous and does not elapse. sent5: if the elision is not lobar then the tankard is lobar and is not significant. sent6: if the doughboy is a Noctuidae that the elision is a Noctuidae and does not insert flatwork is wrong. sent7: the fulmar is psychogenic if it does elapse. sent8: the elision is not lobar if that it is a kind of a Noctuidae and it does not insert flatwork is incorrect. sent9: the tankard is not significant if it is not psychogenic. sent10: the fulmar is not psychogenic. sent11: the elision is a Noctuidae and does not elapse if the fulmar is not a Noctuidae. sent12: if the tankard is psychogenic it elapses. sent13: the fulmar is non-psychogenic thing that does not insert flatwork if the elision does not elapse. sent14: if the fulmar is not psychogenic and it does not insert flatwork the doughboy does insert flatwork. ; $proof$ = 
void -> assump1: Let's assume that the fulmar does elapse.; sent7 & assump1 -> int1: the fulmar is psychogenic.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fulmar does not elapse.; sent3 & sent2 -> int4: that the fulmar is foliaceous is not false.; int3 & int4 -> int5: the fulmar is foliaceous thing that does not elapse.; int5 & sent4 -> int6: the doughboy is a kind of a Noctuidae.; int6 & sent6 -> int7: the fact that the elision is a Noctuidae but it does not insert flatwork is not right.; int7 & sent8 -> int8: the elision is not lobar.; int8 & sent5 -> hypothesis; __PROVED__