the leftfield does not occur.
sent1: if the essentialness does not occur then the fact that not the leftfield but the interpenetration occurs is not correct. sent2: the coping graining does not occur. sent3: if that the coping Solomon does not occur and the centeredness happens does not hold then the essentialness happens. sent4: that not the coping Solomon but the centering happens is false. sent5: if the interpenetration does not occur then the caroling rattle does not occur and the coping gimlet happens. sent6: the coping gimlet happens and the interpenetration occurs. sent7: the leftfield does not occur if the interpenetration happens and the essentialness happens.
sent6 -> int1: that the interpenetration occurs is not wrong.; sent3 & sent4 -> int2: the essentialness happens.; int1 & int2 -> int3: the interpenetration and the essentialness occurs.; int3 & sent7 -> hypothesis;
the caroling rattle does not occur.
$hypothesis$ = the leftfield does not occur. ; $context$ = sent1: if the essentialness does not occur then the fact that not the leftfield but the interpenetration occurs is not correct. sent2: the coping graining does not occur. sent3: if that the coping Solomon does not occur and the centeredness happens does not hold then the essentialness happens. sent4: that not the coping Solomon but the centering happens is false. sent5: if the interpenetration does not occur then the caroling rattle does not occur and the coping gimlet happens. sent6: the coping gimlet happens and the interpenetration occurs. sent7: the leftfield does not occur if the interpenetration happens and the essentialness happens. ; $proof$ = 
sent6 -> int1: that the interpenetration occurs is not wrong.; sent3 & sent4 -> int2: the essentialness happens.; int1 & int2 -> int3: the interpenetration and the essentialness occurs.; int3 & sent7 -> hypothesis; __PROVED__