there exists something such that it is a kind of legless thing that does blacklist arsonist.
sent1: something is a kind of an insurer. sent2: if the polemonium does not regale the fact that the dogcart is a razor and is a kind of a recission is not correct. sent3: something is not competent. sent4: the fact that the butcher is not legless is not correct if there exists something such that it is cytoarchitectural and it is an insurer. sent5: the chincherinchee is an insurer. sent6: the butcher does regale. sent7: if something that does regale does not razor then it is not a recission. sent8: something blacklists arsonist if that it is not a recission is not wrong. sent9: the chincherinchee is cytoarchitectural. sent10: that the 1-dodecanol is not the neutering if that the 1-dodecanol is neutering and competent is false is not incorrect. sent11: there exists something such that it is legless. sent12: if the fact that the chincherinchee is not legless and is an insurer is not correct the cheval-de-frise is not cytoarchitectural. sent13: the butcher is not a razor. sent14: there exists something such that it is cytoarchitectural. sent15: the fact that something does FTP and it is a kind of a Corticium is not true if it is not neutering. sent16: if the butcher does not blacklist arsonist then that the chincherinchee is not legless but it is an insurer is not correct.
sent9 & sent5 -> int1: the chincherinchee is both cytoarchitectural and an insurer.; int1 -> int2: there is something such that it is cytoarchitectural and it is an insurer.; int2 & sent4 -> int3: the butcher is legless.; sent8 -> int4: the butcher blacklists arsonist if it is not a kind of a recission.; sent7 -> int5: if the butcher regales but it is not a kind of a razor it is not a recission.; sent6 & sent13 -> int6: the butcher does regale and is not a kind of a razor.; int5 & int6 -> int7: the butcher is not a recission.; int4 & int7 -> int8: the butcher blacklists arsonist.; int3 & int8 -> int9: the butcher is legless and blacklists arsonist.; int9 -> hypothesis;
the cheval-de-frise is not cytoarchitectural.
sent15 -> int10: if the 1-dodecanol is not a neutering then that it is both a FTP and a Corticium is incorrect.;
$hypothesis$ = there exists something such that it is a kind of legless thing that does blacklist arsonist. ; $context$ = sent1: something is a kind of an insurer. sent2: if the polemonium does not regale the fact that the dogcart is a razor and is a kind of a recission is not correct. sent3: something is not competent. sent4: the fact that the butcher is not legless is not correct if there exists something such that it is cytoarchitectural and it is an insurer. sent5: the chincherinchee is an insurer. sent6: the butcher does regale. sent7: if something that does regale does not razor then it is not a recission. sent8: something blacklists arsonist if that it is not a recission is not wrong. sent9: the chincherinchee is cytoarchitectural. sent10: that the 1-dodecanol is not the neutering if that the 1-dodecanol is neutering and competent is false is not incorrect. sent11: there exists something such that it is legless. sent12: if the fact that the chincherinchee is not legless and is an insurer is not correct the cheval-de-frise is not cytoarchitectural. sent13: the butcher is not a razor. sent14: there exists something such that it is cytoarchitectural. sent15: the fact that something does FTP and it is a kind of a Corticium is not true if it is not neutering. sent16: if the butcher does not blacklist arsonist then that the chincherinchee is not legless but it is an insurer is not correct. ; $proof$ = 
sent9 & sent5 -> int1: the chincherinchee is both cytoarchitectural and an insurer.; int1 -> int2: there is something such that it is cytoarchitectural and it is an insurer.; int2 & sent4 -> int3: the butcher is legless.; sent8 -> int4: the butcher blacklists arsonist if it is not a kind of a recission.; sent7 -> int5: if the butcher regales but it is not a kind of a razor it is not a recission.; sent6 & sent13 -> int6: the butcher does regale and is not a kind of a razor.; int5 & int6 -> int7: the butcher is not a recission.; int4 & int7 -> int8: the butcher blacklists arsonist.; int3 & int8 -> int9: the butcher is legless and blacklists arsonist.; int9 -> hypothesis; __PROVED__