the living happens.
sent1: that the underdressing happens hold if that the inclusiveness occurs hold. sent2: if the murmuring tramcar does not occur then the fact that the digitalness does not occur and the despoticness does not occur does not hold. sent3: the saneness occurs if the murmuring cartographer happens. sent4: the despoticness happens if the digitalness does not occur. sent5: the unthematicness does not occur. sent6: that the acquisition does not occur is prevented by that the encircling occurs. sent7: the polymericness happens and the misfiring occurs. sent8: the fact that not the dinging skimming but the murmuring tramcar happens is not right if the unthematicness does not occur. sent9: if the acquisition happens then the caryophyllaceousness occurs. sent10: if both the misfire and the living occurs then the digitalness does not occur. sent11: if the fact that the dinging skimming happens is right then the despoticness does not occur. sent12: if that the dinging skimming does not occur but the murmuring tramcar happens is false the despoticness does not occur. sent13: both the murmuring cartographer and the electricity occurs if the dinging Andromeda does not occur. sent14: if the saneness happens then the inclusiveness happens. sent15: if the underdressing occurs then that the unthematicness happens but the dinging skimming does not occur does not hold. sent16: both the living and the polymericness occurs if the misfire does not occur. sent17: that the milchness and/or the caryophyllaceousness happens leads to that the dinging Andromeda does not occur.
sent7 -> int1: the misfiring happens.; void -> assump1: Let's assume that the livingness happens.; int1 & assump1 -> int2: the misfiring happens and the living happens.; int2 & sent10 -> int3: the digitalness does not occur.; int3 & sent4 -> int4: the despoticness occurs.; sent8 & sent5 -> int5: the fact that the dinging skimming does not occur and the murmuring tramcar happens does not hold.; sent12 & int5 -> int6: the despoticness does not occur.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
that the livingness occurs is true.
$hypothesis$ = the living happens. ; $context$ = sent1: that the underdressing happens hold if that the inclusiveness occurs hold. sent2: if the murmuring tramcar does not occur then the fact that the digitalness does not occur and the despoticness does not occur does not hold. sent3: the saneness occurs if the murmuring cartographer happens. sent4: the despoticness happens if the digitalness does not occur. sent5: the unthematicness does not occur. sent6: that the acquisition does not occur is prevented by that the encircling occurs. sent7: the polymericness happens and the misfiring occurs. sent8: the fact that not the dinging skimming but the murmuring tramcar happens is not right if the unthematicness does not occur. sent9: if the acquisition happens then the caryophyllaceousness occurs. sent10: if both the misfire and the living occurs then the digitalness does not occur. sent11: if the fact that the dinging skimming happens is right then the despoticness does not occur. sent12: if that the dinging skimming does not occur but the murmuring tramcar happens is false the despoticness does not occur. sent13: both the murmuring cartographer and the electricity occurs if the dinging Andromeda does not occur. sent14: if the saneness happens then the inclusiveness happens. sent15: if the underdressing occurs then that the unthematicness happens but the dinging skimming does not occur does not hold. sent16: both the living and the polymericness occurs if the misfire does not occur. sent17: that the milchness and/or the caryophyllaceousness happens leads to that the dinging Andromeda does not occur. ; $proof$ = 
sent7 -> int1: the misfiring happens.; void -> assump1: Let's assume that the livingness happens.; int1 & assump1 -> int2: the misfiring happens and the living happens.; int2 & sent10 -> int3: the digitalness does not occur.; int3 & sent4 -> int4: the despoticness occurs.; sent8 & sent5 -> int5: the fact that the dinging skimming does not occur and the murmuring tramcar happens does not hold.; sent12 & int5 -> int6: the despoticness does not occur.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__