that the docking does not occur and the retarding happens is not right.
sent1: the fact that the insuring occurs and/or the guiding does not occur is wrong if the straw does not occur. sent2: the ludo and the hydrophobicness occurs if the disconnection does not occur. sent3: if the restoring inhabitant occurs and the reconstructing occurs the branching does not occur. sent4: the retarding occurs. sent5: the fact that the allness but not the knowableness happens does not hold if the ludo happens. sent6: that the dissimilating cesspool does not occur is caused by that the frittering spadix does not occur and the Anglophilicness does not occur. sent7: that not the dock but the retarding occurs is brought about by that the frittering spadix occurs. sent8: that the Anglophilicness happens is prevented by that the frittering spadix does not occur. sent9: the refusing occurs. sent10: the hydrophobicness does not occur and the ludo does not occur. sent11: the howler occurs. sent12: the disconnection does not occur if that the insuring happens and/or the guide does not occur is false. sent13: if the allness does not occur the settling does not occur and/or the branching happens. sent14: that the cardiacness does not occur and the artlessness happens is false. sent15: the non-allness brings about that the branching and the settling happens. sent16: the allness occurs. sent17: if the petrifying does not occur then the straw does not occur and the patientness occurs. sent18: that the Anglophilicness does not occur yields that the restoring inhabitant happens. sent19: if the branching does not occur the allness but not the settling occurs. sent20: the petrifying does not occur if the frittering reevaluation does not occur. sent21: if the reconstructing does not occur then the fact that the docking does not occur and the retarding occurs is false. sent22: the impartialness happens. sent23: the settling occurs and the knowableness occurs if the ludo does not occur.
void -> assump1: Let's assume that the reconstructing happens.; sent10 -> int1: the ludo does not occur.; sent23 & int1 -> int2: the settling and the knowableness happens.; int2 -> int3: the settling occurs.;
not the dock but the retarding occurs.
$hypothesis$ = that the docking does not occur and the retarding happens is not right. ; $context$ = sent1: the fact that the insuring occurs and/or the guiding does not occur is wrong if the straw does not occur. sent2: the ludo and the hydrophobicness occurs if the disconnection does not occur. sent3: if the restoring inhabitant occurs and the reconstructing occurs the branching does not occur. sent4: the retarding occurs. sent5: the fact that the allness but not the knowableness happens does not hold if the ludo happens. sent6: that the dissimilating cesspool does not occur is caused by that the frittering spadix does not occur and the Anglophilicness does not occur. sent7: that not the dock but the retarding occurs is brought about by that the frittering spadix occurs. sent8: that the Anglophilicness happens is prevented by that the frittering spadix does not occur. sent9: the refusing occurs. sent10: the hydrophobicness does not occur and the ludo does not occur. sent11: the howler occurs. sent12: the disconnection does not occur if that the insuring happens and/or the guide does not occur is false. sent13: if the allness does not occur the settling does not occur and/or the branching happens. sent14: that the cardiacness does not occur and the artlessness happens is false. sent15: the non-allness brings about that the branching and the settling happens. sent16: the allness occurs. sent17: if the petrifying does not occur then the straw does not occur and the patientness occurs. sent18: that the Anglophilicness does not occur yields that the restoring inhabitant happens. sent19: if the branching does not occur the allness but not the settling occurs. sent20: the petrifying does not occur if the frittering reevaluation does not occur. sent21: if the reconstructing does not occur then the fact that the docking does not occur and the retarding occurs is false. sent22: the impartialness happens. sent23: the settling occurs and the knowableness occurs if the ludo does not occur. ; $proof$ = 
void -> assump1: Let's assume that the reconstructing happens.; sent10 -> int1: the ludo does not occur.; sent23 & int1 -> int2: the settling and the knowableness happens.; int2 -> int3: the settling occurs.; __UNKNOWN__