that the cefoperazone is not a Cortinarius but it is a kind of a modernist is not right.
sent1: if something is a communization then the everyman is not a hem or it is not annunciatory or both. sent2: something is not beakless if it is woody. sent3: if the defile is not beakless it is a kind of a Georgetown that is annunciatory. sent4: if something is a kind of a communization then the fact that it is not a margarin and scales rhizotomy does not hold. sent5: if something that is a kind of a Georgetown does not scale rhizotomy the everyman is not a communization. sent6: the defile is a Georgetown if the everyman is not a hem. sent7: something is a communization. sent8: the bootstrap is a modernist or it is woody or both. sent9: if the defile is not a communization but it is a hem the everyman is a communization. sent10: something is a Georgetown but it does not scale rhizotomy. sent11: the bootstrap does scale rhizotomy if the defile is a Georgetown. sent12: if there is something such that it does scale rhizotomy and is beakless then the cefoperazone is woody. sent13: the defile is a Georgetown if the everyman is not annunciatory. sent14: the bootstrap is beakless thing that is a kind of a prayerbook. sent15: the cefoperazone is not a kind of a Cortinarius if that the everyman is a Cortinarius and/or a hem is false. sent16: if the everyman is not a Cortinarius the cefoperazone does hem. sent17: if the fact that the cefoperazone is woody hold that it is not a kind of a Cortinarius and it is a modernist is wrong.
sent7 & sent1 -> int1: the everyman is not a kind of a hem or it is not annunciatory or both.; int1 & sent6 & sent13 -> int2: the defile is a Georgetown.; int2 & sent11 -> int3: the bootstrap does scale rhizotomy.; sent14 -> int4: the bootstrap is beakless.; int3 & int4 -> int5: the bootstrap does scale rhizotomy and it is beakless.; int5 -> int6: something scales rhizotomy and is beakless.; int6 & sent12 -> int7: the fact that the cefoperazone is woody hold.; int7 & sent17 -> hypothesis;
the cefoperazone is not a Cortinarius but it is a modernist.
sent10 & sent5 -> int8: the everyman is not a communization.;
$hypothesis$ = that the cefoperazone is not a Cortinarius but it is a kind of a modernist is not right. ; $context$ = sent1: if something is a communization then the everyman is not a hem or it is not annunciatory or both. sent2: something is not beakless if it is woody. sent3: if the defile is not beakless it is a kind of a Georgetown that is annunciatory. sent4: if something is a kind of a communization then the fact that it is not a margarin and scales rhizotomy does not hold. sent5: if something that is a kind of a Georgetown does not scale rhizotomy the everyman is not a communization. sent6: the defile is a Georgetown if the everyman is not a hem. sent7: something is a communization. sent8: the bootstrap is a modernist or it is woody or both. sent9: if the defile is not a communization but it is a hem the everyman is a communization. sent10: something is a Georgetown but it does not scale rhizotomy. sent11: the bootstrap does scale rhizotomy if the defile is a Georgetown. sent12: if there is something such that it does scale rhizotomy and is beakless then the cefoperazone is woody. sent13: the defile is a Georgetown if the everyman is not annunciatory. sent14: the bootstrap is beakless thing that is a kind of a prayerbook. sent15: the cefoperazone is not a kind of a Cortinarius if that the everyman is a Cortinarius and/or a hem is false. sent16: if the everyman is not a Cortinarius the cefoperazone does hem. sent17: if the fact that the cefoperazone is woody hold that it is not a kind of a Cortinarius and it is a modernist is wrong. ; $proof$ = 
sent7 & sent1 -> int1: the everyman is not a kind of a hem or it is not annunciatory or both.; int1 & sent6 & sent13 -> int2: the defile is a Georgetown.; int2 & sent11 -> int3: the bootstrap does scale rhizotomy.; sent14 -> int4: the bootstrap is beakless.; int3 & int4 -> int5: the bootstrap does scale rhizotomy and it is beakless.; int5 -> int6: something scales rhizotomy and is beakless.; int6 & sent12 -> int7: the fact that the cefoperazone is woody hold.; int7 & sent17 -> hypothesis; __PROVED__