the cordage is a coracle.
sent1: if the babysitter is not a Nepa the cordage is a coracle. sent2: the babysitter does reclaim. sent3: the midbrain does reclaim and is German. sent4: the warhorse reclaims. sent5: the warhorse is not a Nepa. sent6: if the warhorse is not a kind of a coracle then the cordage does reclaim. sent7: the babysitter is an adventurer. sent8: the warhorse is a kind of an adventurer. sent9: if the warhorse is an adventurer and reclaims then the babysitter is not a Nepa. sent10: the babysitter is not a kind of an adventurer if the fact that the warhorse is a Nepa and it is a coracle is true.
sent8 & sent4 -> int1: that the warhorse is an adventurer and it reclaims is not false.; sent9 & int1 -> int2: the babysitter is not a Nepa.; sent1 & int2 -> hypothesis;
$hypothesis$ = the cordage is a coracle. ; $context$ = sent1: if the babysitter is not a Nepa the cordage is a coracle. sent2: the babysitter does reclaim. sent3: the midbrain does reclaim and is German. sent4: the warhorse reclaims. sent5: the warhorse is not a Nepa. sent6: if the warhorse is not a kind of a coracle then the cordage does reclaim. sent7: the babysitter is an adventurer. sent8: the warhorse is a kind of an adventurer. sent9: if the warhorse is an adventurer and reclaims then the babysitter is not a Nepa. sent10: the babysitter is not a kind of an adventurer if the fact that the warhorse is a Nepa and it is a coracle is true. ; $proof$ = 
sent8 & sent4 -> int1: that the warhorse is an adventurer and it reclaims is not false.; sent9 & int1 -> int2: the babysitter is not a Nepa.; sent1 & int2 -> hypothesis; __PROVED__