the gantlet is absorbable.
sent1: the gantlet is absorbable and is a meandering. sent2: the fact that the tensor is alkaline and does not blunt recollection is not right. sent3: that the easterner is a meandering is not incorrect. sent4: the bombsight is not politics if that the tensor is a kind of politics a lament is incorrect. sent5: something resettles if the fact that it does not blunt recollection is not true. sent6: if the fact that the tensor is alkaline and does not blunt recollection is false the fact that it blunt recollection is right. sent7: if something resettles then the fact that it is not politics and it is a lament is not correct. sent8: the bombsight is a Nicandra and it is a Seton if it is not politics.
sent1 -> hypothesis;
the gantlet is not absorbable.
sent7 -> int1: if the tensor does resettle the fact that it is not politics and it is a lament is not correct.; sent5 -> int2: the tensor resettles if it blunts recollection.; sent6 & sent2 -> int3: the tensor does blunt recollection.; int2 & int3 -> int4: the tensor resettles.; int1 & int4 -> int5: the fact that the tensor is not politics but it laments does not hold.; sent4 & int5 -> int6: the bombsight is not politics.; sent8 & int6 -> int7: the bombsight is a Nicandra and it is a Seton.; int7 -> int8: there is something such that it is a kind of a Nicandra and is a kind of a Seton.;
$hypothesis$ = the gantlet is absorbable. ; $context$ = sent1: the gantlet is absorbable and is a meandering. sent2: the fact that the tensor is alkaline and does not blunt recollection is not right. sent3: that the easterner is a meandering is not incorrect. sent4: the bombsight is not politics if that the tensor is a kind of politics a lament is incorrect. sent5: something resettles if the fact that it does not blunt recollection is not true. sent6: if the fact that the tensor is alkaline and does not blunt recollection is false the fact that it blunt recollection is right. sent7: if something resettles then the fact that it is not politics and it is a lament is not correct. sent8: the bombsight is a Nicandra and it is a Seton if it is not politics. ; $proof$ = 
sent1 -> hypothesis; __PROVED__