the handloom is apteral.
sent1: if that something is not a Marxist and it does not deny backlash is not right it does deny backlash. sent2: the fact that something is a Marxist is true. sent3: something does not deny backlash if it is not portable. sent4: if the zither denies backlash the handloom is apteral. sent5: the rhodium is Marxist. sent6: there exists something such that it is non-apteral. sent7: if that something does not tint Watt is not wrong either it is not a portable or it is cortical or both. sent8: something is not apteral if the fact that it is Marxist or does modernize or both is false. sent9: something does not modernize. sent10: there exists something such that it does gesticulate detail. sent11: the zither does deny backlash if there exists something such that it is a Marxist and it does not modernize. sent12: the sorehead does stay. sent13: something does preponderate if it is a stay. sent14: that the rhodium does not modernize is correct. sent15: if there is something such that it does preponderate the zither beckons Sauromalus and/or it is a teredo. sent16: the rhodium does not tint Watt if the zither is a teredo. sent17: the fact that something is a Marxist or it does modernize or both is wrong if it does not deny backlash. sent18: the rhodium does not tint Watt if the zither does beckon Sauromalus. sent19: there is something such that it is a kind of a Marxist and it modernizes.
sent5 & sent14 -> int1: the rhodium is Marxist but it does not modernize.; int1 -> int2: there exists something such that it is Marxist and does not modernize.; int2 & sent11 -> int3: the zither does deny backlash.; sent4 & int3 -> hypothesis;
the rhodium denies backlash.
sent1 -> int4: the rhodium denies backlash if the fact that it is not a Marxist and does not denies backlash is not true.;
$hypothesis$ = the handloom is apteral. ; $context$ = sent1: if that something is not a Marxist and it does not deny backlash is not right it does deny backlash. sent2: the fact that something is a Marxist is true. sent3: something does not deny backlash if it is not portable. sent4: if the zither denies backlash the handloom is apteral. sent5: the rhodium is Marxist. sent6: there exists something such that it is non-apteral. sent7: if that something does not tint Watt is not wrong either it is not a portable or it is cortical or both. sent8: something is not apteral if the fact that it is Marxist or does modernize or both is false. sent9: something does not modernize. sent10: there exists something such that it does gesticulate detail. sent11: the zither does deny backlash if there exists something such that it is a Marxist and it does not modernize. sent12: the sorehead does stay. sent13: something does preponderate if it is a stay. sent14: that the rhodium does not modernize is correct. sent15: if there is something such that it does preponderate the zither beckons Sauromalus and/or it is a teredo. sent16: the rhodium does not tint Watt if the zither is a teredo. sent17: the fact that something is a Marxist or it does modernize or both is wrong if it does not deny backlash. sent18: the rhodium does not tint Watt if the zither does beckon Sauromalus. sent19: there is something such that it is a kind of a Marxist and it modernizes. ; $proof$ = 
sent5 & sent14 -> int1: the rhodium is Marxist but it does not modernize.; int1 -> int2: there exists something such that it is Marxist and does not modernize.; int2 & sent11 -> int3: the zither does deny backlash.; sent4 & int3 -> hypothesis; __PROVED__