the coveting dicamptodon does not occur and the missionary does not occur.
sent1: if the ornamentation does not occur the plutocraticness happens and the scenting happens. sent2: if the coveting dicamptodon occurs the fact that the missionary and the non-plutocraticness happens does not hold. sent3: the non-umbelliferousness and the non-pyrecticness occurs. sent4: the tearlessness happens. sent5: if both the non-stainableness and the non-poorness happens the scent does not occur. sent6: that the coveting fine does not occur leads to that the coveting dicamptodon does not occur but the shuttle occurs. sent7: if the scenting does not occur then the fact that not the coveting fine but the ornamentation occurs is not right. sent8: the plutocraticness does not occur if that the heaves does not occur and the physicalness does not occur is false. sent9: the highwater does not occur and the stainableness does not occur if the tearlessness happens. sent10: the scent happens. sent11: the shuttling occurs if the coveting fine happens. sent12: the fact that if the missionary occurs then the fact that the heaves and the non-physicalness occurs is not right hold. sent13: if that the missionariness but not the plutocraticness happens is incorrect then the motility does not occur. sent14: that both the heaves and the non-physicalness occurs is not right. sent15: if the missionariness occurs then that the heaves does not occur and the physicalness does not occur is not true. sent16: the ornamentation does not occur. sent17: the coveting fine does not occur.
void -> assump1: Let's assume that the fact that the missionariness occurs is not false.; sent15 & assump1 -> int1: that the heaving does not occur and the physicalness does not occur is not true.; int1 & sent8 -> int2: the plutocraticness does not occur.; sent1 & sent16 -> int3: the plutocraticness occurs and the scent happens.; int3 -> int4: that the plutocraticness occurs hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the missionariness does not occur.; sent6 & sent17 -> int7: the coveting dicamptodon does not occur and the shuttling happens.; int7 -> int8: the coveting dicamptodon does not occur.; int6 & int8 -> hypothesis;
the motility does not occur.
sent9 & sent4 -> int9: the highwater does not occur and the stainableness does not occur.; int9 -> int10: the stainableness does not occur.;
$hypothesis$ = the coveting dicamptodon does not occur and the missionary does not occur. ; $context$ = sent1: if the ornamentation does not occur the plutocraticness happens and the scenting happens. sent2: if the coveting dicamptodon occurs the fact that the missionary and the non-plutocraticness happens does not hold. sent3: the non-umbelliferousness and the non-pyrecticness occurs. sent4: the tearlessness happens. sent5: if both the non-stainableness and the non-poorness happens the scent does not occur. sent6: that the coveting fine does not occur leads to that the coveting dicamptodon does not occur but the shuttle occurs. sent7: if the scenting does not occur then the fact that not the coveting fine but the ornamentation occurs is not right. sent8: the plutocraticness does not occur if that the heaves does not occur and the physicalness does not occur is false. sent9: the highwater does not occur and the stainableness does not occur if the tearlessness happens. sent10: the scent happens. sent11: the shuttling occurs if the coveting fine happens. sent12: the fact that if the missionary occurs then the fact that the heaves and the non-physicalness occurs is not right hold. sent13: if that the missionariness but not the plutocraticness happens is incorrect then the motility does not occur. sent14: that both the heaves and the non-physicalness occurs is not right. sent15: if the missionariness occurs then that the heaves does not occur and the physicalness does not occur is not true. sent16: the ornamentation does not occur. sent17: the coveting fine does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that the missionariness occurs is not false.; sent15 & assump1 -> int1: that the heaving does not occur and the physicalness does not occur is not true.; int1 & sent8 -> int2: the plutocraticness does not occur.; sent1 & sent16 -> int3: the plutocraticness occurs and the scent happens.; int3 -> int4: that the plutocraticness occurs hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the missionariness does not occur.; sent6 & sent17 -> int7: the coveting dicamptodon does not occur and the shuttling happens.; int7 -> int8: the coveting dicamptodon does not occur.; int6 & int8 -> hypothesis; __PROVED__