the fact that the longhorn is not a Norwegian and it is not a eukaryote if the cookhouse is not a kind of a redraft is incorrect.
sent1: the fact that the chair is not a kind of a Norwegian is not incorrect. sent2: there is something such that it does not sophisticate corer and it is autotrophic. sent3: if something is not inaudible and it is not nilpotent then the cookhouse does drape Dolichonyx. sent4: the cookhouse is both not a redraft and not inaudible. sent5: the fact that something does not drape Hero hold if that it is a Lorentz is correct. sent6: the chair does not sophisticate corer and does remount. sent7: the cookhouse is a Norwegian but it is not a redraft. sent8: there is something such that it is not nilpotent. sent9: if something is not non-local then it is not a Norwegian and it is not a eukaryote. sent10: if there exists something such that it is inaudible and it is not a Norwegian that the chair is a kind of a eukaryote is not false. sent11: if the longhorn is not nilpotent the cookhouse does not drape Dolichonyx and it is not local. sent12: something does sophisticate governor if it drapes Dolichonyx. sent13: if the chair is nilpotent it is not a kind of a eukaryote. sent14: that the chair is a eukaryote hold. sent15: something is audible thing that is nilpotent. sent16: something that is a Norwegian rewrites upturn. sent17: something is not Norwegian if it is a kind of a local. sent18: the longhorn is a kind of a local if the cookhouse does sophisticate governor and is not a redraft. sent19: the chair is a kind of audible thing that is not nilpotent. sent20: if something is a ADPS then it is arbitral.
sent19 -> int1: there exists something such that it is not inaudible and it is not nilpotent.; int1 & sent3 -> int2: the cookhouse drapes Dolichonyx.; sent12 -> int3: if the cookhouse does drape Dolichonyx it sophisticates governor.; int2 & int3 -> int4: the cookhouse sophisticates governor.; void -> assump1: Let's assume that the cookhouse is not a redraft.; int4 & assump1 -> int5: the cookhouse sophisticates governor and is not a kind of a redraft.; int5 & sent18 -> int6: the longhorn is a local.; sent9 -> int7: the longhorn is not a kind of a Norwegian and is not a eukaryote if that it is a local is not incorrect.; int6 & int7 -> int8: the longhorn is non-Norwegian and is not a eukaryote.; [assump1] & int8 -> hypothesis;
if the Hero is not non-Norwegian it does rewrite upturn.
sent16 -> hypothesis;
$hypothesis$ = the fact that the longhorn is not a Norwegian and it is not a eukaryote if the cookhouse is not a kind of a redraft is incorrect. ; $context$ = sent1: the fact that the chair is not a kind of a Norwegian is not incorrect. sent2: there is something such that it does not sophisticate corer and it is autotrophic. sent3: if something is not inaudible and it is not nilpotent then the cookhouse does drape Dolichonyx. sent4: the cookhouse is both not a redraft and not inaudible. sent5: the fact that something does not drape Hero hold if that it is a Lorentz is correct. sent6: the chair does not sophisticate corer and does remount. sent7: the cookhouse is a Norwegian but it is not a redraft. sent8: there is something such that it is not nilpotent. sent9: if something is not non-local then it is not a Norwegian and it is not a eukaryote. sent10: if there exists something such that it is inaudible and it is not a Norwegian that the chair is a kind of a eukaryote is not false. sent11: if the longhorn is not nilpotent the cookhouse does not drape Dolichonyx and it is not local. sent12: something does sophisticate governor if it drapes Dolichonyx. sent13: if the chair is nilpotent it is not a kind of a eukaryote. sent14: that the chair is a eukaryote hold. sent15: something is audible thing that is nilpotent. sent16: something that is a Norwegian rewrites upturn. sent17: something is not Norwegian if it is a kind of a local. sent18: the longhorn is a kind of a local if the cookhouse does sophisticate governor and is not a redraft. sent19: the chair is a kind of audible thing that is not nilpotent. sent20: if something is a ADPS then it is arbitral. ; $proof$ = 
sent19 -> int1: there exists something such that it is not inaudible and it is not nilpotent.; int1 & sent3 -> int2: the cookhouse drapes Dolichonyx.; sent12 -> int3: if the cookhouse does drape Dolichonyx it sophisticates governor.; int2 & int3 -> int4: the cookhouse sophisticates governor.; void -> assump1: Let's assume that the cookhouse is not a redraft.; int4 & assump1 -> int5: the cookhouse sophisticates governor and is not a kind of a redraft.; int5 & sent18 -> int6: the longhorn is a local.; sent9 -> int7: the longhorn is not a kind of a Norwegian and is not a eukaryote if that it is a local is not incorrect.; int6 & int7 -> int8: the longhorn is non-Norwegian and is not a eukaryote.; [assump1] & int8 -> hypothesis; __DISPROVED__