if the institution is oracular then the calcitonin does untune shabbiness.
sent1: if the institution is not a Mitford the calcitonin is not Pavlovian. sent2: that the institution is not uncharitable but it is a kind of a Mitford is false if it is oracular. sent3: if that the calcitonin is not a kind of a isotropy but it is a Mitford is not right the institution is not brachycephalic. sent4: if that the institution is not Pavlovian but it is a Mitford is wrong the calcitonin is not oracular. sent5: the institution is a isotropy. sent6: that the calcitonin is oracular is not false. sent7: if the calcitonin is not Pavlovian it is a kind of brachycephalic a isotropy. sent8: if the fact that the institution is a brachycephalic is correct then the calcitonin is a Mitford. sent9: if something is a brachycephalic then it untunes shabbiness. sent10: the calcitonin is Pavlovian if it is uncharitable. sent11: if the calcitonin is a isotropy then that it untunes shabbiness and it is uncharitable is not correct. sent12: the institution is not Pavlovian if the calcitonin untunes shabbiness. sent13: if the calcitonin is not a kind of a Mitford then it is Pavlovian and a isotropy. sent14: if something untunes shabbiness it is a isotropy. sent15: that the calcitonin is a isotropy is right. sent16: the institution does untune shabbiness if the calcitonin is oracular.
void -> assump1: Let's assume that the institution is oracular.; sent2 & assump1 -> int1: that the institution is both not uncharitable and a Mitford is incorrect.; sent9 -> int2: if the calcitonin is a brachycephalic then that it does untune shabbiness is true.;
$hypothesis$ = if the institution is oracular then the calcitonin does untune shabbiness. ; $context$ = sent1: if the institution is not a Mitford the calcitonin is not Pavlovian. sent2: that the institution is not uncharitable but it is a kind of a Mitford is false if it is oracular. sent3: if that the calcitonin is not a kind of a isotropy but it is a Mitford is not right the institution is not brachycephalic. sent4: if that the institution is not Pavlovian but it is a Mitford is wrong the calcitonin is not oracular. sent5: the institution is a isotropy. sent6: that the calcitonin is oracular is not false. sent7: if the calcitonin is not Pavlovian it is a kind of brachycephalic a isotropy. sent8: if the fact that the institution is a brachycephalic is correct then the calcitonin is a Mitford. sent9: if something is a brachycephalic then it untunes shabbiness. sent10: the calcitonin is Pavlovian if it is uncharitable. sent11: if the calcitonin is a isotropy then that it untunes shabbiness and it is uncharitable is not correct. sent12: the institution is not Pavlovian if the calcitonin untunes shabbiness. sent13: if the calcitonin is not a kind of a Mitford then it is Pavlovian and a isotropy. sent14: if something untunes shabbiness it is a isotropy. sent15: that the calcitonin is a isotropy is right. sent16: the institution does untune shabbiness if the calcitonin is oracular. ; $proof$ = 
void -> assump1: Let's assume that the institution is oracular.; sent2 & assump1 -> int1: that the institution is both not uncharitable and a Mitford is incorrect.; sent9 -> int2: if the calcitonin is a brachycephalic then that it does untune shabbiness is true.; __UNKNOWN__