the Seminole is a belch and/or it is not nonspatial.
sent1: the catalase is not a enol and/or it is not convex. sent2: either the bushwhacker is not a contact or it is a Ionian or both if the catalase is not non-earthy. sent3: that the catalase is archival hold if it is not a enol or is non-convex or both. sent4: if something is not earthy then the fact that it is a kind of non-strategics a reduction does not hold. sent5: if there exists something such that it is a moonshell the bushwhacker gins blockade-runner. sent6: if something sniffs it is not convex and it is not a enol. sent7: if there is something such that that the fact that it is a seminar and/or is a dynamic hold does not hold the stubble is a moonshell. sent8: the fact that that either something is a belch or it is not nonspatial or both does not hold if that it is not earthy is correct is not wrong. sent9: the Seminole is a kind of a belch and/or it is nonspatial if that the catalase is not cytological is true. sent10: if something that is not earthy is archival it is not cytological. sent11: if the thalidomide is not a kind of a stationer then that it is a seminar and/or dynamic does not hold. sent12: a non-convex thing is a reduction or not cytological or both. sent13: if the catalase is not cytological then either the Seminole is a belch or it is not nonspatial or both. sent14: something does sniff if it does gin blockade-runner. sent15: if the bushwhacker is a kind of a reduction and/or it is not cytological then the catalase is not a kind of a reduction. sent16: that the stubble is a reduction if there is something such that it is not a kind of a contact and/or it is a Ionian is right. sent17: the fact that the catalase is non-archival and is earthy is wrong if the fact that it is a kind of a reduction is not correct. sent18: something is strategics if that it is a kind of strategics a reduction is false. sent19: the thalidomide is not a kind of a stationer.
void -> assump1: Let's assume that the fact that the catalase is earthy is correct.; sent2 & assump1 -> int1: the bushwhacker is either not a contact or a Ionian or both.; int1 -> int2: either something is not a contact or it is a Ionian or both.; int2 & sent16 -> int3: that the stubble is a kind of a reduction hold.; sent3 & sent1 -> int4: the catalase is archival.; sent10 -> int5: if the catalase is not earthy but archival then it is not cytological.;
there is something such that it does not disown pink or it is strategics or both.
sent18 -> int6: if that the catalase is not strategics but it is a reduction does not hold it is strategics.; sent4 -> int7: that that the bushwhacker is not strategics but it is a kind of a reduction does not hold is not incorrect if it is not earthy.;
$hypothesis$ = the Seminole is a belch and/or it is not nonspatial. ; $context$ = sent1: the catalase is not a enol and/or it is not convex. sent2: either the bushwhacker is not a contact or it is a Ionian or both if the catalase is not non-earthy. sent3: that the catalase is archival hold if it is not a enol or is non-convex or both. sent4: if something is not earthy then the fact that it is a kind of non-strategics a reduction does not hold. sent5: if there exists something such that it is a moonshell the bushwhacker gins blockade-runner. sent6: if something sniffs it is not convex and it is not a enol. sent7: if there is something such that that the fact that it is a seminar and/or is a dynamic hold does not hold the stubble is a moonshell. sent8: the fact that that either something is a belch or it is not nonspatial or both does not hold if that it is not earthy is correct is not wrong. sent9: the Seminole is a kind of a belch and/or it is nonspatial if that the catalase is not cytological is true. sent10: if something that is not earthy is archival it is not cytological. sent11: if the thalidomide is not a kind of a stationer then that it is a seminar and/or dynamic does not hold. sent12: a non-convex thing is a reduction or not cytological or both. sent13: if the catalase is not cytological then either the Seminole is a belch or it is not nonspatial or both. sent14: something does sniff if it does gin blockade-runner. sent15: if the bushwhacker is a kind of a reduction and/or it is not cytological then the catalase is not a kind of a reduction. sent16: that the stubble is a reduction if there is something such that it is not a kind of a contact and/or it is a Ionian is right. sent17: the fact that the catalase is non-archival and is earthy is wrong if the fact that it is a kind of a reduction is not correct. sent18: something is strategics if that it is a kind of strategics a reduction is false. sent19: the thalidomide is not a kind of a stationer. ; $proof$ = 
void -> assump1: Let's assume that the fact that the catalase is earthy is correct.; sent2 & assump1 -> int1: the bushwhacker is either not a contact or a Ionian or both.; int1 -> int2: either something is not a contact or it is a Ionian or both.; int2 & sent16 -> int3: that the stubble is a kind of a reduction hold.; sent3 & sent1 -> int4: the catalase is archival.; sent10 -> int5: if the catalase is not earthy but archival then it is not cytological.; __UNKNOWN__