the macrocosmicness occurs.
sent1: the moreness does not occur but the offsetting Neoplatonist happens. sent2: the fluting happens. sent3: the macrocosmicness happens if the investment does not occur and the cession does not occur. sent4: the cession happens. sent5: the newsness yields the existentialist. sent6: the offsetting worrier occurs. sent7: if the macrocosmicness happens and the cession happens then the investment does not occur. sent8: if the cardiovascularness occurs then that not the investment but the existentialistness occurs is not right. sent9: the offsetting Cetus happens. sent10: if the cession does not occur then both the offsetting mentalism and the macrocosmicness happens. sent11: the deticking peridotite occurs. sent12: the fact that the welcoming happens hold. sent13: the cardiovascularness happens. sent14: the fact that not the oddsness but the moreness happens is not correct. sent15: if the deticking peridotite occurs then the newsness happens.
void -> assump1: Let's assume that that the macrocosmicness occurs is not incorrect.; assump1 & sent4 -> int1: the macrocosmicness happens and the cession happens.; int1 & sent7 -> int2: the investment does not occur.; sent15 & sent11 -> int3: the newsness happens.; sent5 & int3 -> int4: the existentialistness occurs.; int2 & int4 -> int5: the investment does not occur and the existentialistness occurs.; sent8 & sent13 -> int6: the fact that the investment does not occur and the existentialistness happens is false.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the macrocosmicness occurs.
$hypothesis$ = the macrocosmicness occurs. ; $context$ = sent1: the moreness does not occur but the offsetting Neoplatonist happens. sent2: the fluting happens. sent3: the macrocosmicness happens if the investment does not occur and the cession does not occur. sent4: the cession happens. sent5: the newsness yields the existentialist. sent6: the offsetting worrier occurs. sent7: if the macrocosmicness happens and the cession happens then the investment does not occur. sent8: if the cardiovascularness occurs then that not the investment but the existentialistness occurs is not right. sent9: the offsetting Cetus happens. sent10: if the cession does not occur then both the offsetting mentalism and the macrocosmicness happens. sent11: the deticking peridotite occurs. sent12: the fact that the welcoming happens hold. sent13: the cardiovascularness happens. sent14: the fact that not the oddsness but the moreness happens is not correct. sent15: if the deticking peridotite occurs then the newsness happens. ; $proof$ = 
void -> assump1: Let's assume that that the macrocosmicness occurs is not incorrect.; assump1 & sent4 -> int1: the macrocosmicness happens and the cession happens.; int1 & sent7 -> int2: the investment does not occur.; sent15 & sent11 -> int3: the newsness happens.; sent5 & int3 -> int4: the existentialistness occurs.; int2 & int4 -> int5: the investment does not occur and the existentialistness occurs.; sent8 & sent13 -> int6: the fact that the investment does not occur and the existentialistness happens is false.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__