the esquire is a Argive.
sent1: the brad is not translational. sent2: the fact that something is a kind of a clinker that is a sourness is not false if it is not a kind of a public. sent3: if the fact that something is not a sourness but public is not wrong it is a Farrell. sent4: if there is something such that it is a sourness that the supercomputer is not a Nacimiento and it does not cast ligne is not true. sent5: if the swallowwort is a kind of a Farrell then the mulligatawny is not smoky and it is not a Farrell. sent6: the fact that something is a kind of a hangover and it loots intercourse is not correct if it is not translational. sent7: if the mulligatawny is a hangover then it is not non-apothecial. sent8: if the mulligatawny is apothecial the fact that it is not smoky and is not a Farrell does not hold. sent9: if the brad is not a hangover then it is apothecial and is a kind of a Farrell. sent10: the esquire is not Argive if the garboard is not a clinker but it is a sourness. sent11: if the swallowwort is not a kind of a public the garboard is not a clinker and is a kind of a sourness. sent12: the swallowwort is not a sourness but it is public if it is not a clinker. sent13: the swallowwort is not a clinker if the garboard is both not a Italian and datable. sent14: the mulligatawny is a hangover and is translational. sent15: if that something is a kind of a hangover and it does loot intercourse is not correct it is not a hangover. sent16: if something is a Farrell then the fact that the mulligatawny is smoky a public is wrong. sent17: if there exists something such that that it is not Italian and is datable does not hold then the esquire is a kind of a Argive.
void -> assump1: Let's assume that the garboard is both not a Italian and datable.; sent13 & assump1 -> int1: the swallowwort is not a kind of a clinker.; int1 & sent12 -> int2: the swallowwort is not a kind of a sourness but it is public.; sent3 -> int3: that the swallowwort is a kind of the Farrell if the swallowwort is not a sourness but it is not non-public hold.; int2 & int3 -> int4: the swallowwort is a kind of a Farrell.; int4 & sent5 -> int5: the mulligatawny is both not smoky and not a Farrell.; sent14 -> int6: the mulligatawny is a hangover.; sent7 & int6 -> int7: the mulligatawny is apothecial.; sent8 & int7 -> int8: that the mulligatawny is a kind of non-smoky thing that is not a Farrell is wrong.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: that the garboard is non-Italian thing that is datable is false.; int10 -> int11: there exists something such that the fact that it is not Italian and it is datable does not hold.; int11 & sent17 -> hypothesis;
the fact that the supercomputer is not a Nacimiento and it does not cast ligne does not hold.
sent2 -> int12: the swallowwort is a kind of a clinker and it is a sourness if it is not a kind of a public.;
$hypothesis$ = the esquire is a Argive. ; $context$ = sent1: the brad is not translational. sent2: the fact that something is a kind of a clinker that is a sourness is not false if it is not a kind of a public. sent3: if the fact that something is not a sourness but public is not wrong it is a Farrell. sent4: if there is something such that it is a sourness that the supercomputer is not a Nacimiento and it does not cast ligne is not true. sent5: if the swallowwort is a kind of a Farrell then the mulligatawny is not smoky and it is not a Farrell. sent6: the fact that something is a kind of a hangover and it loots intercourse is not correct if it is not translational. sent7: if the mulligatawny is a hangover then it is not non-apothecial. sent8: if the mulligatawny is apothecial the fact that it is not smoky and is not a Farrell does not hold. sent9: if the brad is not a hangover then it is apothecial and is a kind of a Farrell. sent10: the esquire is not Argive if the garboard is not a clinker but it is a sourness. sent11: if the swallowwort is not a kind of a public the garboard is not a clinker and is a kind of a sourness. sent12: the swallowwort is not a sourness but it is public if it is not a clinker. sent13: the swallowwort is not a clinker if the garboard is both not a Italian and datable. sent14: the mulligatawny is a hangover and is translational. sent15: if that something is a kind of a hangover and it does loot intercourse is not correct it is not a hangover. sent16: if something is a Farrell then the fact that the mulligatawny is smoky a public is wrong. sent17: if there exists something such that that it is not Italian and is datable does not hold then the esquire is a kind of a Argive. ; $proof$ = 
void -> assump1: Let's assume that the garboard is both not a Italian and datable.; sent13 & assump1 -> int1: the swallowwort is not a kind of a clinker.; int1 & sent12 -> int2: the swallowwort is not a kind of a sourness but it is public.; sent3 -> int3: that the swallowwort is a kind of the Farrell if the swallowwort is not a sourness but it is not non-public hold.; int2 & int3 -> int4: the swallowwort is a kind of a Farrell.; int4 & sent5 -> int5: the mulligatawny is both not smoky and not a Farrell.; sent14 -> int6: the mulligatawny is a hangover.; sent7 & int6 -> int7: the mulligatawny is apothecial.; sent8 & int7 -> int8: that the mulligatawny is a kind of non-smoky thing that is not a Farrell is wrong.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: that the garboard is non-Italian thing that is datable is false.; int10 -> int11: there exists something such that the fact that it is not Italian and it is datable does not hold.; int11 & sent17 -> hypothesis; __PROVED__