the dinning Post happens.
sent1: if the nonexistentness does not occur then both the snuffing flatulence and the non-point-of-saleness occurs. sent2: if the snuffing selsyn does not occur then the androgenicness happens. sent3: that the nonexistentness does not occur is caused by the bigamy or that the splitsville occurs or both. sent4: that the dinning Post does not occur is brought about by that the snuffing flatulence occurs and the point-of-saleness does not occur. sent5: both the liliaceousness and the righting Takakkaw occurs. sent6: the landmark occurs if the liliaceousness occurs. sent7: if the bobble occurs then the bigamy occurs. sent8: if the landmark happens the bobble occurs.
sent5 -> int1: the liliaceousness occurs.; int1 & sent6 -> int2: the landmark occurs.; int2 & sent8 -> int3: the bobble happens.; int3 & sent7 -> int4: the bigamy occurs.; int4 -> int5: the bigamy occurs or the splitsville happens or both.; int5 & sent3 -> int6: the nonexistentness does not occur.; int6 & sent1 -> int7: the snuffing flatulence happens and the point-of-saleness does not occur.; int7 & sent4 -> hypothesis;
$hypothesis$ = the dinning Post happens. ; $context$ = sent1: if the nonexistentness does not occur then both the snuffing flatulence and the non-point-of-saleness occurs. sent2: if the snuffing selsyn does not occur then the androgenicness happens. sent3: that the nonexistentness does not occur is caused by the bigamy or that the splitsville occurs or both. sent4: that the dinning Post does not occur is brought about by that the snuffing flatulence occurs and the point-of-saleness does not occur. sent5: both the liliaceousness and the righting Takakkaw occurs. sent6: the landmark occurs if the liliaceousness occurs. sent7: if the bobble occurs then the bigamy occurs. sent8: if the landmark happens the bobble occurs. ; $proof$ = 
sent5 -> int1: the liliaceousness occurs.; int1 & sent6 -> int2: the landmark occurs.; int2 & sent8 -> int3: the bobble happens.; int3 & sent7 -> int4: the bigamy occurs.; int4 -> int5: the bigamy occurs or the splitsville happens or both.; int5 & sent3 -> int6: the nonexistentness does not occur.; int6 & sent1 -> int7: the snuffing flatulence happens and the point-of-saleness does not occur.; int7 & sent4 -> hypothesis; __DISPROVED__