the reclamation and the acquittal happens.
sent1: the fact that the agraphicness but not the reclamation occurs is not correct. sent2: the anginalness occurs. sent3: the agraphicness occurs and the anginalness occurs. sent4: the sliming Dreiser happens if the fact that that not the secondment but the penance happens is right is not right. sent5: if the agraphicness does not occur the fact that the reclamation and the acquittal happens is wrong. sent6: the fact that not the secondment but the penance happens is not true if the underwriting arithmetician occurs. sent7: the esophagealness does not occur if the anginalness does not occur and the agraphicness does not occur. sent8: the extending Thomson occurs and the dwindling happens. sent9: that the stubbing tiler does not occur results in that the underwriting arithmetician and the Rorschach occurs.
sent3 -> int1: the agraphicness occurs.; void -> assump1: Let's assume that the reclamation does not occur.; int1 & assump1 -> int2: the agraphicness happens and the reclamation does not occur.; int2 & sent1 -> int3: this is contradiction.; [assump1] & int3 -> int4: the reclamation occurs.;
the esophagealness does not occur.
$hypothesis$ = the reclamation and the acquittal happens. ; $context$ = sent1: the fact that the agraphicness but not the reclamation occurs is not correct. sent2: the anginalness occurs. sent3: the agraphicness occurs and the anginalness occurs. sent4: the sliming Dreiser happens if the fact that that not the secondment but the penance happens is right is not right. sent5: if the agraphicness does not occur the fact that the reclamation and the acquittal happens is wrong. sent6: the fact that not the secondment but the penance happens is not true if the underwriting arithmetician occurs. sent7: the esophagealness does not occur if the anginalness does not occur and the agraphicness does not occur. sent8: the extending Thomson occurs and the dwindling happens. sent9: that the stubbing tiler does not occur results in that the underwriting arithmetician and the Rorschach occurs. ; $proof$ = 
sent3 -> int1: the agraphicness occurs.; void -> assump1: Let's assume that the reclamation does not occur.; int1 & assump1 -> int2: the agraphicness happens and the reclamation does not occur.; int2 & sent1 -> int3: this is contradiction.; [assump1] & int3 -> int4: the reclamation occurs.; __UNKNOWN__