the fact that there exists something such that if it does not reek it is inedible and it deposits tineid does not hold.
sent1: there is something such that if it does not reek it is inedible. sent2: there exists something such that if it reeks then it is not edible and it deposits tineid. sent3: something bodes and it is sigmoid if it is not a canter. sent4: something is inedible and does deposit tineid if it does not reek. sent5: something is inedible and it does deposit tineid if it does reek. sent6: there exists something such that if it is not psycholinguistics then it is both metropolitan and ordinary. sent7: if something does not deposit refrigeration it is a kind of a gangster and deposits toga. sent8: something that does not reek is inedible. sent9: something trundles conspirator and is small-capitalization if it does not measure body. sent10: there is something such that if it is not a sowbread it measures porringer and it is nonindustrial. sent11: there exists something such that if it is not a kind of a dispensation it is thirsty and it is a kind of a Laniidae. sent12: something does deposit Shavian and measures arethusa if it is not a firebrick. sent13: if the embroidery is corpuscular then it is a kind of a lari and it is a principle. sent14: if the scour does reek it is inedible and deposits tineid. sent15: the scour is inedible if it does not reek. sent16: if that the scour is not inedible is not wrong then it is full-term and it does dub Bowie.
sent4 -> int1: the scour is inedible thing that does deposit tineid if it does not reek.; int1 -> hypothesis;
there is something such that if the fact that it does not measure body hold then it does trundle conspirator and is small-capitalization.
sent9 -> int2: the sorbent trundles conspirator and it is small-capitalization if it does not measure body.; int2 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it does not reek it is inedible and it deposits tineid does not hold. ; $context$ = sent1: there is something such that if it does not reek it is inedible. sent2: there exists something such that if it reeks then it is not edible and it deposits tineid. sent3: something bodes and it is sigmoid if it is not a canter. sent4: something is inedible and does deposit tineid if it does not reek. sent5: something is inedible and it does deposit tineid if it does reek. sent6: there exists something such that if it is not psycholinguistics then it is both metropolitan and ordinary. sent7: if something does not deposit refrigeration it is a kind of a gangster and deposits toga. sent8: something that does not reek is inedible. sent9: something trundles conspirator and is small-capitalization if it does not measure body. sent10: there is something such that if it is not a sowbread it measures porringer and it is nonindustrial. sent11: there exists something such that if it is not a kind of a dispensation it is thirsty and it is a kind of a Laniidae. sent12: something does deposit Shavian and measures arethusa if it is not a firebrick. sent13: if the embroidery is corpuscular then it is a kind of a lari and it is a principle. sent14: if the scour does reek it is inedible and deposits tineid. sent15: the scour is inedible if it does not reek. sent16: if that the scour is not inedible is not wrong then it is full-term and it does dub Bowie. ; $proof$ = 
sent4 -> int1: the scour is inedible thing that does deposit tineid if it does not reek.; int1 -> hypothesis; __DISPROVED__