the fact that if the squawking Mergus happens the wearing happens is wrong.
sent1: if the geneticsness happens the unservileness occurs. sent2: the Egyptianness happens. sent3: the treating Hanoi does not occur. sent4: if the squawking Mergus happens the uniting does not occur but the wear happens.
void -> assump1: Let's assume that the squawking Mergus occurs.; sent4 & assump1 -> int1: the uniting does not occur and the wearing occurs.; int1 -> int2: the wearing happens.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the fact that if the squawking Mergus happens the wearing happens is wrong. ; $context$ = sent1: if the geneticsness happens the unservileness occurs. sent2: the Egyptianness happens. sent3: the treating Hanoi does not occur. sent4: if the squawking Mergus happens the uniting does not occur but the wear happens. ; $proof$ = 
void -> assump1: Let's assume that the squawking Mergus occurs.; sent4 & assump1 -> int1: the uniting does not occur and the wearing occurs.; int1 -> int2: the wearing happens.; [assump1] & int2 -> hypothesis; __DISPROVED__