the fact that that the jackstraws does not list angst and is Faustian is not true hold.
sent1: if the Boxer does not list mamma the fact that the mole is both not cosmologic and a tesla does not hold. sent2: if something refreshes Lancastrian it does not list angst and it is Faustian. sent3: if something is a kind of a qepiq then it is a kind of a splenius. sent4: something does not refresh nitroglycerin but it is syllabic if it is a Circinus. sent5: if the stigma tells then the caravansary does refresh Lancastrian. sent6: if something is a Gypsy then it does not refresh spinnbarkeit. sent7: the Lancastrian is a Gypsy if there is something such that the fact that it is a kind of non-cosmologic a tesla is incorrect. sent8: if something is coastal then it is not bureaucratic. sent9: if something refreshes Lancastrian then it is Faustian. sent10: The Lancastrian does refresh jackstraws. sent11: the jackstraws does refresh Lancastrian. sent12: that everything is both a qepiq and a paternalism is not wrong. sent13: something is a strychnine and does not list mamma if it is a splenius. sent14: the caravansary does refresh Lancastrian if the stigma does refresh Lancastrian. sent15: the fact that the jackstraws does not list angst and is Faustian is not correct if the caravansary does refresh Lancastrian.
sent2 -> int1: if the jackstraws refreshes Lancastrian then it does not list angst and it is not non-Faustian.; int1 & sent11 -> hypothesis;
the fact that the jackstraws does not list angst but it is Faustian is not right.
sent6 -> int2: if the Lancastrian is a Gypsy it does not refresh spinnbarkeit.; sent13 -> int3: if the obstruction is a kind of a splenius it is a kind of a strychnine and does not list mamma.; sent3 -> int4: the obstruction is a splenius if it is a kind of a qepiq.; sent12 -> int5: the obstruction is a qepiq that is a paternalism.; int5 -> int6: that the obstruction is a qepiq is not incorrect.; int4 & int6 -> int7: the obstruction is a splenius.; int3 & int7 -> int8: the obstruction is a kind of a strychnine that does not list mamma.; int8 -> int9: the obstruction does not list mamma.; int9 -> int10: everything does not list mamma.; int10 -> int11: the Boxer does not list mamma.; int11 & sent1 -> int12: the fact that the mole is non-cosmologic a tesla is not true.; int12 -> int13: there exists something such that that it is not cosmologic and it is a tesla does not hold.; int13 & sent7 -> int14: the Lancastrian is a Gypsy.; int2 & int14 -> int15: the Lancastrian does not refresh spinnbarkeit.;
$hypothesis$ = the fact that that the jackstraws does not list angst and is Faustian is not true hold. ; $context$ = sent1: if the Boxer does not list mamma the fact that the mole is both not cosmologic and a tesla does not hold. sent2: if something refreshes Lancastrian it does not list angst and it is Faustian. sent3: if something is a kind of a qepiq then it is a kind of a splenius. sent4: something does not refresh nitroglycerin but it is syllabic if it is a Circinus. sent5: if the stigma tells then the caravansary does refresh Lancastrian. sent6: if something is a Gypsy then it does not refresh spinnbarkeit. sent7: the Lancastrian is a Gypsy if there is something such that the fact that it is a kind of non-cosmologic a tesla is incorrect. sent8: if something is coastal then it is not bureaucratic. sent9: if something refreshes Lancastrian then it is Faustian. sent10: The Lancastrian does refresh jackstraws. sent11: the jackstraws does refresh Lancastrian. sent12: that everything is both a qepiq and a paternalism is not wrong. sent13: something is a strychnine and does not list mamma if it is a splenius. sent14: the caravansary does refresh Lancastrian if the stigma does refresh Lancastrian. sent15: the fact that the jackstraws does not list angst and is Faustian is not correct if the caravansary does refresh Lancastrian. ; $proof$ = 
sent2 -> int1: if the jackstraws refreshes Lancastrian then it does not list angst and it is not non-Faustian.; int1 & sent11 -> hypothesis; __DISPROVED__