the follicle is a omnivore that bars applecart.
sent1: the choragus is not Laputan. sent2: the fact that the follicle is a seine is not false if the fact that it is not a kind of a seine and does bar commination is not right. sent3: if something does not verbify Mossbauer and is tragicomic then that it is not Laputan is right. sent4: something that is a omnivore is non-arenicolous thing that is a bomber. sent5: if an uptown is a jasmine then it is not a siding. sent6: the fact that something is not photoelectric is not wrong if it does not bedew fettle and does verbify ramp. sent7: the follicle does not verbify Mossbauer and is tragicomic. sent8: that if the Thymus is main then the ramp does not verbify lignin but it is a seine is not wrong. sent9: something is a omnivore if it is a seine. sent10: if something is not corporeal then that it verbifies railroading and is a falsetto is not true. sent11: the Thymus is a main if it does bar commination. sent12: the fact that that something is a omnivore and bars applecart is false if it is not Laputan is not wrong. sent13: something does bar applecart if it does not verbify lignin and is a kind of a seine. sent14: the follicle is a omnivore if that the ramp is a omnivore and is not Laputan is not right. sent15: that the follicle is a kind of new thing that is a prefecture is not correct if that it does not verbify Mossbauer is right.
sent3 -> int1: the follicle is non-Laputan if it does not verbify Mossbauer and is not non-tragicomic.; int1 & sent7 -> int2: the follicle is not Laputan.; sent12 -> int3: if the follicle is not Laputan that it is a omnivore and does bar applecart is incorrect.; int2 & int3 -> hypothesis;
the follicle is a kind of non-arenicolous thing that is a bomber.
sent4 -> int4: if the follicle is a omnivore it is not arenicolous and it is a kind of a bomber.; sent13 -> int5: if the ramp does not verbify lignin but it is a seine that it does bar applecart is not false.;
$hypothesis$ = the follicle is a omnivore that bars applecart. ; $context$ = sent1: the choragus is not Laputan. sent2: the fact that the follicle is a seine is not false if the fact that it is not a kind of a seine and does bar commination is not right. sent3: if something does not verbify Mossbauer and is tragicomic then that it is not Laputan is right. sent4: something that is a omnivore is non-arenicolous thing that is a bomber. sent5: if an uptown is a jasmine then it is not a siding. sent6: the fact that something is not photoelectric is not wrong if it does not bedew fettle and does verbify ramp. sent7: the follicle does not verbify Mossbauer and is tragicomic. sent8: that if the Thymus is main then the ramp does not verbify lignin but it is a seine is not wrong. sent9: something is a omnivore if it is a seine. sent10: if something is not corporeal then that it verbifies railroading and is a falsetto is not true. sent11: the Thymus is a main if it does bar commination. sent12: the fact that that something is a omnivore and bars applecart is false if it is not Laputan is not wrong. sent13: something does bar applecart if it does not verbify lignin and is a kind of a seine. sent14: the follicle is a omnivore if that the ramp is a omnivore and is not Laputan is not right. sent15: that the follicle is a kind of new thing that is a prefecture is not correct if that it does not verbify Mossbauer is right. ; $proof$ = 
sent3 -> int1: the follicle is non-Laputan if it does not verbify Mossbauer and is not non-tragicomic.; int1 & sent7 -> int2: the follicle is not Laputan.; sent12 -> int3: if the follicle is not Laputan that it is a omnivore and does bar applecart is incorrect.; int2 & int3 -> hypothesis; __DISPROVED__