something is a kind of a crucifix that does enthrone.
sent1: if the safranine is arsenious then the fact that the blubber reprises sloe and is not a pantheism is not true. sent2: that the wingman cloys but it is not arsenious is not true if the safranine is scarce. sent3: the safranine is a kind of a gentlefolk and it does reprise sloe. sent4: the wingman is arsenious. sent5: if the blubber is imperishable then the fact that it is not scarce and/or it does not reprise Vandyke is incorrect. sent6: if that something does reprise sloe but it is not a pantheism is not true it is a kind of a crucifix. sent7: the blubber does reprise Vandyke. sent8: there is something such that that it does not reprise Vandyke and/or does not cloy is wrong. sent9: the wingman does not cloy. sent10: the blubber does reprise follow-on. sent11: the fact that if there is something such that the fact that it is not scarce and/or it does not reprise Vandyke is wrong the wingman does cloy hold. sent12: the blubber does disown slander and is imperishable if it does not enthrone. sent13: something cloys if it enthrones. sent14: if that something does not reprise sloe is not incorrect then it is a kind of a crucifix. sent15: if that something is a cholesterol and is not a Zabrze is not right it is a kind of a crucifix. sent16: there is something such that the fact that it is not scarce and/or does reprise Vandyke is wrong.
void -> assump1: Let's assume that the blubber does not enthrone.; sent12 & assump1 -> int1: the blubber disowns slander and it is imperishable.; int1 -> int2: the blubber is imperishable.; int2 & sent5 -> int3: that the blubber is not scarce and/or does not reprise Vandyke is not right.; int3 -> int4: there exists something such that that it is not scarce and/or it does not reprise Vandyke is not true.; int4 & sent11 -> int5: the wingman does cloy.; int5 & sent9 -> int6: this is contradiction.; [assump1] & int6 -> int7: the blubber does enthrone.; sent6 -> int8: the blubber is a kind of a crucifix if that it does reprise sloe and is not a pantheism is not right.;
the safranine is a crucifix if that it is a cholesterol and it is not a kind of a Zabrze is incorrect.
sent15 -> hypothesis;
$hypothesis$ = something is a kind of a crucifix that does enthrone. ; $context$ = sent1: if the safranine is arsenious then the fact that the blubber reprises sloe and is not a pantheism is not true. sent2: that the wingman cloys but it is not arsenious is not true if the safranine is scarce. sent3: the safranine is a kind of a gentlefolk and it does reprise sloe. sent4: the wingman is arsenious. sent5: if the blubber is imperishable then the fact that it is not scarce and/or it does not reprise Vandyke is incorrect. sent6: if that something does reprise sloe but it is not a pantheism is not true it is a kind of a crucifix. sent7: the blubber does reprise Vandyke. sent8: there is something such that that it does not reprise Vandyke and/or does not cloy is wrong. sent9: the wingman does not cloy. sent10: the blubber does reprise follow-on. sent11: the fact that if there is something such that the fact that it is not scarce and/or it does not reprise Vandyke is wrong the wingman does cloy hold. sent12: the blubber does disown slander and is imperishable if it does not enthrone. sent13: something cloys if it enthrones. sent14: if that something does not reprise sloe is not incorrect then it is a kind of a crucifix. sent15: if that something is a cholesterol and is not a Zabrze is not right it is a kind of a crucifix. sent16: there is something such that the fact that it is not scarce and/or does reprise Vandyke is wrong. ; $proof$ = 
void -> assump1: Let's assume that the blubber does not enthrone.; sent12 & assump1 -> int1: the blubber disowns slander and it is imperishable.; int1 -> int2: the blubber is imperishable.; int2 & sent5 -> int3: that the blubber is not scarce and/or does not reprise Vandyke is not right.; int3 -> int4: there exists something such that that it is not scarce and/or it does not reprise Vandyke is not true.; int4 & sent11 -> int5: the wingman does cloy.; int5 & sent9 -> int6: this is contradiction.; [assump1] & int6 -> int7: the blubber does enthrone.; sent6 -> int8: the blubber is a kind of a crucifix if that it does reprise sloe and is not a pantheism is not right.; __UNKNOWN__