the fact that the tailplane does billow weighbridge and is a kind of a blank does not hold.
sent1: the tailplane billows weighbridge if the cashew is not a gallina. sent2: the perfumery billows weighbridge if the tailplane blanks. sent3: that the gametophore is a Andrews hold. sent4: the soleus is not manorial. sent5: the fact that the soleus is not a hornbill is not incorrect if there exists something such that it does not billow fashion or it is not a hornbill or both. sent6: the soleus does not shower if it is not a kind of a hornbill and it is not manorial. sent7: the tailplane is a blank that shores reappraisal. sent8: something does not billow fashion and/or it is not a kind of a hornbill. sent9: if the fact that the gametophore is a Andrews is right then it billows gametophore and is not excitable. sent10: the fact that if the cashew is a gallina the perfumery is outward hold. sent11: if the gametophore does billow gametophore and is not excitable the soleus does shore sprout. sent12: the perfumery is not outward. sent13: the cashew does not billow weighbridge. sent14: that something is a gallina and is outward does not hold if it does not shore reappraisal. sent15: the cashew shores reappraisal and it outgenerals cashew. sent16: the porpoise is outward. sent17: if the cashew is outward the perfumery is a gallina. sent18: if there is something such that it shores sprout and is not a kind of a shower then the perfumery does not shore reappraisal.
void -> assump1: Let's assume that the cashew is a gallina.; sent10 & assump1 -> int1: the perfumery is outward.; int1 & sent12 -> int2: this is contradiction.; [assump1] & int2 -> int3: the cashew is not a gallina.; int3 & sent1 -> int4: the tailplane does billow weighbridge.; sent7 -> int5: the fact that the tailplane does blank is correct.; int4 & int5 -> hypothesis;
the fact that the tailplane billows weighbridge and does blank does not hold.
sent14 -> int6: if the perfumery does not shore reappraisal then that it is a kind of a gallina and it is outward is not true.; sent9 & sent3 -> int7: the gametophore does billow gametophore but it is not excitable.; sent11 & int7 -> int8: the soleus shores sprout.; sent8 & sent5 -> int9: the fact that the soleus is not a hornbill is not false.; int9 & sent4 -> int10: the soleus is both not a hornbill and not manorial.; sent6 & int10 -> int11: the soleus is not a shower.; int8 & int11 -> int12: the soleus does shore sprout but it is not a shower.; int12 -> int13: there is something such that it does shore sprout and does not shower.; int13 & sent18 -> int14: the perfumery does not shore reappraisal.; int6 & int14 -> int15: the fact that the perfumery is a kind of a gallina that is outward is not right.; int15 -> int16: there is something such that the fact that it is a gallina that is outward is not true.;
$hypothesis$ = the fact that the tailplane does billow weighbridge and is a kind of a blank does not hold. ; $context$ = sent1: the tailplane billows weighbridge if the cashew is not a gallina. sent2: the perfumery billows weighbridge if the tailplane blanks. sent3: that the gametophore is a Andrews hold. sent4: the soleus is not manorial. sent5: the fact that the soleus is not a hornbill is not incorrect if there exists something such that it does not billow fashion or it is not a hornbill or both. sent6: the soleus does not shower if it is not a kind of a hornbill and it is not manorial. sent7: the tailplane is a blank that shores reappraisal. sent8: something does not billow fashion and/or it is not a kind of a hornbill. sent9: if the fact that the gametophore is a Andrews is right then it billows gametophore and is not excitable. sent10: the fact that if the cashew is a gallina the perfumery is outward hold. sent11: if the gametophore does billow gametophore and is not excitable the soleus does shore sprout. sent12: the perfumery is not outward. sent13: the cashew does not billow weighbridge. sent14: that something is a gallina and is outward does not hold if it does not shore reappraisal. sent15: the cashew shores reappraisal and it outgenerals cashew. sent16: the porpoise is outward. sent17: if the cashew is outward the perfumery is a gallina. sent18: if there is something such that it shores sprout and is not a kind of a shower then the perfumery does not shore reappraisal. ; $proof$ = 
void -> assump1: Let's assume that the cashew is a gallina.; sent10 & assump1 -> int1: the perfumery is outward.; int1 & sent12 -> int2: this is contradiction.; [assump1] & int2 -> int3: the cashew is not a gallina.; int3 & sent1 -> int4: the tailplane does billow weighbridge.; sent7 -> int5: the fact that the tailplane does blank is correct.; int4 & int5 -> hypothesis; __DISPROVED__