the channel is not a taillight.
sent1: the fluorocarbon does not induce tom. sent2: that the durmast does not invest but it is a Arafat is not true if it is not fatal. sent3: the durmast induces tom and is a buckbean if it is not a tamale. sent4: that the fact that the tetrahydrocannabinol is not a prune and is fatal is incorrect is not wrong. sent5: if a buckbean does induce tom then the tetrahydrocannabinol is not a kind of a tamale. sent6: if that the tetrahydrocannabinol is fatal is not incorrect then that the android undercuts bottlecap is not incorrect. sent7: the android undercuts bottlecap if that the tetrahydrocannabinol is not a kind of a prune and it is not fatal does not hold. sent8: either the griot invests or it is a buckbean or both if the fluorocarbon does invests. sent9: if the nucleoside is not fatal and it is not a tamale the durmast is not a kind of a tamale. sent10: if the tetrahydrocannabinol is not a tamale that it is not a prune and it is not fatal is not right. sent11: there is something such that it does grate pinstripe. sent12: if the nucleoside induces tom then the fluorocarbon does grate pinstripe. sent13: if the tetrahydrocannabinol is not a tamale then that it is not a prune and it is fatal does not hold. sent14: the fluorocarbon is a kind of a buckbean and does not induce tom if the nucleoside grates pinstripe. sent15: the sissy does not induce tom. sent16: the griot does undercut bottlecap and/or does not invest if the android does undercut bottlecap. sent17: that the echoencephalograph is virtuous but it does not invest is not incorrect. sent18: the channel is not a taillight if the griot does not invest. sent19: the griot undercuts bottlecap and/or does invest if the android undercuts bottlecap. sent20: something is a Arafat and does not grate pinstripe if it does induce tom. sent21: the durmast is not a taillight. sent22: if there exists something such that it is a buckbean that does not induce tom the tetrahydrocannabinol is not a tamale. sent23: the channel is not a kind of a taillight if the griot undercuts bottlecap and/or it does not invest. sent24: the durmast is a Arafat. sent25: the nucleoside grates pinstripe if the durmast is a Arafat.
sent25 & sent24 -> int1: the nucleoside grates pinstripe.; int1 & sent14 -> int2: the fluorocarbon is a buckbean that does not induce tom.; int2 -> int3: something is a kind of a buckbean and does not induce tom.; int3 & sent22 -> int4: the tetrahydrocannabinol is not a tamale.; int4 & sent10 -> int5: that the tetrahydrocannabinol is both not a prune and nonfatal is not correct.; int5 & sent7 -> int6: the fact that the android undercuts bottlecap is not incorrect.; int6 & sent16 -> int7: either the griot does undercut bottlecap or it does not invest or both.; int7 & sent23 -> hypothesis;
the channel is a taillight.
sent20 -> int8: the durmast is a kind of a Arafat but it does not grate pinstripe if it does induce tom.;
$hypothesis$ = the channel is not a taillight. ; $context$ = sent1: the fluorocarbon does not induce tom. sent2: that the durmast does not invest but it is a Arafat is not true if it is not fatal. sent3: the durmast induces tom and is a buckbean if it is not a tamale. sent4: that the fact that the tetrahydrocannabinol is not a prune and is fatal is incorrect is not wrong. sent5: if a buckbean does induce tom then the tetrahydrocannabinol is not a kind of a tamale. sent6: if that the tetrahydrocannabinol is fatal is not incorrect then that the android undercuts bottlecap is not incorrect. sent7: the android undercuts bottlecap if that the tetrahydrocannabinol is not a kind of a prune and it is not fatal does not hold. sent8: either the griot invests or it is a buckbean or both if the fluorocarbon does invests. sent9: if the nucleoside is not fatal and it is not a tamale the durmast is not a kind of a tamale. sent10: if the tetrahydrocannabinol is not a tamale that it is not a prune and it is not fatal is not right. sent11: there is something such that it does grate pinstripe. sent12: if the nucleoside induces tom then the fluorocarbon does grate pinstripe. sent13: if the tetrahydrocannabinol is not a tamale then that it is not a prune and it is fatal does not hold. sent14: the fluorocarbon is a kind of a buckbean and does not induce tom if the nucleoside grates pinstripe. sent15: the sissy does not induce tom. sent16: the griot does undercut bottlecap and/or does not invest if the android does undercut bottlecap. sent17: that the echoencephalograph is virtuous but it does not invest is not incorrect. sent18: the channel is not a taillight if the griot does not invest. sent19: the griot undercuts bottlecap and/or does invest if the android undercuts bottlecap. sent20: something is a Arafat and does not grate pinstripe if it does induce tom. sent21: the durmast is not a taillight. sent22: if there exists something such that it is a buckbean that does not induce tom the tetrahydrocannabinol is not a tamale. sent23: the channel is not a kind of a taillight if the griot undercuts bottlecap and/or it does not invest. sent24: the durmast is a Arafat. sent25: the nucleoside grates pinstripe if the durmast is a Arafat. ; $proof$ = 
sent25 & sent24 -> int1: the nucleoside grates pinstripe.; int1 & sent14 -> int2: the fluorocarbon is a buckbean that does not induce tom.; int2 -> int3: something is a kind of a buckbean and does not induce tom.; int3 & sent22 -> int4: the tetrahydrocannabinol is not a tamale.; int4 & sent10 -> int5: that the tetrahydrocannabinol is both not a prune and nonfatal is not correct.; int5 & sent7 -> int6: the fact that the android undercuts bottlecap is not incorrect.; int6 & sent16 -> int7: either the griot does undercut bottlecap or it does not invest or both.; int7 & sent23 -> hypothesis; __PROVED__