the fact that if the juvenile happens the fact that the gastroscopy does not occur is not false is not right.
sent1: the fact that the gastroscopy does not occur is not wrong if that the liking does not occur hold. sent2: if the insulation happens then the tippling occurs. sent3: the staccatoness occurs. sent4: that the juvenile occurs leads to that the bareness but not the liking occurs. sent5: if the emblazoning quadrate does not occur the archesporialness occurs.
void -> assump1: Let's assume that the fact that the juvenileness occurs is not wrong.; sent4 & assump1 -> int1: the bareness and the non-likedness occurs.; int1 -> int2: the liking does not occur.; sent1 & int2 -> int3: the gastroscopy does not occur.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that if the juvenile happens the fact that the gastroscopy does not occur is not false is not right. ; $context$ = sent1: the fact that the gastroscopy does not occur is not wrong if that the liking does not occur hold. sent2: if the insulation happens then the tippling occurs. sent3: the staccatoness occurs. sent4: that the juvenile occurs leads to that the bareness but not the liking occurs. sent5: if the emblazoning quadrate does not occur the archesporialness occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the juvenileness occurs is not wrong.; sent4 & assump1 -> int1: the bareness and the non-likedness occurs.; int1 -> int2: the liking does not occur.; sent1 & int2 -> int3: the gastroscopy does not occur.; [assump1] & int3 -> hypothesis; __DISPROVED__