the fact that the encephalography occurs and/or the superscribing Yerevan happens if the undertow does not occur is incorrect.
sent1: that the encephalography but not the superscribing Yerevan happens causes that the default does not occur. sent2: the encephalography happens if the fact that the undertow happens but the default does not occur is not right. sent3: the heist but not the bearing static occurs. sent4: the defaulting happens. sent5: if the default does not occur then the undertow happens and the superscribing literacy happens.
void -> assump2: Let's assume that the undertow happens but the default does not occur.; assump2 -> int1: the undertow occurs.; void -> assump1: Let's assume that the undertow does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the undertow but not the default happens is incorrect.; int3 & sent2 -> int4: the encephalography occurs.; int4 -> int5: the encephalography happens and/or the superscribing Yerevan occurs.; [assump1] & int5 -> hypothesis;
the superscribing literacy happens.
$hypothesis$ = the fact that the encephalography occurs and/or the superscribing Yerevan happens if the undertow does not occur is incorrect. ; $context$ = sent1: that the encephalography but not the superscribing Yerevan happens causes that the default does not occur. sent2: the encephalography happens if the fact that the undertow happens but the default does not occur is not right. sent3: the heist but not the bearing static occurs. sent4: the defaulting happens. sent5: if the default does not occur then the undertow happens and the superscribing literacy happens. ; $proof$ = 
void -> assump2: Let's assume that the undertow happens but the default does not occur.; assump2 -> int1: the undertow occurs.; void -> assump1: Let's assume that the undertow does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the undertow but not the default happens is incorrect.; int3 & sent2 -> int4: the encephalography occurs.; int4 -> int5: the encephalography happens and/or the superscribing Yerevan occurs.; [assump1] & int5 -> hypothesis; __DISPROVED__