the back oxygenates dining-hall and/or it is not a kind of a Iresine.
sent1: the reservoir is spiritualistic if that the doctorfish is not cross-linguistic and it is not deficient is wrong. sent2: the doctorfish is a guy. sent3: if that the doctorfish is a kind of a Iresine is right then the fact that the back is both deficient and not a Iresine is not correct. sent4: the fact that the doctorfish is both non-cross-linguistic and non-deficient is wrong. sent5: if that the doctorfish is non-cross-linguistic thing that is not a Iresine is incorrect then the back is spiritualistic. sent6: that the doctorfish is cross-linguistic but it is not deficient is incorrect. sent7: the fact that something oxygenates dining-hall and/or it is not spiritualistic is true if it is a kind of a Iresine. sent8: that something is a kind of a fur that is not a Iresine does not hold if it is not gyral. sent9: if that something is a guy but it is not spiritualistic is not correct then it oxygenates dining-hall. sent10: if the reservoir is spiritualistic then that the back is a guy and not spiritualistic is incorrect. sent11: the fact that the reservoir is a kind of cross-linguistic thing that is not spiritualistic does not hold. sent12: the back is a Iresine and/or it is not deficient. sent13: if something does oxygenate dining-hall and/or is not spiritualistic then the doctorfish is spiritualistic. sent14: that the back is a kind of a guy and it is spiritualistic does not hold. sent15: the back is deficient if that the doctorfish is not a Iresine and it is not spiritualistic is not right. sent16: if something is spiritualistic it oxygenates dining-hall. sent17: if the doctorfish is cross-linguistic then the reservoir is spiritualistic. sent18: either the back does oxygenate dining-hall or it is a kind of a Iresine or both. sent19: the back is a Iresine if that the aspergill is a fur but it is not a Iresine is not true. sent20: everything is non-gyral. sent21: that the back is a guy and spiritualistic is incorrect if the reservoir is spiritualistic. sent22: the reservoir is cross-linguistic if the fact that it does ejaculate and it is not diadromous is wrong. sent23: if the back is spiritualistic then it oxygenates dining-hall.
sent1 & sent4 -> int1: the reservoir is spiritualistic.; int1 & sent10 -> int2: that the back is a guy and is not spiritualistic does not hold.; sent9 -> int3: the back does oxygenate dining-hall if that it does guy and it is not spiritualistic is not correct.; int2 & int3 -> int4: the back does oxygenate dining-hall.; int4 -> hypothesis;
the reservoir is deficient.
sent7 -> int5: the fact that the back oxygenates dining-hall or is not spiritualistic or both if the back is a Iresine is not incorrect.; sent8 -> int6: if the dining-hall is not gyral the fact that it is both a fur and not a Iresine is false.; sent20 -> int7: the dining-hall is not gyral.; int6 & int7 -> int8: that the dining-hall is a fur that is not a kind of a Iresine is incorrect.; int8 -> int9: there is nothing such that it is a fur but not a Iresine.; int9 -> int10: the fact that the aspergill is a fur but not a Iresine is not true.; sent19 & int10 -> int11: the back is a Iresine.; int5 & int11 -> int12: either the back oxygenates dining-hall or it is not spiritualistic or both.; int12 -> int13: there exists something such that it oxygenates dining-hall or it is not spiritualistic or both.; sent13 & int13 -> int14: the doctorfish is non-spiritualistic.; int14 -> int15: there exists something such that it is not spiritualistic.;
$hypothesis$ = the back oxygenates dining-hall and/or it is not a kind of a Iresine. ; $context$ = sent1: the reservoir is spiritualistic if that the doctorfish is not cross-linguistic and it is not deficient is wrong. sent2: the doctorfish is a guy. sent3: if that the doctorfish is a kind of a Iresine is right then the fact that the back is both deficient and not a Iresine is not correct. sent4: the fact that the doctorfish is both non-cross-linguistic and non-deficient is wrong. sent5: if that the doctorfish is non-cross-linguistic thing that is not a Iresine is incorrect then the back is spiritualistic. sent6: that the doctorfish is cross-linguistic but it is not deficient is incorrect. sent7: the fact that something oxygenates dining-hall and/or it is not spiritualistic is true if it is a kind of a Iresine. sent8: that something is a kind of a fur that is not a Iresine does not hold if it is not gyral. sent9: if that something is a guy but it is not spiritualistic is not correct then it oxygenates dining-hall. sent10: if the reservoir is spiritualistic then that the back is a guy and not spiritualistic is incorrect. sent11: the fact that the reservoir is a kind of cross-linguistic thing that is not spiritualistic does not hold. sent12: the back is a Iresine and/or it is not deficient. sent13: if something does oxygenate dining-hall and/or is not spiritualistic then the doctorfish is spiritualistic. sent14: that the back is a kind of a guy and it is spiritualistic does not hold. sent15: the back is deficient if that the doctorfish is not a Iresine and it is not spiritualistic is not right. sent16: if something is spiritualistic it oxygenates dining-hall. sent17: if the doctorfish is cross-linguistic then the reservoir is spiritualistic. sent18: either the back does oxygenate dining-hall or it is a kind of a Iresine or both. sent19: the back is a Iresine if that the aspergill is a fur but it is not a Iresine is not true. sent20: everything is non-gyral. sent21: that the back is a guy and spiritualistic is incorrect if the reservoir is spiritualistic. sent22: the reservoir is cross-linguistic if the fact that it does ejaculate and it is not diadromous is wrong. sent23: if the back is spiritualistic then it oxygenates dining-hall. ; $proof$ = 
sent1 & sent4 -> int1: the reservoir is spiritualistic.; int1 & sent10 -> int2: that the back is a guy and is not spiritualistic does not hold.; sent9 -> int3: the back does oxygenate dining-hall if that it does guy and it is not spiritualistic is not correct.; int2 & int3 -> int4: the back does oxygenate dining-hall.; int4 -> hypothesis; __PROVED__