the molter is not non-microscopic.
sent1: there is something such that that either it is a picornavirus or it is a rabato or both does not hold. sent2: something is uninjectable and/or it is a kind of a rabato. sent3: the footing is not a rabato if the take-up is not a kind of a rabato. sent4: that the Diesel is not microscopic hold. sent5: the astringent is not an osmium if the Diesel either is a mine or does not reward drive-in or both. sent6: there exists something such that it does not reward drive-in. sent7: the footing is not a kind of a rabato. sent8: the molter is not non-microscopic or injectable or both. sent9: the take-up is not a kind of a rabato if either the cullis skims or it is not a picornavirus or both. sent10: the take-up is an osmium. sent11: the molter is a rabato if there exists something such that the fact that it either is microscopic or is uninjectable or both is not correct. sent12: the take-up does not skim. sent13: the cullis is a skim and/or it is a picornavirus. sent14: if the astringent is an osmium then the fact that the cullis is a skim is true. sent15: something is not microscopic if the fact that it is a mine and it is microscopic does not hold. sent16: that if the take-up is not a kind of a rabato that the footing is uninjectable and/or a rabato does not hold is true. sent17: the molter is microscopic if there exists something such that that either it is uninjectable or it is a rabato or both is wrong. sent18: if the cullis is not a picornavirus then the take-up is not a kind of a rabato. sent19: the astringent does not reward drive-in. sent20: the Diesel does not mine. sent21: the astringent does not reward drive-in but it is an osmium if that the Diesel does mine does not hold.
sent21 & sent20 -> int1: the astringent does not reward drive-in and is a kind of an osmium.; int1 -> int2: the astringent is an osmium.; sent14 & int2 -> int3: the cullis is a skim.; int3 -> int4: the cullis is a kind of a skim or it is not a picornavirus or both.; sent9 & int4 -> int5: the take-up is not a rabato.; sent16 & int5 -> int6: the fact that the footing is uninjectable and/or it is a rabato is not correct.; int6 -> int7: there is something such that the fact that either it is uninjectable or it is a rabato or both is not right.; int7 & sent17 -> hypothesis;
the molter is not microscopic.
sent15 -> int8: the molter is not microscopic if that it is a mine and is microscopic is false.;
$hypothesis$ = the molter is not non-microscopic. ; $context$ = sent1: there is something such that that either it is a picornavirus or it is a rabato or both does not hold. sent2: something is uninjectable and/or it is a kind of a rabato. sent3: the footing is not a rabato if the take-up is not a kind of a rabato. sent4: that the Diesel is not microscopic hold. sent5: the astringent is not an osmium if the Diesel either is a mine or does not reward drive-in or both. sent6: there exists something such that it does not reward drive-in. sent7: the footing is not a kind of a rabato. sent8: the molter is not non-microscopic or injectable or both. sent9: the take-up is not a kind of a rabato if either the cullis skims or it is not a picornavirus or both. sent10: the take-up is an osmium. sent11: the molter is a rabato if there exists something such that the fact that it either is microscopic or is uninjectable or both is not correct. sent12: the take-up does not skim. sent13: the cullis is a skim and/or it is a picornavirus. sent14: if the astringent is an osmium then the fact that the cullis is a skim is true. sent15: something is not microscopic if the fact that it is a mine and it is microscopic does not hold. sent16: that if the take-up is not a kind of a rabato that the footing is uninjectable and/or a rabato does not hold is true. sent17: the molter is microscopic if there exists something such that that either it is uninjectable or it is a rabato or both is wrong. sent18: if the cullis is not a picornavirus then the take-up is not a kind of a rabato. sent19: the astringent does not reward drive-in. sent20: the Diesel does not mine. sent21: the astringent does not reward drive-in but it is an osmium if that the Diesel does mine does not hold. ; $proof$ = 
sent21 & sent20 -> int1: the astringent does not reward drive-in and is a kind of an osmium.; int1 -> int2: the astringent is an osmium.; sent14 & int2 -> int3: the cullis is a skim.; int3 -> int4: the cullis is a kind of a skim or it is not a picornavirus or both.; sent9 & int4 -> int5: the take-up is not a rabato.; sent16 & int5 -> int6: the fact that the footing is uninjectable and/or it is a rabato is not correct.; int6 -> int7: there is something such that the fact that either it is uninjectable or it is a rabato or both is not right.; int7 & sent17 -> hypothesis; __PROVED__