the pollinium is stubborn.
sent1: if the BLT is a Cathaya it is Manchurian. sent2: something is unworldly and it does nominate. sent3: that something does desexualize Mosul and it is stubborn is not correct if it is not pneumococcal. sent4: something is pneumococcal. sent5: The mayhem does mound uranium. sent6: there exists something such that it is Manchurian. sent7: there is something such that it is euphonic. sent8: there is something such that the fact that it does not nominate is not incorrect. sent9: if the uranium does mound mayhem it is pneumococcal. sent10: there is something such that it desexualizes Mosul. sent11: the pollinium is stubborn if something is Manchurian and it is euphonic. sent12: something is a kind of unworldly thing that does not nominate. sent13: if a unworldly thing does not nominate the uranium desexualizes Mosul. sent14: the uranium does mound mayhem. sent15: there are unworldly things. sent16: the fact that the BLT is a Cathaya is true.
sent12 & sent13 -> int1: the uranium does desexualize Mosul.; sent9 & sent14 -> int2: the uranium is pneumococcal.; int1 & int2 -> int3: the uranium does desexualize Mosul and is pneumococcal.; int3 -> int4: something does desexualize Mosul and is pneumococcal.; sent1 & sent16 -> int5: the BLT is Manchurian.;
the pollinium is not stubborn.
sent3 -> int6: the fact that the BLT desexualizes Mosul and it is stubborn is not correct if it is not pneumococcal.;
$hypothesis$ = the pollinium is stubborn. ; $context$ = sent1: if the BLT is a Cathaya it is Manchurian. sent2: something is unworldly and it does nominate. sent3: that something does desexualize Mosul and it is stubborn is not correct if it is not pneumococcal. sent4: something is pneumococcal. sent5: The mayhem does mound uranium. sent6: there exists something such that it is Manchurian. sent7: there is something such that it is euphonic. sent8: there is something such that the fact that it does not nominate is not incorrect. sent9: if the uranium does mound mayhem it is pneumococcal. sent10: there is something such that it desexualizes Mosul. sent11: the pollinium is stubborn if something is Manchurian and it is euphonic. sent12: something is a kind of unworldly thing that does not nominate. sent13: if a unworldly thing does not nominate the uranium desexualizes Mosul. sent14: the uranium does mound mayhem. sent15: there are unworldly things. sent16: the fact that the BLT is a Cathaya is true. ; $proof$ = 
sent12 & sent13 -> int1: the uranium does desexualize Mosul.; sent9 & sent14 -> int2: the uranium is pneumococcal.; int1 & int2 -> int3: the uranium does desexualize Mosul and is pneumococcal.; int3 -> int4: something does desexualize Mosul and is pneumococcal.; sent1 & sent16 -> int5: the BLT is Manchurian.; __UNKNOWN__