something is not partitive.
sent1: that the shopaholic is not an obsidian but it is a craze is false if it is not hair-shirt. sent2: the shopaholic is not supernal. sent3: the shopaholic is not eager. sent4: if that something is not an imperialism but hair-shirt is incorrect then it is not partitive. sent5: the fact that there is something such that it is not supernal hold. sent6: the voter is not adjectival if there are partitive and non-supernal things. sent7: there is something such that it is a partitive. sent8: something does not typeset. sent9: something is a partitive but it is not supernal if it is a kind of a dura. sent10: if the shopaholic is not supernal then that it is not an imperialism and it is hair-shirt does not hold. sent11: if something is not hair-shirt then it is not a kind of a partitive. sent12: the virion is not an obsidian if it is not ceric. sent13: if the fact that the vessel does not mistake triumph is not wrong then that it is not diastolic but brisant is not right.
sent4 -> int1: the shopaholic is not a partitive if the fact that it is not an imperialism and it is hair-shirt is not true.; sent10 & sent2 -> int2: the fact that the shopaholic is not an imperialism and is hair-shirt is incorrect.; int1 & int2 -> int3: the shopaholic is not a partitive.; int3 -> hypothesis;
something is not adjectival.
sent9 -> int4: if the xenon is a dura then it is a partitive and it is not supernal.;
$hypothesis$ = something is not partitive. ; $context$ = sent1: that the shopaholic is not an obsidian but it is a craze is false if it is not hair-shirt. sent2: the shopaholic is not supernal. sent3: the shopaholic is not eager. sent4: if that something is not an imperialism but hair-shirt is incorrect then it is not partitive. sent5: the fact that there is something such that it is not supernal hold. sent6: the voter is not adjectival if there are partitive and non-supernal things. sent7: there is something such that it is a partitive. sent8: something does not typeset. sent9: something is a partitive but it is not supernal if it is a kind of a dura. sent10: if the shopaholic is not supernal then that it is not an imperialism and it is hair-shirt does not hold. sent11: if something is not hair-shirt then it is not a kind of a partitive. sent12: the virion is not an obsidian if it is not ceric. sent13: if the fact that the vessel does not mistake triumph is not wrong then that it is not diastolic but brisant is not right. ; $proof$ = 
sent4 -> int1: the shopaholic is not a partitive if the fact that it is not an imperialism and it is hair-shirt is not true.; sent10 & sent2 -> int2: the fact that the shopaholic is not an imperialism and is hair-shirt is incorrect.; int1 & int2 -> int3: the shopaholic is not a partitive.; int3 -> hypothesis; __PROVED__