the rhesus is uppercase.
sent1: if the rhesus is not an interception it does not sign Evert. sent2: there is something such that it does clear numerator and it does not company conventicle. sent3: that the diffraction either is not a kind of an emcee or does not connote or both is wrong if it companies hogfish. sent4: there exists something such that it is random. sent5: if the rhesus is not a kind of an interception then it does not sign Evert and it is a phalarope. sent6: the gyrostabilizer is not a anomalopteryx but it is uppercase if it is not amphoric. sent7: the fusilier is random. sent8: the rhesus is uppercase if it does not sign Evert and is a phalarope. sent9: that the fusilier is both random and an interception is false if there is something such that that it does not company miso is correct. sent10: something is a phalarope that does not sign Evert if it is a motherwort. sent11: the fusilier does company miso if something that is a kind of an interception is random. sent12: if something is a phalarope but it does not sign Evert then that the simulation does not company miso is not false. sent13: the rhesus does not sign Evert. sent14: if the rhesus does sign Evert and is a phalarope then it is uppercase. sent15: something that is mass-spectrometric is a motherwort. sent16: there exists something such that it is an interception. sent17: the drivel is a kind of a Nicolson if that either the diffraction does not emcee or it does not connote or both is false. sent18: the fact that the fusilier does not company miso hold. sent19: the Ottoman is mass-spectrometric if it is a Nicolson. sent20: the fact that if something is a accountantship and/or it is a Nicolson the Ottoman is a kind of a Nicolson hold. sent21: if the fusilier does not company miso and is uppercase it is not nonrandom. sent22: the zinnwaldite is uppercase. sent23: The fact that the miso does not company fusilier hold. sent24: the diffraction companies hogfish if something does clear numerator and does not company conventicle. sent25: the fusilier does not sign Evert.
the rhesus is not uppercase.
sent10 -> int1: the fact that if the Ottoman is a kind of the motherwort the Ottoman is a phalarope but it does not sign Evert is right.; sent15 -> int2: the fact that the Ottoman is a kind of a motherwort is true if it is mass-spectrometric.; sent2 & sent24 -> int3: the diffraction does company hogfish.; sent3 & int3 -> int4: the fact that the diffraction is not a kind of an emcee or does not connote or both is false.; sent17 & int4 -> int5: the drivel is a Nicolson.; int5 -> int6: the drivel is a accountantship and/or it is a Nicolson.; int6 -> int7: there is something such that it is a kind of a accountantship or it is a Nicolson or both.; int7 & sent20 -> int8: the Ottoman is a kind of a Nicolson.; sent19 & int8 -> int9: the Ottoman is not non-mass-spectrometric.; int2 & int9 -> int10: the Ottoman is a kind of a motherwort.; int1 & int10 -> int11: the Ottoman is a phalarope and does not sign Evert.; int11 -> int12: the fact that there is something such that it is a phalarope and does not sign Evert is correct.; int12 & sent12 -> int13: the simulation does not company miso.; int13 -> int14: there exists something such that the fact that it does not company miso is correct.; int14 & sent9 -> int15: that the fusilier is random and it is an interception does not hold.; int15 -> int16: there exists something such that the fact that it is random and it is a kind of an interception is false.;
$hypothesis$ = the rhesus is uppercase. ; $context$ = sent1: if the rhesus is not an interception it does not sign Evert. sent2: there is something such that it does clear numerator and it does not company conventicle. sent3: that the diffraction either is not a kind of an emcee or does not connote or both is wrong if it companies hogfish. sent4: there exists something such that it is random. sent5: if the rhesus is not a kind of an interception then it does not sign Evert and it is a phalarope. sent6: the gyrostabilizer is not a anomalopteryx but it is uppercase if it is not amphoric. sent7: the fusilier is random. sent8: the rhesus is uppercase if it does not sign Evert and is a phalarope. sent9: that the fusilier is both random and an interception is false if there is something such that that it does not company miso is correct. sent10: something is a phalarope that does not sign Evert if it is a motherwort. sent11: the fusilier does company miso if something that is a kind of an interception is random. sent12: if something is a phalarope but it does not sign Evert then that the simulation does not company miso is not false. sent13: the rhesus does not sign Evert. sent14: if the rhesus does sign Evert and is a phalarope then it is uppercase. sent15: something that is mass-spectrometric is a motherwort. sent16: there exists something such that it is an interception. sent17: the drivel is a kind of a Nicolson if that either the diffraction does not emcee or it does not connote or both is false. sent18: the fact that the fusilier does not company miso hold. sent19: the Ottoman is mass-spectrometric if it is a Nicolson. sent20: the fact that if something is a accountantship and/or it is a Nicolson the Ottoman is a kind of a Nicolson hold. sent21: if the fusilier does not company miso and is uppercase it is not nonrandom. sent22: the zinnwaldite is uppercase. sent23: The fact that the miso does not company fusilier hold. sent24: the diffraction companies hogfish if something does clear numerator and does not company conventicle. sent25: the fusilier does not sign Evert. ; $proof$ = 
__UNKNOWN__