the otoscope is distinct.
sent1: there exists something such that it is a compendium. sent2: that the staphylococcus is protestant is not incorrect if there is something such that it is nonsurgical and is indistinct. sent3: there is something such that it is not a twelve or it is immoderate or both. sent4: there exists something such that it is not distinct. sent5: if something stints it is not surgical. sent6: The companion wrests cheetah. sent7: the fact that the calender is not immoderate and it is not protestant is not true if the gavial is a twelve. sent8: if the staphylococcus is not a welcome the gavial is a bagger and it is a twelve. sent9: that something is nonsurgical or it is symmetrical or both is wrong if it is not a stint. sent10: the staphylococcus does not welcome if the proportion is sarcosomal and is not Wilsonian. sent11: the otoscope is not symmetrical if that the cheetah is nonsurgical or it is symmetrical or both does not hold. sent12: that something is protestant is not incorrect. sent13: the proportion is sarcosomal and not Wilsonian. sent14: that the staphylococcus is indistinct is not incorrect. sent15: there is something such that it is protestant and/or is a compendium. sent16: either the calender is not a compendium or it does not gate greenskeeper or both if the cheetah wrests companion. sent17: if something is not a twelve and/or it is immoderate then the staphylococcus is non-protestant. sent18: if the calender is not a kind of a compendium or does not gate greenskeeper or both then that the gavial is symmetrical is not wrong. sent19: the cheetah wrests companion. sent20: if something is not a kind of a twelve then the staphylococcus is not protestant. sent21: the calender either is not a kind of a compendium or does gate greenskeeper or both. sent22: something wrests companion and it is indistinct if it is not symmetrical.
sent16 & sent19 -> int1: the calender is not a compendium and/or it does not gate greenskeeper.; int1 & sent18 -> int2: the gavial is symmetrical.; sent5 -> int3: the otoscope is nonsurgical if it is a kind of a stint.; void -> assump1: Let's assume that the fact that the otoscope is indistinct hold.; sent3 & sent17 -> int4: the staphylococcus is not protestant.;
the otoscope is indistinct.
sent22 -> int5: the otoscope wrests companion and is indistinct if that it is not symmetrical is true.; sent9 -> int6: the fact that the cheetah is nonsurgical and/or it is symmetrical does not hold if it is not a stint.; sent10 & sent13 -> int7: the staphylococcus does not welcome.; sent8 & int7 -> int8: the gavial is a bagger and a twelve.; int8 -> int9: the gavial is a twelve.; sent7 & int9 -> int10: the fact that the calender is a kind of non-immoderate thing that is not protestant is not right.; int10 -> int11: there exists something such that the fact that it is not immoderate and it is not protestant is incorrect.;
$hypothesis$ = the otoscope is distinct. ; $context$ = sent1: there exists something such that it is a compendium. sent2: that the staphylococcus is protestant is not incorrect if there is something such that it is nonsurgical and is indistinct. sent3: there is something such that it is not a twelve or it is immoderate or both. sent4: there exists something such that it is not distinct. sent5: if something stints it is not surgical. sent6: The companion wrests cheetah. sent7: the fact that the calender is not immoderate and it is not protestant is not true if the gavial is a twelve. sent8: if the staphylococcus is not a welcome the gavial is a bagger and it is a twelve. sent9: that something is nonsurgical or it is symmetrical or both is wrong if it is not a stint. sent10: the staphylococcus does not welcome if the proportion is sarcosomal and is not Wilsonian. sent11: the otoscope is not symmetrical if that the cheetah is nonsurgical or it is symmetrical or both does not hold. sent12: that something is protestant is not incorrect. sent13: the proportion is sarcosomal and not Wilsonian. sent14: that the staphylococcus is indistinct is not incorrect. sent15: there is something such that it is protestant and/or is a compendium. sent16: either the calender is not a compendium or it does not gate greenskeeper or both if the cheetah wrests companion. sent17: if something is not a twelve and/or it is immoderate then the staphylococcus is non-protestant. sent18: if the calender is not a kind of a compendium or does not gate greenskeeper or both then that the gavial is symmetrical is not wrong. sent19: the cheetah wrests companion. sent20: if something is not a kind of a twelve then the staphylococcus is not protestant. sent21: the calender either is not a kind of a compendium or does gate greenskeeper or both. sent22: something wrests companion and it is indistinct if it is not symmetrical. ; $proof$ = 
sent16 & sent19 -> int1: the calender is not a compendium and/or it does not gate greenskeeper.; int1 & sent18 -> int2: the gavial is symmetrical.; sent5 -> int3: the otoscope is nonsurgical if it is a kind of a stint.; void -> assump1: Let's assume that the fact that the otoscope is indistinct hold.; sent3 & sent17 -> int4: the staphylococcus is not protestant.; __UNKNOWN__