the fact that the inculpatoriness does not occur if the presidentialness occurs does not hold.
sent1: both the respecting denticle and the cyberneticness occurs. sent2: if the inculpatoriness occurs and the presidentialness occurs the respecting denticle does not occur.
void -> assump2: Let's assume that the inculpatoriness occurs.; void -> assump1: Let's assume that the presidentialness happens.; assump2 & assump1 -> int1: the inculpatoriness occurs and the presidentialness happens.; int1 & sent2 -> int2: the fact that the respecting denticle does not occur is not false.; sent1 -> int3: the fact that the respecting denticle happens hold.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the fact that the inculpatoriness does not occur hold.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that the inculpatoriness does not occur if the presidentialness occurs does not hold. ; $context$ = sent1: both the respecting denticle and the cyberneticness occurs. sent2: if the inculpatoriness occurs and the presidentialness occurs the respecting denticle does not occur. ; $proof$ = 
void -> assump2: Let's assume that the inculpatoriness occurs.; void -> assump1: Let's assume that the presidentialness happens.; assump2 & assump1 -> int1: the inculpatoriness occurs and the presidentialness happens.; int1 & sent2 -> int2: the fact that the respecting denticle does not occur is not false.; sent1 -> int3: the fact that the respecting denticle happens hold.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the fact that the inculpatoriness does not occur hold.; [assump1] & int5 -> hypothesis; __DISPROVED__