the fact that if the surge happens the unseamanlikeness does not occur is wrong.
sent1: the unseamanlikeness occurs. sent2: if the capering koumiss does not occur both the fives and the surging happens. sent3: the unseamanlikeness does not occur if the surge and the capering koumiss happens. sent4: that the unseamanlikeness does not occur is prevented by the surging. sent5: the shopping tobacconist does not occur. sent6: if the surge happens and the capering koumiss occurs the unseamanlikeness occurs. sent7: the capering koumiss happens. sent8: if the Eurocentricness occurs the capering tibia does not occur.
void -> assump1: Let's assume that the surge happens.; assump1 & sent7 -> int1: the surge happens and the capering koumiss occurs.; sent3 & int1 -> int2: the unseamanlikeness does not occur.; [assump1] & int2 -> hypothesis;
the fact that the fives happens is not false.
$hypothesis$ = the fact that if the surge happens the unseamanlikeness does not occur is wrong. ; $context$ = sent1: the unseamanlikeness occurs. sent2: if the capering koumiss does not occur both the fives and the surging happens. sent3: the unseamanlikeness does not occur if the surge and the capering koumiss happens. sent4: that the unseamanlikeness does not occur is prevented by the surging. sent5: the shopping tobacconist does not occur. sent6: if the surge happens and the capering koumiss occurs the unseamanlikeness occurs. sent7: the capering koumiss happens. sent8: if the Eurocentricness occurs the capering tibia does not occur. ; $proof$ = 
void -> assump1: Let's assume that the surge happens.; assump1 & sent7 -> int1: the surge happens and the capering koumiss occurs.; sent3 & int1 -> int2: the unseamanlikeness does not occur.; [assump1] & int2 -> hypothesis; __DISPROVED__