the hypotonicity is not a kind of a Otus.
sent1: the hypotonicity does not mismanage straphanger. sent2: the straphanger is not uncomplimentary if the fact that the hypotonicity is a kind of a Otus is not incorrect. sent3: the straphanger denatures. sent4: the struggler is a kind of a Otus. sent5: something is a kind of a Otus if it does not denature and/or it is not uncomplimentary. sent6: the straphanger is not a kind of a bilabial. sent7: the minicomputer is not a Otus. sent8: if the straphanger is not a kind of a hart's-tongue then the hypotonicity does not denature or is flattering or both. sent9: something does not mismanage hegari if it is not phrenological. sent10: if something is not uncomplimentary then it does not denature. sent11: the oscine is not astragalar if it is not a Otus. sent12: something is not a kind of an intruder if it is not nonsignificant. sent13: the inflater does denature. sent14: the hypotonicity does not organize U. sent15: the hypotonicity is not capillary.
void -> assump1: Let's assume that the hypotonicity is a Otus.; sent2 & assump1 -> int1: the straphanger is not uncomplimentary.; sent10 -> int2: the straphanger does not denature if it is not uncomplimentary.; int1 & int2 -> int3: the straphanger does not denature.; int3 & sent3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
the hypotonicity is a Otus.
sent5 -> int5: if the hypotonicity does not denature or it is not uncomplimentary or both then it is a Otus.;
$hypothesis$ = the hypotonicity is not a kind of a Otus. ; $context$ = sent1: the hypotonicity does not mismanage straphanger. sent2: the straphanger is not uncomplimentary if the fact that the hypotonicity is a kind of a Otus is not incorrect. sent3: the straphanger denatures. sent4: the struggler is a kind of a Otus. sent5: something is a kind of a Otus if it does not denature and/or it is not uncomplimentary. sent6: the straphanger is not a kind of a bilabial. sent7: the minicomputer is not a Otus. sent8: if the straphanger is not a kind of a hart's-tongue then the hypotonicity does not denature or is flattering or both. sent9: something does not mismanage hegari if it is not phrenological. sent10: if something is not uncomplimentary then it does not denature. sent11: the oscine is not astragalar if it is not a Otus. sent12: something is not a kind of an intruder if it is not nonsignificant. sent13: the inflater does denature. sent14: the hypotonicity does not organize U. sent15: the hypotonicity is not capillary. ; $proof$ = 
void -> assump1: Let's assume that the hypotonicity is a Otus.; sent2 & assump1 -> int1: the straphanger is not uncomplimentary.; sent10 -> int2: the straphanger does not denature if it is not uncomplimentary.; int1 & int2 -> int3: the straphanger does not denature.; int3 & sent3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __PROVED__