the readjustment does not occur.
sent1: the readjustment does not occur if the radiophotography happens. sent2: the readjustment happens if the nailing clianthus does not occur and the tooling Philistine does not occur. sent3: if the complaint happens then the direction does not occur. sent4: that the straw and the nailing nerd occurs is incorrect if the tooling Philistine does not occur. sent5: if the nailing nerd does not occur then the nailing clianthus does not occur. sent6: the unenforceableness is caused by that the protuberating does not occur. sent7: the unenforceableness happens. sent8: that either the larceny does not occur or the complaint happens or both triggers that the complaint happens. sent9: that the tooling Philistine and/or the radiophotography happens prevents the readjustment. sent10: the protuberating does not occur. sent11: the nailing clianthus does not occur if that the strawing and the nailing nerd occurs does not hold. sent12: both the protuberating and the tarnish happens if the direction does not occur.
void -> assump1: Let's assume that the tooling Philistine does not occur.; sent4 & assump1 -> int1: the fact that the strawing happens and the nailing nerd happens does not hold.; int1 & sent11 -> int2: the nailing clianthus does not occur.;
the readjustment occurs.
$hypothesis$ = the readjustment does not occur. ; $context$ = sent1: the readjustment does not occur if the radiophotography happens. sent2: the readjustment happens if the nailing clianthus does not occur and the tooling Philistine does not occur. sent3: if the complaint happens then the direction does not occur. sent4: that the straw and the nailing nerd occurs is incorrect if the tooling Philistine does not occur. sent5: if the nailing nerd does not occur then the nailing clianthus does not occur. sent6: the unenforceableness is caused by that the protuberating does not occur. sent7: the unenforceableness happens. sent8: that either the larceny does not occur or the complaint happens or both triggers that the complaint happens. sent9: that the tooling Philistine and/or the radiophotography happens prevents the readjustment. sent10: the protuberating does not occur. sent11: the nailing clianthus does not occur if that the strawing and the nailing nerd occurs does not hold. sent12: both the protuberating and the tarnish happens if the direction does not occur. ; $proof$ = 
void -> assump1: Let's assume that the tooling Philistine does not occur.; sent4 & assump1 -> int1: the fact that the strawing happens and the nailing nerd happens does not hold.; int1 & sent11 -> int2: the nailing clianthus does not occur.; __UNKNOWN__