the fact that if the pogonip happens the non-brachycephalicness and/or the vestal occurs is not true.
sent1: the presentation does not occur and/or the convulsion occurs. sent2: both the flagellating belly and the exhortation occurs. sent3: that the pogonip does not occur is caused by that the flagellating belly and the brachycephalic occurs.
void -> assump2: Let's assume that the fact that the pogonip occurs is true.; sent2 -> int1: the flagellating belly occurs.; void -> assump1: Let's assume that the brachycephalic happens.; int1 & assump1 -> int2: the flagellating belly happens and the brachycephalicness happens.; sent3 & int2 -> int3: the pogonip does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the brachycephalicness does not occur.; int5 -> int6: the non-brachycephalicness or the vestalness or both happens.; [assump2] & int6 -> hypothesis;
$hypothesis$ = the fact that if the pogonip happens the non-brachycephalicness and/or the vestal occurs is not true. ; $context$ = sent1: the presentation does not occur and/or the convulsion occurs. sent2: both the flagellating belly and the exhortation occurs. sent3: that the pogonip does not occur is caused by that the flagellating belly and the brachycephalic occurs. ; $proof$ = 
void -> assump2: Let's assume that the fact that the pogonip occurs is true.; sent2 -> int1: the flagellating belly occurs.; void -> assump1: Let's assume that the brachycephalic happens.; int1 & assump1 -> int2: the flagellating belly happens and the brachycephalicness happens.; sent3 & int2 -> int3: the pogonip does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the brachycephalicness does not occur.; int5 -> int6: the non-brachycephalicness or the vestalness or both happens.; [assump2] & int6 -> hypothesis; __DISPROVED__