the Cornish is an outboard.
sent1: if the garrison is not a kind of a jazz but it does philander epicure then that the coyote does not philander epicure is correct. sent2: the garrison is not a kind of a jazz but it does philander epicure. sent3: something does not beg if it is mercurial. sent4: the Bench is a main that is a Ephesians if there exists something such that it does not philander epicure. sent5: that the Cornish is mercurial but it is not an outboard is not right. sent6: the Cornish does beg. sent7: the garrison is not non-Ephesians. sent8: if the Cornish is mercurial it does not beg. sent9: if that something is non-mercurial and non-outboard is false then it does not beg. sent10: the coyote is a Ephesians if the garrison is a kind of a Ephesians. sent11: the Cornish is not a adelgid. sent12: the Cornish is not mercurial.
sent9 -> int1: the Cornish does not beg if that that it is non-mercurial but not outboard is not incorrect is false.; void -> assump1: Let's assume that that the Cornish is not mercurial and it is not outboard is not right.; int1 & assump1 -> int2: the Cornish does not beg.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Cornish is a kind of non-mercurial thing that is not an outboard.; int4 -> hypothesis;
the Cornish is outboard.
sent1 & sent2 -> int5: the coyote does not philander epicure.; int5 -> int6: something does not philander epicure.; int6 & sent4 -> int7: the Bench is a kind of a main and is Ephesians.; int7 -> int8: the Bench is a kind of a main.; int8 -> int9: there is something such that it is a main.;
$hypothesis$ = the Cornish is an outboard. ; $context$ = sent1: if the garrison is not a kind of a jazz but it does philander epicure then that the coyote does not philander epicure is correct. sent2: the garrison is not a kind of a jazz but it does philander epicure. sent3: something does not beg if it is mercurial. sent4: the Bench is a main that is a Ephesians if there exists something such that it does not philander epicure. sent5: that the Cornish is mercurial but it is not an outboard is not right. sent6: the Cornish does beg. sent7: the garrison is not non-Ephesians. sent8: if the Cornish is mercurial it does not beg. sent9: if that something is non-mercurial and non-outboard is false then it does not beg. sent10: the coyote is a Ephesians if the garrison is a kind of a Ephesians. sent11: the Cornish is not a adelgid. sent12: the Cornish is not mercurial. ; $proof$ = 
sent9 -> int1: the Cornish does not beg if that that it is non-mercurial but not outboard is not incorrect is false.; void -> assump1: Let's assume that that the Cornish is not mercurial and it is not outboard is not right.; int1 & assump1 -> int2: the Cornish does not beg.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Cornish is a kind of non-mercurial thing that is not an outboard.; int4 -> hypothesis; __DISPROVED__