that if the prismaticness happens the impoliteness occurs is incorrect.
sent1: the utilizing does not occur if the prismaticness happens. sent2: that not the moonwalk but the utilizing occurs prevents that the colorectalness does not occur. sent3: if the colorectalness occurs that the impoliteness happens hold. sent4: the utilizing does not occur. sent5: the colorectalness is triggered by that the moonwalk does not occur and the utilizing does not occur. sent6: the prismaticness triggers that the moonwalk does not occur and the utilizing does not occur. sent7: if the familiarness does not occur and the seaming Creek does not occur the Creation happens.
void -> assump1: Let's assume that the prismaticness happens.; sent6 & assump1 -> int1: the moonwalk does not occur and the utilizing does not occur.; sent5 & int1 -> int2: the colorectalness happens.; sent3 & int2 -> int3: the impoliteness occurs.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that if the prismaticness happens the impoliteness occurs is incorrect. ; $context$ = sent1: the utilizing does not occur if the prismaticness happens. sent2: that not the moonwalk but the utilizing occurs prevents that the colorectalness does not occur. sent3: if the colorectalness occurs that the impoliteness happens hold. sent4: the utilizing does not occur. sent5: the colorectalness is triggered by that the moonwalk does not occur and the utilizing does not occur. sent6: the prismaticness triggers that the moonwalk does not occur and the utilizing does not occur. sent7: if the familiarness does not occur and the seaming Creek does not occur the Creation happens. ; $proof$ = 
void -> assump1: Let's assume that the prismaticness happens.; sent6 & assump1 -> int1: the moonwalk does not occur and the utilizing does not occur.; sent5 & int1 -> int2: the colorectalness happens.; sent3 & int2 -> int3: the impoliteness occurs.; [assump1] & int3 -> hypothesis; __DISPROVED__