that either the workwear does quieten Gonorhynchus or it is not benign or both is not correct.
sent1: if the storybook is an arsonist but it is not a Membracidae then the workwear does not quieten Arizonan. sent2: the storybook is an arsonist but it is not a Membracidae if the Arizonan is non-difficult. sent3: the masking is difficult. sent4: the workwear is not a kind of a Membracidae. sent5: the Arizonan is not a kind of a Membracidae. sent6: there exists something such that the fact that it is both not a streusel and difficult does not hold. sent7: if there is something such that that it is not a streusel and does administer troopship is not right then the Arizonan is non-difficult. sent8: the Arizonan is not a kind of a tensed. sent9: the masking is not an airworthiness. sent10: the masking is not an arsonist. sent11: if there exists something such that it does administer dibranchiate then that the masking is not a kind of a streusel and administers troopship is not true. sent12: that that something either quietens Gonorhynchus or is not benign or both is not wrong is false if it does not quieten Arizonan. sent13: if there exists something such that it is a Membracidae then the storybook is not benign. sent14: there is something such that it administers dibranchiate. sent15: the workwear is not a kind of a Membracidae if there exists something such that it quietens Gonorhynchus. sent16: the masking is not benignant. sent17: if the workwear is not benign then the storybook does quieten Gonorhynchus and is not an arsonist. sent18: the workwear is benign.
sent14 & sent11 -> int1: that the masking is not a kind of a streusel but it administers troopship does not hold.; int1 -> int2: there is something such that the fact that it is not a streusel and does administer troopship does not hold.; int2 & sent7 -> int3: the Arizonan is not difficult.; int3 & sent2 -> int4: the storybook is a kind of an arsonist that is not a Membracidae.; int4 & sent1 -> int5: the workwear does not quieten Arizonan.; sent12 -> int6: the fact that the workwear quietens Gonorhynchus or is non-benign or both is not correct if it does not quieten Arizonan.; int5 & int6 -> hypothesis;
$hypothesis$ = that either the workwear does quieten Gonorhynchus or it is not benign or both is not correct. ; $context$ = sent1: if the storybook is an arsonist but it is not a Membracidae then the workwear does not quieten Arizonan. sent2: the storybook is an arsonist but it is not a Membracidae if the Arizonan is non-difficult. sent3: the masking is difficult. sent4: the workwear is not a kind of a Membracidae. sent5: the Arizonan is not a kind of a Membracidae. sent6: there exists something such that the fact that it is both not a streusel and difficult does not hold. sent7: if there is something such that that it is not a streusel and does administer troopship is not right then the Arizonan is non-difficult. sent8: the Arizonan is not a kind of a tensed. sent9: the masking is not an airworthiness. sent10: the masking is not an arsonist. sent11: if there exists something such that it does administer dibranchiate then that the masking is not a kind of a streusel and administers troopship is not true. sent12: that that something either quietens Gonorhynchus or is not benign or both is not wrong is false if it does not quieten Arizonan. sent13: if there exists something such that it is a Membracidae then the storybook is not benign. sent14: there is something such that it administers dibranchiate. sent15: the workwear is not a kind of a Membracidae if there exists something such that it quietens Gonorhynchus. sent16: the masking is not benignant. sent17: if the workwear is not benign then the storybook does quieten Gonorhynchus and is not an arsonist. sent18: the workwear is benign. ; $proof$ = 
sent14 & sent11 -> int1: that the masking is not a kind of a streusel but it administers troopship does not hold.; int1 -> int2: there is something such that the fact that it is not a streusel and does administer troopship does not hold.; int2 & sent7 -> int3: the Arizonan is not difficult.; int3 & sent2 -> int4: the storybook is a kind of an arsonist that is not a Membracidae.; int4 & sent1 -> int5: the workwear does not quieten Arizonan.; sent12 -> int6: the fact that the workwear quietens Gonorhynchus or is non-benign or both is not correct if it does not quieten Arizonan.; int5 & int6 -> hypothesis; __PROVED__