the retrieval is a kind of a Hepworth.
sent1: if the fact that something is not a Neosho is not false then that it is a kind of non-subclavian thing that is a kind of a Perisoreus is not right. sent2: if there exists something such that that it is not a regeneration and it is unobvious is not right the eristic is not unobvious. sent3: the liquidambar is a Perisoreus if it is subclavian. sent4: that the fact that the eristic is a Neosho but not a Perisoreus is false is right if the liquidambar is a Perisoreus. sent5: there exists something such that that it does not accouter headline and it is a transition is incorrect. sent6: there exists something such that the fact that it is not a kind of a regeneration and it is unobvious is not true. sent7: if that something is not subclavian but it is weak is not true then it is not a Hepworth. sent8: if the liquidambar is not subclavian then that the retrieval is both not subclavian and not non-weak is not true. sent9: something is a Neosho but it is not a kind of a Perisoreus if it is not unobvious.
void -> assump1: Let's assume that the liquidambar is subclavian.; sent3 & assump1 -> int1: the liquidambar is a Perisoreus.; int1 & sent4 -> int2: the fact that the eristic is a kind of a Neosho but it is not a Perisoreus does not hold.; sent9 -> int3: if that the eristic is not unobvious is not false then it is a kind of a Neosho and is not a kind of a Perisoreus.; sent6 & sent2 -> int4: the eristic is not unobvious.; int3 & int4 -> int5: the eristic is a Neosho but it is not a Perisoreus.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the liquidambar is not subclavian.; int7 & sent8 -> int8: the fact that the retrieval is not subclavian and is weak is not correct.; sent7 -> int9: the retrieval is not a kind of a Hepworth if that it is not subclavian and it is weak does not hold.; int8 & int9 -> hypothesis;
the retrieval is a Hepworth.
sent1 -> int10: that the liquidambar is not subclavian but it is a Perisoreus is not correct if the fact that it is not a kind of a Neosho hold.;
$hypothesis$ = the retrieval is a kind of a Hepworth. ; $context$ = sent1: if the fact that something is not a Neosho is not false then that it is a kind of non-subclavian thing that is a kind of a Perisoreus is not right. sent2: if there exists something such that that it is not a regeneration and it is unobvious is not right the eristic is not unobvious. sent3: the liquidambar is a Perisoreus if it is subclavian. sent4: that the fact that the eristic is a Neosho but not a Perisoreus is false is right if the liquidambar is a Perisoreus. sent5: there exists something such that that it does not accouter headline and it is a transition is incorrect. sent6: there exists something such that the fact that it is not a kind of a regeneration and it is unobvious is not true. sent7: if that something is not subclavian but it is weak is not true then it is not a Hepworth. sent8: if the liquidambar is not subclavian then that the retrieval is both not subclavian and not non-weak is not true. sent9: something is a Neosho but it is not a kind of a Perisoreus if it is not unobvious. ; $proof$ = 
void -> assump1: Let's assume that the liquidambar is subclavian.; sent3 & assump1 -> int1: the liquidambar is a Perisoreus.; int1 & sent4 -> int2: the fact that the eristic is a kind of a Neosho but it is not a Perisoreus does not hold.; sent9 -> int3: if that the eristic is not unobvious is not false then it is a kind of a Neosho and is not a kind of a Perisoreus.; sent6 & sent2 -> int4: the eristic is not unobvious.; int3 & int4 -> int5: the eristic is a Neosho but it is not a Perisoreus.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the liquidambar is not subclavian.; int7 & sent8 -> int8: the fact that the retrieval is not subclavian and is weak is not correct.; sent7 -> int9: the retrieval is not a kind of a Hepworth if that it is not subclavian and it is weak does not hold.; int8 & int9 -> hypothesis; __DISPROVED__