there is something such that if it is both nonspatial and not non-propulsive then it does not malinger.
sent1: the pyridoxine does malinger. sent2: the thane enthuses if it is a cheroot. sent3: something interrupts if it vexes drape and/or it does not malinger. sent4: if there exists something such that it does not malinger then the methadone vexes drape and/or does not malinger. sent5: that the sheika does decorate thane and is not a Rebel is incorrect. sent6: there is something such that if it is a kind of a Cathaya and does vex Elinvar it does not pan Aaron. sent7: if something that is not spatial is propulsive then it does vex drape. sent8: the thane is not a billboard if there is something such that that it decorates thane and is not a Rebel is not true. sent9: the thane is non-Leonardesque thing that is a cheroot if it is not a billboard. sent10: if a macerative thing is a freckle then it vexes Elinvar. sent11: if the methadone does interrupt then the fact that the Irelander is propulsive hold. sent12: if something interrupts and/or it does vex drape it does not malinger. sent13: the cycle is not a kind of a trooper if it does not dream succedaneum and is an incurable. sent14: the dolphin does not malinger if the fact that the auricula does malinger but it is not an appealing does not hold. sent15: there exists something such that if it is a kind of spatial thing that is propulsive then that it does not malinger is not false.
sent7 -> int1: the pyridoxine does vex drape if it is not spatial and it is propulsive.; void -> assump1: Let's assume that the pyridoxine is not spatial but it is propulsive.; int1 & assump1 -> int2: the pyridoxine does vex drape.; int2 -> int3: the pyridoxine is an interrupt and/or it does vex drape.; sent12 -> int4: the pyridoxine does not malinger if it either is an interrupt or does vex drape or both.; int3 & int4 -> int5: the pyridoxine does not malinger.; [assump1] & int5 -> int6: if the pyridoxine is not spatial but it is propulsive then it does not malinger.; int6 -> hypothesis;
the Irelander is propulsive.
sent3 -> int7: if the methadone does vex drape or does not malinger or both then it is a kind of an interrupt.; sent5 -> int8: there exists something such that that it decorates thane and it is not a Rebel is incorrect.; int8 & sent8 -> int9: the thane is not a kind of a billboard.; sent9 & int9 -> int10: the thane is not Leonardesque and is a kind of a cheroot.; int10 -> int11: the fact that the thane is a kind of a cheroot is correct.; sent2 & int11 -> int12: the thane does enthuse.; int12 -> int13: there exists something such that it does enthuse.;
$hypothesis$ = there is something such that if it is both nonspatial and not non-propulsive then it does not malinger. ; $context$ = sent1: the pyridoxine does malinger. sent2: the thane enthuses if it is a cheroot. sent3: something interrupts if it vexes drape and/or it does not malinger. sent4: if there exists something such that it does not malinger then the methadone vexes drape and/or does not malinger. sent5: that the sheika does decorate thane and is not a Rebel is incorrect. sent6: there is something such that if it is a kind of a Cathaya and does vex Elinvar it does not pan Aaron. sent7: if something that is not spatial is propulsive then it does vex drape. sent8: the thane is not a billboard if there is something such that that it decorates thane and is not a Rebel is not true. sent9: the thane is non-Leonardesque thing that is a cheroot if it is not a billboard. sent10: if a macerative thing is a freckle then it vexes Elinvar. sent11: if the methadone does interrupt then the fact that the Irelander is propulsive hold. sent12: if something interrupts and/or it does vex drape it does not malinger. sent13: the cycle is not a kind of a trooper if it does not dream succedaneum and is an incurable. sent14: the dolphin does not malinger if the fact that the auricula does malinger but it is not an appealing does not hold. sent15: there exists something such that if it is a kind of spatial thing that is propulsive then that it does not malinger is not false. ; $proof$ = 
sent7 -> int1: the pyridoxine does vex drape if it is not spatial and it is propulsive.; void -> assump1: Let's assume that the pyridoxine is not spatial but it is propulsive.; int1 & assump1 -> int2: the pyridoxine does vex drape.; int2 -> int3: the pyridoxine is an interrupt and/or it does vex drape.; sent12 -> int4: the pyridoxine does not malinger if it either is an interrupt or does vex drape or both.; int3 & int4 -> int5: the pyridoxine does not malinger.; [assump1] & int5 -> int6: if the pyridoxine is not spatial but it is propulsive then it does not malinger.; int6 -> hypothesis; __PROVED__