the timbale is infectious.
sent1: if the Stinger is not incongruent the primary is real-time and/or a Appalachians. sent2: the timbale does crumble exotherm if that it is transactinide hold. sent3: the twitterer is a Appalachians if the primary is real-time. sent4: the sheikdom does string if it does crib. sent5: if something does not clear it does begin and it is a serialism. sent6: the twitterer is a kind of a Appalachians if that the primary is a Appalachians is correct. sent7: if the sheikdom is a string the exotherm is not intolerant. sent8: the timbale is not a kind of a serialism. sent9: if that the exotherm is not a log and not incongruent is wrong the Stinger is not incongruent. sent10: if the timbale does begin and is not a kind of a serialism then it is infectious. sent11: the timbale is a kind of a transactinide if there is something such that it is not a fisher. sent12: the sheikdom does crib and it does erase if there is something such that it tweezes cougar. sent13: the twitterer is not a clear if it is a kind of a Rosicrucian and/or it is Appalachians. sent14: there exists something such that it tweezes cougar. sent15: if the exotherm is not intolerant then that it is not a log and not incongruent does not hold. sent16: the fact that if there exists something such that that that it is both non-subjunctive and a fisher hold is wrong then the timbale is a transactinide hold. sent17: there exists something such that the fact that it is both not subjunctive and a fisher is false. sent18: the sheikdom begins.
sent17 & sent16 -> int1: the timbale is a transactinide.; int1 & sent2 -> int2: the timbale crumbles exotherm.;
the timbale is not infectious.
sent5 -> int3: if the twitterer is not clear then it begins and is a serialism.; sent14 & sent12 -> int4: the sheikdom does crib and it does erase.; int4 -> int5: the sheikdom cribs.; sent4 & int5 -> int6: the sheikdom does string.; sent7 & int6 -> int7: the exotherm is not intolerant.; sent15 & int7 -> int8: that that the exotherm is both not a log and not incongruent is correct is not right.; sent9 & int8 -> int9: the Stinger is not incongruent.; sent1 & int9 -> int10: the primary is real-time or a Appalachians or both.; int10 & sent3 & sent6 -> int11: the twitterer is a Appalachians.; int11 -> int12: either the twitterer is Rosicrucian or it is a kind of a Appalachians or both.; sent13 & int12 -> int13: the twitterer is unclear.; int3 & int13 -> int14: the twitterer begins and it is a kind of a serialism.; int14 -> int15: the fact that the twitterer begins is correct.;
$hypothesis$ = the timbale is infectious. ; $context$ = sent1: if the Stinger is not incongruent the primary is real-time and/or a Appalachians. sent2: the timbale does crumble exotherm if that it is transactinide hold. sent3: the twitterer is a Appalachians if the primary is real-time. sent4: the sheikdom does string if it does crib. sent5: if something does not clear it does begin and it is a serialism. sent6: the twitterer is a kind of a Appalachians if that the primary is a Appalachians is correct. sent7: if the sheikdom is a string the exotherm is not intolerant. sent8: the timbale is not a kind of a serialism. sent9: if that the exotherm is not a log and not incongruent is wrong the Stinger is not incongruent. sent10: if the timbale does begin and is not a kind of a serialism then it is infectious. sent11: the timbale is a kind of a transactinide if there is something such that it is not a fisher. sent12: the sheikdom does crib and it does erase if there is something such that it tweezes cougar. sent13: the twitterer is not a clear if it is a kind of a Rosicrucian and/or it is Appalachians. sent14: there exists something such that it tweezes cougar. sent15: if the exotherm is not intolerant then that it is not a log and not incongruent does not hold. sent16: the fact that if there exists something such that that that it is both non-subjunctive and a fisher hold is wrong then the timbale is a transactinide hold. sent17: there exists something such that the fact that it is both not subjunctive and a fisher is false. sent18: the sheikdom begins. ; $proof$ = 
sent17 & sent16 -> int1: the timbale is a transactinide.; int1 & sent2 -> int2: the timbale crumbles exotherm.; __UNKNOWN__