that the legs is a kind of a storybook is true.
sent1: the airstream is a selflessness if there exists something such that the fact that it is not an integrator and does kennel Reptilia is false. sent2: the Augustinian does not kennel homestretch. sent3: if the airstream is a selflessness and squires SACLANT the homestretch is not hydrodynamic. sent4: the homestretch is a kind of non-hydrodynamic thing that does squire SACLANT if the Nepalese is not non-hydrodynamic. sent5: the Wheeler kennels maxim and is not a leflunomide. sent6: the airstream squires SACLANT if the fact that the wordfinder does squires SACLANT and is not a scruple does not hold. sent7: if a non-hydrodynamic thing squires SACLANT the legs is a kind of a storybook. sent8: if the fact that the Nepalese is not maladroit is not false then it is not hydrodynamic. sent9: that the Wheeler is not an integrator and does kennel Reptilia is not correct if it kennels maxim. sent10: there is something such that that it is hydrodynamic and it does squire SACLANT is correct. sent11: that the fact that the Nepalese is not maladroit but it is a storybook is not correct is not false if there is something such that it is non-hydrodynamic. sent12: if there exists something such that it is photographic then that the wordfinder squires SACLANT and is not a scruple is false. sent13: the Nepalese is not maladroit. sent14: the Augustinian is photographic and it is extinct if it does not kennel homestretch.
sent8 & sent13 -> int1: the Nepalese is not hydrodynamic.; sent4 & int1 -> int2: the homestretch is non-hydrodynamic thing that does squire SACLANT.; int2 -> int3: something is not hydrodynamic but it does squire SACLANT.; int3 & sent7 -> hypothesis;
the legs is not a storybook.
sent5 -> int4: the Wheeler does kennel maxim.; sent9 & int4 -> int5: that the Wheeler is not an integrator and does kennel Reptilia is incorrect.; int5 -> int6: there is something such that that it is not an integrator and it does kennel Reptilia is not true.; int6 & sent1 -> int7: the airstream is a kind of a selflessness.; sent14 & sent2 -> int8: the Augustinian is photographic and extinct.; int8 -> int9: the Augustinian is photographic.; int9 -> int10: something is photographic.; int10 & sent12 -> int11: the fact that the fact that the wordfinder does squire SACLANT but it is not a scruple is true does not hold.; sent6 & int11 -> int12: the airstream squires SACLANT.; int7 & int12 -> int13: the airstream is a selflessness that squires SACLANT.; sent3 & int13 -> int14: the homestretch is not hydrodynamic.; int14 -> int15: there are non-hydrodynamic things.; int15 & sent11 -> int16: the fact that the Nepalese is not maladroit but it is a storybook is wrong.; int16 -> int17: there exists something such that the fact that it is non-maladroit and it is a storybook is not right.;
$hypothesis$ = that the legs is a kind of a storybook is true. ; $context$ = sent1: the airstream is a selflessness if there exists something such that the fact that it is not an integrator and does kennel Reptilia is false. sent2: the Augustinian does not kennel homestretch. sent3: if the airstream is a selflessness and squires SACLANT the homestretch is not hydrodynamic. sent4: the homestretch is a kind of non-hydrodynamic thing that does squire SACLANT if the Nepalese is not non-hydrodynamic. sent5: the Wheeler kennels maxim and is not a leflunomide. sent6: the airstream squires SACLANT if the fact that the wordfinder does squires SACLANT and is not a scruple does not hold. sent7: if a non-hydrodynamic thing squires SACLANT the legs is a kind of a storybook. sent8: if the fact that the Nepalese is not maladroit is not false then it is not hydrodynamic. sent9: that the Wheeler is not an integrator and does kennel Reptilia is not correct if it kennels maxim. sent10: there is something such that that it is hydrodynamic and it does squire SACLANT is correct. sent11: that the fact that the Nepalese is not maladroit but it is a storybook is not correct is not false if there is something such that it is non-hydrodynamic. sent12: if there exists something such that it is photographic then that the wordfinder squires SACLANT and is not a scruple is false. sent13: the Nepalese is not maladroit. sent14: the Augustinian is photographic and it is extinct if it does not kennel homestretch. ; $proof$ = 
sent8 & sent13 -> int1: the Nepalese is not hydrodynamic.; sent4 & int1 -> int2: the homestretch is non-hydrodynamic thing that does squire SACLANT.; int2 -> int3: something is not hydrodynamic but it does squire SACLANT.; int3 & sent7 -> hypothesis; __PROVED__