the spectrograph is a Numenius.
sent1: there is something such that the fact that it is not a mock-heroic and does shaft chaperon is wrong. sent2: the spectrograph is not a Numenius if the springboard is a kind of a Numenius. sent3: that the rebutter is a kind of non-Einsteinian thing that is bronchial is false. sent4: if there is something such that that it is not Einsteinian and it is not bronchial is not correct then the springboard is a kind of a uakari. sent5: that the rebutter is not Einsteinian and it is not bronchial does not hold.
sent5 -> int1: there is something such that that it is not Einsteinian and it is not bronchial is incorrect.; int1 & sent4 -> int2: the springboard is a uakari.;
the spectrograph is not a kind of a Numenius.
$hypothesis$ = the spectrograph is a Numenius. ; $context$ = sent1: there is something such that the fact that it is not a mock-heroic and does shaft chaperon is wrong. sent2: the spectrograph is not a Numenius if the springboard is a kind of a Numenius. sent3: that the rebutter is a kind of non-Einsteinian thing that is bronchial is false. sent4: if there is something such that that it is not Einsteinian and it is not bronchial is not correct then the springboard is a kind of a uakari. sent5: that the rebutter is not Einsteinian and it is not bronchial does not hold. ; $proof$ = 
sent5 -> int1: there is something such that that it is not Einsteinian and it is not bronchial is incorrect.; int1 & sent4 -> int2: the springboard is a uakari.; __UNKNOWN__