if the hexadecimalness happens the colonization does not occur and the hypodermic does not occur.
sent1: that the colonization does not occur is not wrong if the fact that the residentness and the colonization happens is incorrect. sent2: both the non-pectoralness and the sandpapering boo happens. sent3: the empiricism does not occur. sent4: if the hackwork happens the attributiveness does not occur and the formalizing tovarich does not occur. sent5: the evidentiariness does not occur if the fact that the ditching occurs and the evidentiariness happens does not hold. sent6: that the riposting Midi but not the formalizing botfly happens does not hold. sent7: not the empiricism but the electrosurgery occurs if the hypodermicness happens. sent8: the sinkableness does not occur. sent9: the fact that the victimization does not occur is not false. sent10: if the fact that the ninjutsu but not the crucifying occurs is false then the ninjutsu does not occur. sent11: the replication does not occur and the dazzling does not occur if the derivationalness occurs. sent12: if the hypodermic happens then the empiricism does not occur. sent13: the hexadecimalness happens if the empiricism does not occur and the electrosurgery occurs. sent14: the fact that the resident occurs and the colonization happens is not correct if the angelicness does not occur. sent15: if that the insurrectionalness and the penicillin-resistantness happens is wrong then the fact that the penicillin-resistantness does not occur is true. sent16: both the non-whiteness and the riposting Zomba occurs. sent17: that the hexadecimalness happens is prevented by that the empiricism and the electrosurgery occurs. sent18: if the empiricism does not occur but the electrosurgery occurs the hexadecimalness does not occur. sent19: the riposting Midi does not occur if that the riposting Midi occurs but the formalizing botfly does not occur does not hold. sent20: that the septalness and the roboticsness happens is not right.
void -> assump1: Let's assume that the hypodermic happens.; sent7 & assump1 -> int1: the empiricism does not occur but the electrosurgery happens.; int1 & sent18 -> int2: the hexadecimalness does not occur.; void -> assump2: Let's assume that the hexadecimalness happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the hypodermic does not occur.; sent19 & sent6 -> int5: the riposting Midi does not occur.;
$hypothesis$ = if the hexadecimalness happens the colonization does not occur and the hypodermic does not occur. ; $context$ = sent1: that the colonization does not occur is not wrong if the fact that the residentness and the colonization happens is incorrect. sent2: both the non-pectoralness and the sandpapering boo happens. sent3: the empiricism does not occur. sent4: if the hackwork happens the attributiveness does not occur and the formalizing tovarich does not occur. sent5: the evidentiariness does not occur if the fact that the ditching occurs and the evidentiariness happens does not hold. sent6: that the riposting Midi but not the formalizing botfly happens does not hold. sent7: not the empiricism but the electrosurgery occurs if the hypodermicness happens. sent8: the sinkableness does not occur. sent9: the fact that the victimization does not occur is not false. sent10: if the fact that the ninjutsu but not the crucifying occurs is false then the ninjutsu does not occur. sent11: the replication does not occur and the dazzling does not occur if the derivationalness occurs. sent12: if the hypodermic happens then the empiricism does not occur. sent13: the hexadecimalness happens if the empiricism does not occur and the electrosurgery occurs. sent14: the fact that the resident occurs and the colonization happens is not correct if the angelicness does not occur. sent15: if that the insurrectionalness and the penicillin-resistantness happens is wrong then the fact that the penicillin-resistantness does not occur is true. sent16: both the non-whiteness and the riposting Zomba occurs. sent17: that the hexadecimalness happens is prevented by that the empiricism and the electrosurgery occurs. sent18: if the empiricism does not occur but the electrosurgery occurs the hexadecimalness does not occur. sent19: the riposting Midi does not occur if that the riposting Midi occurs but the formalizing botfly does not occur does not hold. sent20: that the septalness and the roboticsness happens is not right. ; $proof$ = 
void -> assump1: Let's assume that the hypodermic happens.; sent7 & assump1 -> int1: the empiricism does not occur but the electrosurgery happens.; int1 & sent18 -> int2: the hexadecimalness does not occur.; void -> assump2: Let's assume that the hexadecimalness happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the hypodermic does not occur.; sent19 & sent6 -> int5: the riposting Midi does not occur.; __UNKNOWN__