the heredity is not a mobcap.
sent1: if there exists something such that it is not non-adroit and is a kind of a moroseness the cardhouse is not nectar-rich. sent2: if the residence is angular then the pentlandite does rid rat-a-tat-tat. sent3: if the heredity is not a kind of a thermoelectricity then the ammonium is not a kind of an overproduction but it is a moroseness. sent4: if the fact that the pinfish is not adenoidal and it is not a kind of a dormitory is not correct then the residence is angular. sent5: that the pinfish is not adenoidal and it is not a dormitory is false. sent6: if that something is both a depth and not nectar-rich is not right then it is not a mobcap. sent7: a non-nectar-rich depth is not a kind of a thermoelectricity. sent8: if the cardhouse is not adroit that the ammonium is a self-depreciation and it demonstrates is wrong. sent9: the fact that the cardhouse is not a kind of a self-depreciation is right if something that is not an overproduction is a moroseness. sent10: everything is adroit. sent11: everything does rid pinfish. sent12: something is a self-depreciation that does not demonstrate if it is adroit. sent13: something that is a kind of an overproduction is both not a thermoelectricity and a moroseness. sent14: the ammonium is a moroseness and is not a thermoelectricity. sent15: there is something such that it is not a smash. sent16: if something that is not a kind of a thermoelectricity is a moroseness then it is a mobcap.
sent7 -> int1: the heredity is not a thermoelectricity if it is a kind of a depth and is not nectar-rich.; void -> assump1: Let's assume that the heredity is a kind of a depth but it is not nectar-rich.; int1 & assump1 -> int2: the heredity is not a thermoelectricity.; int2 & sent3 -> int3: the ammonium is not an overproduction but a moroseness.; int3 -> int4: the fact that something is not an overproduction but it is a moroseness is not false.; int4 & sent9 -> int5: the cardhouse is not a kind of a self-depreciation.; sent12 -> int6: the cardhouse is a kind of a self-depreciation that does not demonstrate if it is adroit.; sent10 -> int7: the cardhouse is adroit.; int6 & int7 -> int8: the cardhouse is a self-depreciation but it does not demonstrate.; int8 -> int9: the cardhouse is a kind of a self-depreciation.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: that the heredity is a depth but it is not nectar-rich does not hold.; sent6 -> int12: the heredity is not a mobcap if the fact that it is a depth and is not nectar-rich does not hold.; int11 & int12 -> hypothesis;
the heredity is a mobcap.
sent16 -> int13: the heredity is a kind of a mobcap if it is not a thermoelectricity but a moroseness.; sent13 -> int14: if the heredity is an overproduction then it is not a thermoelectricity but a moroseness.; sent4 & sent5 -> int15: the residence is angular.; sent2 & int15 -> int16: the pentlandite rids rat-a-tat-tat.; int16 -> int17: something does rid rat-a-tat-tat.;
$hypothesis$ = the heredity is not a mobcap. ; $context$ = sent1: if there exists something such that it is not non-adroit and is a kind of a moroseness the cardhouse is not nectar-rich. sent2: if the residence is angular then the pentlandite does rid rat-a-tat-tat. sent3: if the heredity is not a kind of a thermoelectricity then the ammonium is not a kind of an overproduction but it is a moroseness. sent4: if the fact that the pinfish is not adenoidal and it is not a kind of a dormitory is not correct then the residence is angular. sent5: that the pinfish is not adenoidal and it is not a dormitory is false. sent6: if that something is both a depth and not nectar-rich is not right then it is not a mobcap. sent7: a non-nectar-rich depth is not a kind of a thermoelectricity. sent8: if the cardhouse is not adroit that the ammonium is a self-depreciation and it demonstrates is wrong. sent9: the fact that the cardhouse is not a kind of a self-depreciation is right if something that is not an overproduction is a moroseness. sent10: everything is adroit. sent11: everything does rid pinfish. sent12: something is a self-depreciation that does not demonstrate if it is adroit. sent13: something that is a kind of an overproduction is both not a thermoelectricity and a moroseness. sent14: the ammonium is a moroseness and is not a thermoelectricity. sent15: there is something such that it is not a smash. sent16: if something that is not a kind of a thermoelectricity is a moroseness then it is a mobcap. ; $proof$ = 
sent7 -> int1: the heredity is not a thermoelectricity if it is a kind of a depth and is not nectar-rich.; void -> assump1: Let's assume that the heredity is a kind of a depth but it is not nectar-rich.; int1 & assump1 -> int2: the heredity is not a thermoelectricity.; int2 & sent3 -> int3: the ammonium is not an overproduction but a moroseness.; int3 -> int4: the fact that something is not an overproduction but it is a moroseness is not false.; int4 & sent9 -> int5: the cardhouse is not a kind of a self-depreciation.; sent12 -> int6: the cardhouse is a kind of a self-depreciation that does not demonstrate if it is adroit.; sent10 -> int7: the cardhouse is adroit.; int6 & int7 -> int8: the cardhouse is a self-depreciation but it does not demonstrate.; int8 -> int9: the cardhouse is a kind of a self-depreciation.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: that the heredity is a depth but it is not nectar-rich does not hold.; sent6 -> int12: the heredity is not a mobcap if the fact that it is a depth and is not nectar-rich does not hold.; int11 & int12 -> hypothesis; __PROVED__