there exists something such that if it does not rib suspected and does not immortalize furan it is a cross.
sent1: if the furan does not rib suspected and does not immortalize furan that it does cross is right. sent2: the furan is a cross if it ribs suspected and does not immortalize furan. sent3: there exists something such that if it does not rib suspected and does immortalize furan it is a cross. sent4: the furan crosses if it does not rib suspected and does immortalize furan. sent5: there is something such that if it is a playroom and not a drinker it gates Namur. sent6: if a non-bizonal thing does not rib suspected it is boskopoid.
sent1 -> hypothesis;
the furan is boskopoid if it is not bizonal and it does not rib suspected.
sent6 -> hypothesis;
$hypothesis$ = there exists something such that if it does not rib suspected and does not immortalize furan it is a cross. ; $context$ = sent1: if the furan does not rib suspected and does not immortalize furan that it does cross is right. sent2: the furan is a cross if it ribs suspected and does not immortalize furan. sent3: there exists something such that if it does not rib suspected and does immortalize furan it is a cross. sent4: the furan crosses if it does not rib suspected and does immortalize furan. sent5: there is something such that if it is a playroom and not a drinker it gates Namur. sent6: if a non-bizonal thing does not rib suspected it is boskopoid. ; $proof$ = 
sent1 -> hypothesis; __PROVED__