the otoscope is a knot.
sent1: the mammogram is not latitudinal. sent2: if the sensation is not gluttonous then that the mammogram does not credit Baptisia and is not latitudinal is not correct. sent3: that the otoscope is not a knot is incorrect if it does incurvate Nijinsky. sent4: if the sensation is latitudinal the adjutant is gluttonous and does not withdraw. sent5: if the adjutant does not withdraw then the distillate is a wedge and is a NH. sent6: the mammogram does credit Baptisia and it is a wedge if it is not a NH. sent7: the sensation is not coccal. sent8: if the fact that the adjutant withdraws hold then the sensation is not gluttonous. sent9: something is not a kind of a funicular. sent10: something does not credit Baptisia and it is not latitudinal if it does not credit Plovdiv. sent11: that the mammogram does not credit Baptisia and is latitudinal is not right. sent12: there exists something such that the fact that the fact that it credits Plovdiv and/or is a kind of a knot is not wrong is not true. sent13: the mammogram does not credit Plovdiv if there is something such that the fact that either it is coccal or it is a funicular or both is not correct. sent14: the otoscope incurvates Nijinsky if the distillate is a NH. sent15: if the mammogram does not credit Plovdiv it is not latitudinal. sent16: if something does not credit Plovdiv that it is not latitudinal is correct. sent17: something is not coccal. sent18: if the adjutant does not withdraw then the distillate wedges. sent19: there exists something such that that it is coccal and/or is funicular is not true. sent20: if something is latitudinal it is not gluttonous. sent21: if the mammogram is latitudinal the sensation is latitudinal. sent22: the otoscope is not coccal and it does not withdraw if the adjutant is not gluttonous.
void -> assump1: Let's assume that the adjutant withdraws.; sent8 & assump1 -> int1: the sensation is not gluttonous.; int1 & sent2 -> int2: the fact that that the mammogram does not credit Baptisia and it is not latitudinal is not true hold.; sent10 -> int3: the mammogram does not credit Baptisia and is not latitudinal if it does not credit Plovdiv.; sent19 & sent13 -> int4: the mammogram does not credit Plovdiv.; int3 & int4 -> int5: the fact that the mammogram does not credit Baptisia and it is not latitudinal is not false.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the adjutant does not withdraw.; int7 & sent5 -> int8: the distillate is a wedge and it is a kind of a NH.; int8 -> int9: the distillate is a NH.; int9 & sent14 -> int10: the otoscope incurvates Nijinsky.; int10 & sent3 -> hypothesis;
the otoscope is not a kind of a knot.
$hypothesis$ = the otoscope is a knot. ; $context$ = sent1: the mammogram is not latitudinal. sent2: if the sensation is not gluttonous then that the mammogram does not credit Baptisia and is not latitudinal is not correct. sent3: that the otoscope is not a knot is incorrect if it does incurvate Nijinsky. sent4: if the sensation is latitudinal the adjutant is gluttonous and does not withdraw. sent5: if the adjutant does not withdraw then the distillate is a wedge and is a NH. sent6: the mammogram does credit Baptisia and it is a wedge if it is not a NH. sent7: the sensation is not coccal. sent8: if the fact that the adjutant withdraws hold then the sensation is not gluttonous. sent9: something is not a kind of a funicular. sent10: something does not credit Baptisia and it is not latitudinal if it does not credit Plovdiv. sent11: that the mammogram does not credit Baptisia and is latitudinal is not right. sent12: there exists something such that the fact that the fact that it credits Plovdiv and/or is a kind of a knot is not wrong is not true. sent13: the mammogram does not credit Plovdiv if there is something such that the fact that either it is coccal or it is a funicular or both is not correct. sent14: the otoscope incurvates Nijinsky if the distillate is a NH. sent15: if the mammogram does not credit Plovdiv it is not latitudinal. sent16: if something does not credit Plovdiv that it is not latitudinal is correct. sent17: something is not coccal. sent18: if the adjutant does not withdraw then the distillate wedges. sent19: there exists something such that that it is coccal and/or is funicular is not true. sent20: if something is latitudinal it is not gluttonous. sent21: if the mammogram is latitudinal the sensation is latitudinal. sent22: the otoscope is not coccal and it does not withdraw if the adjutant is not gluttonous. ; $proof$ = 
void -> assump1: Let's assume that the adjutant withdraws.; sent8 & assump1 -> int1: the sensation is not gluttonous.; int1 & sent2 -> int2: the fact that that the mammogram does not credit Baptisia and it is not latitudinal is not true hold.; sent10 -> int3: the mammogram does not credit Baptisia and is not latitudinal if it does not credit Plovdiv.; sent19 & sent13 -> int4: the mammogram does not credit Plovdiv.; int3 & int4 -> int5: the fact that the mammogram does not credit Baptisia and it is not latitudinal is not false.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the adjutant does not withdraw.; int7 & sent5 -> int8: the distillate is a wedge and it is a kind of a NH.; int8 -> int9: the distillate is a NH.; int9 & sent14 -> int10: the otoscope incurvates Nijinsky.; int10 & sent3 -> hypothesis; __PROVED__