something does log posted and it does log laugh.
sent1: if something is not critical the passe-partout logs posted. sent2: the corrective is noncritical. sent3: the thermojunction is both Balzacian and noncritical if there exists something such that it is a tackle. sent4: there exists something such that it logs laugh. sent5: the passe-partout does log posted.
sent2 -> int1: there is something such that it is noncritical.;
$hypothesis$ = something does log posted and it does log laugh. ; $context$ = sent1: if something is not critical the passe-partout logs posted. sent2: the corrective is noncritical. sent3: the thermojunction is both Balzacian and noncritical if there exists something such that it is a tackle. sent4: there exists something such that it logs laugh. sent5: the passe-partout does log posted. ; $proof$ = 
sent2 -> int1: there is something such that it is noncritical.; __UNKNOWN__