that if the unerectness happens not the adenocarcinomatousness but the hydrophilicness happens is not true.
sent1: if the endoscopicness happens the adenocarcinomatousness does not occur. sent2: the unerectness prevents the non-hydrophilicness. sent3: the batholithicness happens. sent4: the erectness yields that the symbolatry does not occur. sent5: the endoscopicness happens.
void -> assump1: Let's assume that the unerectness occurs.; sent2 & assump1 -> int1: that the hydrophilicness occurs is true.; sent1 & sent5 -> int2: that the adenocarcinomatousness does not occur is true.; int1 & int2 -> int3: both the non-adenocarcinomatousness and the hydrophilicness occurs.; [assump1] & int3 -> hypothesis;
the symbolatry does not occur.
$hypothesis$ = that if the unerectness happens not the adenocarcinomatousness but the hydrophilicness happens is not true. ; $context$ = sent1: if the endoscopicness happens the adenocarcinomatousness does not occur. sent2: the unerectness prevents the non-hydrophilicness. sent3: the batholithicness happens. sent4: the erectness yields that the symbolatry does not occur. sent5: the endoscopicness happens. ; $proof$ = 
void -> assump1: Let's assume that the unerectness occurs.; sent2 & assump1 -> int1: that the hydrophilicness occurs is true.; sent1 & sent5 -> int2: that the adenocarcinomatousness does not occur is true.; int1 & int2 -> int3: both the non-adenocarcinomatousness and the hydrophilicness occurs.; [assump1] & int3 -> hypothesis; __DISPROVED__