the scribe rewrites noose and does not rewrite soapbox if the eiderdown dislikes.
sent1: the scribe rewrites noose and it does rewrite soapbox. sent2: the gastrin sophisticates Johnston if the fact that the eiderdown dislikes and/or does not sophisticates Johnston is not true. sent3: if the costermonger does not rewrite noose then the fact that the scribe does rewrite soapbox and does not drape stork is not false. sent4: the scribe rewrites soapbox but it does not color. sent5: the scribe does drape antistrophe and does not drape stork. sent6: if that something rewrites imprudence and it does sophisticate walloper does not hold it does not rewrites imprudence. sent7: the scribe does rewrite noose and it does rewrite soapbox if the eiderdown dislikes. sent8: the costermonger does not rewrite noose but it does drape Katsuwonidae if the stork is a copperhead. sent9: if something does not rewrite imprudence then it is a kind of a copperhead and is an accomplice. sent10: if the fact that the eiderdown does not dislike is false the scribe does rewrite noose. sent11: the stork is not aphanitic. sent12: the implant does rewrite noose. sent13: the eiderdown does not sophisticate Johnston. sent14: that the stork rewrites imprudence and does sophisticate walloper is wrong if it is non-aphanitic. sent15: if something does not sophisticate Johnston and is a disliked then it does not drape stork. sent16: the scribe rewrites noose. sent17: the scribe gates but it does not sophisticate Johnston. sent18: the piperocaine does not rewrite noose but it drapes fertility. sent19: if the eiderdown does not drape stork then the scribe rewrites noose and it does rewrite soapbox. sent20: if the eiderdown does not drape stork then the scribe rewrites noose. sent21: The Johnston does not sophisticate eiderdown.
void -> assump1: Let's assume that the eiderdown is a disliked.; sent13 & assump1 -> int1: the eiderdown does not sophisticate Johnston and is a kind of a disliked.; sent15 -> int2: if the eiderdown does not sophisticate Johnston but it is a kind of a disliked it does not drape stork.; int1 & int2 -> int3: the fact that the eiderdown does not drape stork hold.;
the gastrin does sophisticate Johnston.
sent9 -> int4: the stork is a copperhead and it is an accomplice if it does not rewrite imprudence.; sent6 -> int5: if that the stork rewrites imprudence and sophisticates walloper does not hold it does not rewrites imprudence.; sent14 & sent11 -> int6: the fact that the stork rewrites imprudence and it sophisticates walloper is wrong.; int5 & int6 -> int7: that the stork does not rewrite imprudence is not incorrect.; int4 & int7 -> int8: the stork is a copperhead and it is an accomplice.; int8 -> int9: the stork is a copperhead.; sent8 & int9 -> int10: the costermonger does not rewrite noose but it does drape Katsuwonidae.; int10 -> int11: the costermonger does not rewrite noose.; sent3 & int11 -> int12: the scribe does rewrite soapbox and does not drape stork.; int12 -> int13: the scribe does not drape stork.;
$hypothesis$ = the scribe rewrites noose and does not rewrite soapbox if the eiderdown dislikes. ; $context$ = sent1: the scribe rewrites noose and it does rewrite soapbox. sent2: the gastrin sophisticates Johnston if the fact that the eiderdown dislikes and/or does not sophisticates Johnston is not true. sent3: if the costermonger does not rewrite noose then the fact that the scribe does rewrite soapbox and does not drape stork is not false. sent4: the scribe rewrites soapbox but it does not color. sent5: the scribe does drape antistrophe and does not drape stork. sent6: if that something rewrites imprudence and it does sophisticate walloper does not hold it does not rewrites imprudence. sent7: the scribe does rewrite noose and it does rewrite soapbox if the eiderdown dislikes. sent8: the costermonger does not rewrite noose but it does drape Katsuwonidae if the stork is a copperhead. sent9: if something does not rewrite imprudence then it is a kind of a copperhead and is an accomplice. sent10: if the fact that the eiderdown does not dislike is false the scribe does rewrite noose. sent11: the stork is not aphanitic. sent12: the implant does rewrite noose. sent13: the eiderdown does not sophisticate Johnston. sent14: that the stork rewrites imprudence and does sophisticate walloper is wrong if it is non-aphanitic. sent15: if something does not sophisticate Johnston and is a disliked then it does not drape stork. sent16: the scribe rewrites noose. sent17: the scribe gates but it does not sophisticate Johnston. sent18: the piperocaine does not rewrite noose but it drapes fertility. sent19: if the eiderdown does not drape stork then the scribe rewrites noose and it does rewrite soapbox. sent20: if the eiderdown does not drape stork then the scribe rewrites noose. sent21: The Johnston does not sophisticate eiderdown. ; $proof$ = 
void -> assump1: Let's assume that the eiderdown is a disliked.; sent13 & assump1 -> int1: the eiderdown does not sophisticate Johnston and is a kind of a disliked.; sent15 -> int2: if the eiderdown does not sophisticate Johnston but it is a kind of a disliked it does not drape stork.; int1 & int2 -> int3: the fact that the eiderdown does not drape stork hold.; __UNKNOWN__