the plain is not a humming and shores fruitlessness.
sent1: the fact that the plain is a groomsman but it does not extrapolate does not hold if the nitrazepam is not a modal. sent2: there exists nothing that does billow digitigrade and is not non-postnuptial. sent3: that something is not zodiacal and is a kind of a humming is false if it does not shore fruitlessness. sent4: the toadshade does not outgeneral Venus and it is not polyphonic. sent5: the toadshade is not bacteremic if it does not outgeneral Venus and is not polyphonic. sent6: if there exists something such that the fact that it billows digitigrade and is not non-postnuptial is not true then the archer is not zodiacal. sent7: the Miwok is not zodiacal if that the archer is not zodiacal but it is a humming is wrong. sent8: the dinnerware does not hum if there is something such that that it does shore fruitlessness and it billows digitigrade is not correct. sent9: if that something is modal and not intralobular is incorrect it is not a kind of a modal. sent10: if there is something such that that it billows digitigrade and it is postnuptial does not hold then the dinnerware does not shore fruitlessness. sent11: if the plain is a Photoblepharon the archer does not shore fruitlessness. sent12: something billows Venus but it is not a clotheshorse if it is not pompous. sent13: if something billows Venus but it is not a clotheshorse then the fact that it is not clamatorial is not false. sent14: the plain is not a humming and does shore fruitlessness if the archer is not zodiacal. sent15: the archer does not shore fruitlessness if the fact that the plain does not shore fruitlessness is true. sent16: something is not pompous if the fact that it is a groomsman and does not extrapolate does not hold. sent17: either something is a Photoblepharon or it does not shore fruitlessness or both if it is not clamatorial. sent18: that the nitrazepam is not non-modal but it is not intralobular is wrong if there is something such that it does not outgeneral rorqual. sent19: if something is non-bacteremic then it does not outgeneral rorqual.
sent2 -> int1: that the dinnerware does billow digitigrade and is postnuptial is not true.; int1 -> int2: there exists something such that the fact that it billows digitigrade and is postnuptial is wrong.; int2 & sent6 -> int3: the archer is not zodiacal.; sent14 & int3 -> hypothesis;
that the Miwok is not zodiacal is correct.
sent3 -> int4: if the archer does not shore fruitlessness then that it is not zodiacal and it does hum is false.; sent17 -> int5: if the plain is not clamatorial it either is a Photoblepharon or does not shore fruitlessness or both.; sent13 -> int6: if the plain does billow Venus and is not a kind of a clotheshorse it is not clamatorial.; sent12 -> int7: the plain does billow Venus and is not a kind of a clotheshorse if it is non-pompous.; sent16 -> int8: if that the plain is a groomsman that does not extrapolate is not right then it is not pompous.; sent9 -> int9: the nitrazepam is not a kind of a modal if that that it is modal and it is not intralobular is not incorrect does not hold.; sent19 -> int10: if the fact that the toadshade is not bacteremic is correct then the fact that it does not outgeneral rorqual is true.; sent5 & sent4 -> int11: the toadshade is not bacteremic.; int10 & int11 -> int12: the toadshade does not outgeneral rorqual.; int12 -> int13: something does not outgeneral rorqual.; int13 & sent18 -> int14: that the nitrazepam is modal but it is not intralobular is false.; int9 & int14 -> int15: the nitrazepam is not a modal.; sent1 & int15 -> int16: the fact that the plain is a groomsman and does not extrapolate is not true.; int8 & int16 -> int17: the fact that the plain is not pompous is true.; int7 & int17 -> int18: the plain billows Venus and is not a clotheshorse.; int6 & int18 -> int19: the plain is not clamatorial.; int5 & int19 -> int20: either the plain is a Photoblepharon or it does not shore fruitlessness or both.; int20 & sent11 & sent15 -> int21: the archer does not shore fruitlessness.; int4 & int21 -> int22: that the archer is not zodiacal and is a humming is not right.; sent7 & int22 -> hypothesis;
$hypothesis$ = the plain is not a humming and shores fruitlessness. ; $context$ = sent1: the fact that the plain is a groomsman but it does not extrapolate does not hold if the nitrazepam is not a modal. sent2: there exists nothing that does billow digitigrade and is not non-postnuptial. sent3: that something is not zodiacal and is a kind of a humming is false if it does not shore fruitlessness. sent4: the toadshade does not outgeneral Venus and it is not polyphonic. sent5: the toadshade is not bacteremic if it does not outgeneral Venus and is not polyphonic. sent6: if there exists something such that the fact that it billows digitigrade and is not non-postnuptial is not true then the archer is not zodiacal. sent7: the Miwok is not zodiacal if that the archer is not zodiacal but it is a humming is wrong. sent8: the dinnerware does not hum if there is something such that that it does shore fruitlessness and it billows digitigrade is not correct. sent9: if that something is modal and not intralobular is incorrect it is not a kind of a modal. sent10: if there is something such that that it billows digitigrade and it is postnuptial does not hold then the dinnerware does not shore fruitlessness. sent11: if the plain is a Photoblepharon the archer does not shore fruitlessness. sent12: something billows Venus but it is not a clotheshorse if it is not pompous. sent13: if something billows Venus but it is not a clotheshorse then the fact that it is not clamatorial is not false. sent14: the plain is not a humming and does shore fruitlessness if the archer is not zodiacal. sent15: the archer does not shore fruitlessness if the fact that the plain does not shore fruitlessness is true. sent16: something is not pompous if the fact that it is a groomsman and does not extrapolate does not hold. sent17: either something is a Photoblepharon or it does not shore fruitlessness or both if it is not clamatorial. sent18: that the nitrazepam is not non-modal but it is not intralobular is wrong if there is something such that it does not outgeneral rorqual. sent19: if something is non-bacteremic then it does not outgeneral rorqual. ; $proof$ = 
sent2 -> int1: that the dinnerware does billow digitigrade and is postnuptial is not true.; int1 -> int2: there exists something such that the fact that it billows digitigrade and is postnuptial is wrong.; int2 & sent6 -> int3: the archer is not zodiacal.; sent14 & int3 -> hypothesis; __PROVED__