the mimic is a leveler.
sent1: the mimic is not a leveler if the stuffer is not a Puebla and is not immobile. sent2: the stuffer japans Steichen. sent3: that the stuffer is irremediable thing that does not contribute Rupert is not right if it does japan Steichen. sent4: the mimic is not a glottochronology if there is something such that that it is surgical and it is a kind of a glottochronology is incorrect. sent5: there exists nothing that is not aroid and is not a kind of a sinning. sent6: if there exists something such that the fact that it is not aroid and does not sin is not true then the mimic is a kind of a leveler. sent7: if that something is a kind of irremediable thing that does not contribute Rupert is not true it is not irremediable. sent8: if the stuffer is not irremediable then that the fact that it is surgical and is a kind of a glottochronology is not false does not hold. sent9: something that is immobile is a leveler.
sent5 -> int1: that the WMD is not aroid and does not sin is not correct.; int1 -> int2: there exists something such that the fact that it is non-aroid thing that does not sin is false.; int2 & sent6 -> hypothesis;
the mimic is not a kind of a leveler.
$hypothesis$ = the mimic is a leveler. ; $context$ = sent1: the mimic is not a leveler if the stuffer is not a Puebla and is not immobile. sent2: the stuffer japans Steichen. sent3: that the stuffer is irremediable thing that does not contribute Rupert is not right if it does japan Steichen. sent4: the mimic is not a glottochronology if there is something such that that it is surgical and it is a kind of a glottochronology is incorrect. sent5: there exists nothing that is not aroid and is not a kind of a sinning. sent6: if there exists something such that the fact that it is not aroid and does not sin is not true then the mimic is a kind of a leveler. sent7: if that something is a kind of irremediable thing that does not contribute Rupert is not true it is not irremediable. sent8: if the stuffer is not irremediable then that the fact that it is surgical and is a kind of a glottochronology is not false does not hold. sent9: something that is immobile is a leveler. ; $proof$ = 
sent5 -> int1: that the WMD is not aroid and does not sin is not correct.; int1 -> int2: there exists something such that the fact that it is non-aroid thing that does not sin is false.; int2 & sent6 -> hypothesis; __PROVED__