the catch is not geriatric.
sent1: if the ventricle is a kind of a inkpot that the catch is not geriatric and it is not a inkpot is true. sent2: there exists nothing such that it is non-hydraulic thing that is a kind of a loving. sent3: something is a inkpot if either it tautens valency or it is not a kind of a sandbank or both. sent4: if the fact that something is not hydraulic and does love is not true then it is not non-ataxic. sent5: if the towpath is ataxic the ventricle is a clash. sent6: something tautens valency and/or it is not a sandbank if it is a clash.
sent2 -> int1: that the towpath is a kind of non-hydraulic thing that is a kind of a loving is false.; sent4 -> int2: if that the towpath is non-hydraulic thing that is a loving is not correct then it is ataxic.; int1 & int2 -> int3: the towpath is ataxic.; int3 & sent5 -> int4: the ventricle is a kind of a clash.; sent6 -> int5: the ventricle does tauten valency and/or is not a sandbank if it clashes.; int4 & int5 -> int6: the ventricle does tauten valency and/or it is not a kind of a sandbank.; sent3 -> int7: the ventricle is a inkpot if it tautens valency or is not a sandbank or both.; int6 & int7 -> int8: that the ventricle is a kind of a inkpot is true.; int8 & sent1 -> int9: the catch is not geriatric and it is not a inkpot.; int9 -> hypothesis;
$hypothesis$ = the catch is not geriatric. ; $context$ = sent1: if the ventricle is a kind of a inkpot that the catch is not geriatric and it is not a inkpot is true. sent2: there exists nothing such that it is non-hydraulic thing that is a kind of a loving. sent3: something is a inkpot if either it tautens valency or it is not a kind of a sandbank or both. sent4: if the fact that something is not hydraulic and does love is not true then it is not non-ataxic. sent5: if the towpath is ataxic the ventricle is a clash. sent6: something tautens valency and/or it is not a sandbank if it is a clash. ; $proof$ = 
sent2 -> int1: that the towpath is a kind of non-hydraulic thing that is a kind of a loving is false.; sent4 -> int2: if that the towpath is non-hydraulic thing that is a loving is not correct then it is ataxic.; int1 & int2 -> int3: the towpath is ataxic.; int3 & sent5 -> int4: the ventricle is a kind of a clash.; sent6 -> int5: the ventricle does tauten valency and/or is not a sandbank if it clashes.; int4 & int5 -> int6: the ventricle does tauten valency and/or it is not a kind of a sandbank.; sent3 -> int7: the ventricle is a inkpot if it tautens valency or is not a sandbank or both.; int6 & int7 -> int8: that the ventricle is a kind of a inkpot is true.; int8 & sent1 -> int9: the catch is not geriatric and it is not a inkpot.; int9 -> hypothesis; __PROVED__