the reading thulium happens and the corkscrewing knell happens.
sent1: the dimming does not occur. sent2: that the coaching gallery occurs hold. sent3: that the crunching happens is prevented by that the mutation happens. sent4: that both the non-dimness and the corkscrewing gob happens hold. sent5: the coaching gelatin and the reading thulium occurs if the crunching does not occur. sent6: if the fact that the wiving does not occur is not incorrect the corkscrewing knell and the crunching happens. sent7: that the corkscrewing Haggadah does not occur triggers that the corkscrewing gob does not occur and the decoy does not occur. sent8: the corkscrewing Haggadah does not occur and the reading ballistocardiograph does not occur if that the reading thulium does not occur is right.
void -> assump1: Let's assume that the reading thulium does not occur.; sent8 & assump1 -> int1: the corkscrewing Haggadah does not occur and the reading ballistocardiograph does not occur.; int1 -> int2: the corkscrewing Haggadah does not occur.; int2 & sent7 -> int3: the corkscrewing gob does not occur and the decoying does not occur.; int3 -> int4: that the corkscrewing gob does not occur is correct.; sent4 -> int5: the corkscrewing gob occurs.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the reading thulium happens.;
the coaching gelatin and the corkscrewing longness occurs.
$hypothesis$ = the reading thulium happens and the corkscrewing knell happens. ; $context$ = sent1: the dimming does not occur. sent2: that the coaching gallery occurs hold. sent3: that the crunching happens is prevented by that the mutation happens. sent4: that both the non-dimness and the corkscrewing gob happens hold. sent5: the coaching gelatin and the reading thulium occurs if the crunching does not occur. sent6: if the fact that the wiving does not occur is not incorrect the corkscrewing knell and the crunching happens. sent7: that the corkscrewing Haggadah does not occur triggers that the corkscrewing gob does not occur and the decoy does not occur. sent8: the corkscrewing Haggadah does not occur and the reading ballistocardiograph does not occur if that the reading thulium does not occur is right. ; $proof$ = 
void -> assump1: Let's assume that the reading thulium does not occur.; sent8 & assump1 -> int1: the corkscrewing Haggadah does not occur and the reading ballistocardiograph does not occur.; int1 -> int2: the corkscrewing Haggadah does not occur.; int2 & sent7 -> int3: the corkscrewing gob does not occur and the decoying does not occur.; int3 -> int4: that the corkscrewing gob does not occur is correct.; sent4 -> int5: the corkscrewing gob occurs.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the reading thulium happens.; __UNKNOWN__