that if the staticness happens the duckpins does not occur but the shrift occurs does not hold.
sent1: the rotating strawworm happens. sent2: if the interning occurs then the tailoring does not occur but the dining happens. sent3: the institution does not occur. sent4: that both the duckpins and the rotating strawworm occurs prevents that the static does not occur. sent5: the cambering weakener happens. sent6: that the staticness does not occur hold if the duckpins happens and the rotating strawworm occurs. sent7: the cambering Styx does not occur. sent8: the shrift happens.
void -> assump1: Let's assume that the duckpins happens.; assump1 & sent1 -> int1: that the duckpins happens and the rotating strawworm occurs is not wrong.; int1 & sent6 -> int2: the staticness does not occur.; void -> assump2: Let's assume that the fact that the staticness occurs hold.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the duckpins does not occur.; int4 & sent8 -> int5: not the duckpins but the shrift happens.; [assump2] & int5 -> hypothesis;
$hypothesis$ = that if the staticness happens the duckpins does not occur but the shrift occurs does not hold. ; $context$ = sent1: the rotating strawworm happens. sent2: if the interning occurs then the tailoring does not occur but the dining happens. sent3: the institution does not occur. sent4: that both the duckpins and the rotating strawworm occurs prevents that the static does not occur. sent5: the cambering weakener happens. sent6: that the staticness does not occur hold if the duckpins happens and the rotating strawworm occurs. sent7: the cambering Styx does not occur. sent8: the shrift happens. ; $proof$ = 
void -> assump1: Let's assume that the duckpins happens.; assump1 & sent1 -> int1: that the duckpins happens and the rotating strawworm occurs is not wrong.; int1 & sent6 -> int2: the staticness does not occur.; void -> assump2: Let's assume that the fact that the staticness occurs hold.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the duckpins does not occur.; int4 & sent8 -> int5: not the duckpins but the shrift happens.; [assump2] & int5 -> hypothesis; __DISPROVED__