the corporealness does not occur.
sent1: if the hospice and the designing solvency happens the corporealness does not occur. sent2: both the designing solvency and the homework happens. sent3: that the Oldness does not occur brings about that both the hospice and the corporealness happens. sent4: the centesimalness happens and the study occurs. sent5: the hospice occurs and the Oldness occurs. sent6: the fact that the meshing netball does not occur hold. sent7: the homework occurs. sent8: both the study and the whiffing Malachi occurs.
sent5 -> int1: that the hospice happens hold.; sent2 -> int2: the designing solvency happens.; int1 & int2 -> int3: the hospice and the designing solvency occurs.; int3 & sent1 -> hypothesis;
the corporealness occurs.
$hypothesis$ = the corporealness does not occur. ; $context$ = sent1: if the hospice and the designing solvency happens the corporealness does not occur. sent2: both the designing solvency and the homework happens. sent3: that the Oldness does not occur brings about that both the hospice and the corporealness happens. sent4: the centesimalness happens and the study occurs. sent5: the hospice occurs and the Oldness occurs. sent6: the fact that the meshing netball does not occur hold. sent7: the homework occurs. sent8: both the study and the whiffing Malachi occurs. ; $proof$ = 
sent5 -> int1: that the hospice happens hold.; sent2 -> int2: the designing solvency happens.; int1 & int2 -> int3: the hospice and the designing solvency occurs.; int3 & sent1 -> hypothesis; __PROVED__