the sectionalness happens if the monetizing orinasal happens.
sent1: the monetizing Lateran occurs. sent2: the revealing and/or that the meshing fold happens yields that the monetizing orinasal does not occur. sent3: that the monetizing orinasal does not occur is prevented by that the revealing occurs or the meshing fold occurs or both. sent4: if the meshing fold happens the monetizing orinasal does not occur. sent5: that the fact that the swerve and the Parisianness happens hold does not hold if the stipendiary happens. sent6: if either the Parisian or the non-sectionalness or both occurs then the non-sectional does not occur. sent7: the distortion does not occur if the swerving occurs. sent8: the aphakicness occurs if that the Job happens is true. sent9: the distortion does not occur if the fact that not the swerve but the Parisian happens is wrong. sent10: that the revealing does not occur and the distortion does not occur results in the sectionalness. sent11: the swerve does not occur if that both the homework and the swerve occurs is not correct. sent12: the Parisianness and/or the non-sectionalness happens if the swerving does not occur. sent13: if the fact that the stipendiariness does not occur is not wrong then that the homework happens and the swerve happens does not hold. sent14: that both the swerving and the Parisian happens is false. sent15: the monetizing vicar or the whiffing cosecant or both occurs. sent16: that the bionicsness happens is correct. sent17: that the stipendiariness happens is not wrong. sent18: if the distortion does not occur and the monetizing orinasal does not occur the meshing fold does not occur.
void -> assump2: Let's assume that the revealing happens.; assump2 -> int1: the revealing and/or the meshing fold occurs.; int1 & sent2 -> int2: the monetizing orinasal does not occur.; void -> assump1: Let's assume that the monetizing orinasal occurs.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the revealing does not occur.;
the foolishness occurs.
$hypothesis$ = the sectionalness happens if the monetizing orinasal happens. ; $context$ = sent1: the monetizing Lateran occurs. sent2: the revealing and/or that the meshing fold happens yields that the monetizing orinasal does not occur. sent3: that the monetizing orinasal does not occur is prevented by that the revealing occurs or the meshing fold occurs or both. sent4: if the meshing fold happens the monetizing orinasal does not occur. sent5: that the fact that the swerve and the Parisianness happens hold does not hold if the stipendiary happens. sent6: if either the Parisian or the non-sectionalness or both occurs then the non-sectional does not occur. sent7: the distortion does not occur if the swerving occurs. sent8: the aphakicness occurs if that the Job happens is true. sent9: the distortion does not occur if the fact that not the swerve but the Parisian happens is wrong. sent10: that the revealing does not occur and the distortion does not occur results in the sectionalness. sent11: the swerve does not occur if that both the homework and the swerve occurs is not correct. sent12: the Parisianness and/or the non-sectionalness happens if the swerving does not occur. sent13: if the fact that the stipendiariness does not occur is not wrong then that the homework happens and the swerve happens does not hold. sent14: that both the swerving and the Parisian happens is false. sent15: the monetizing vicar or the whiffing cosecant or both occurs. sent16: that the bionicsness happens is correct. sent17: that the stipendiariness happens is not wrong. sent18: if the distortion does not occur and the monetizing orinasal does not occur the meshing fold does not occur. ; $proof$ = 
void -> assump2: Let's assume that the revealing happens.; assump2 -> int1: the revealing and/or the meshing fold occurs.; int1 & sent2 -> int2: the monetizing orinasal does not occur.; void -> assump1: Let's assume that the monetizing orinasal occurs.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the revealing does not occur.; __UNKNOWN__