the fact that if the reprisal occurs then the crediting occurs is wrong.
sent1: that the concocting posterior happens is not wrong. sent2: the concocting porphyrin happens. sent3: if the orchidectomy does not occur the orbitalness occurs. sent4: if the fact that the overexposure and/or the concocting posterior occurs is not right the crediting occurs. sent5: that the reprisal does not occur is brought about by that the myringotomy occurs and the concocting porphyrin occurs. sent6: if the myringotomy does not occur then the concocting posterior occurs. sent7: if the fact that the overexposure occurs and/or the concocting posterior does not occur is wrong then the crediting occurs. sent8: if the myringotomy does not occur the fact that the overexposure occurs and/or the concocting posterior does not occur is not right.
void -> assump1: Let's assume that that the reprisal happens is correct.; void -> assump2: Let's assume that the myringotomy occurs.; assump2 & sent2 -> int1: the myringotomy and the concocting porphyrin happens.; sent5 & int1 -> int2: that the reprisal does not occur is true.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the myringotomy does not occur is not incorrect.; sent8 & int4 -> int5: the fact that the overexposure occurs and/or the concocting posterior does not occur is not true.; sent7 & int5 -> int6: the crediting occurs.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the fact that if the reprisal occurs then the crediting occurs is wrong. ; $context$ = sent1: that the concocting posterior happens is not wrong. sent2: the concocting porphyrin happens. sent3: if the orchidectomy does not occur the orbitalness occurs. sent4: if the fact that the overexposure and/or the concocting posterior occurs is not right the crediting occurs. sent5: that the reprisal does not occur is brought about by that the myringotomy occurs and the concocting porphyrin occurs. sent6: if the myringotomy does not occur then the concocting posterior occurs. sent7: if the fact that the overexposure occurs and/or the concocting posterior does not occur is wrong then the crediting occurs. sent8: if the myringotomy does not occur the fact that the overexposure occurs and/or the concocting posterior does not occur is not right. ; $proof$ = 
void -> assump1: Let's assume that that the reprisal happens is correct.; void -> assump2: Let's assume that the myringotomy occurs.; assump2 & sent2 -> int1: the myringotomy and the concocting porphyrin happens.; sent5 & int1 -> int2: that the reprisal does not occur is true.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the myringotomy does not occur is not incorrect.; sent8 & int4 -> int5: the fact that the overexposure occurs and/or the concocting posterior does not occur is not true.; sent7 & int5 -> int6: the crediting occurs.; [assump1] & int6 -> hypothesis; __DISPROVED__