if the troposphere housecleans meprobamate then the fact that the primate bears soundbox is right.
sent1: the relaxin does not bear soundbox if the primate is interdisciplinary. sent2: the primate does not houseclean meprobamate. sent3: the primate is interdisciplinary if the relaxin bears soundbox. sent4: if the primate is not interdisciplinary the soundbox is a kind of interdisciplinary thing that is not non-autographic. sent5: if the relaxin bears soundbox then the primate is not interdisciplinary. sent6: the soundbox does not bear soundbox. sent7: if the troposphere housecleans meprobamate the soundbox is not autographic. sent8: the soundbox housecleans meprobamate and it is a Nast. sent9: the primate is not autographic. sent10: the primate does bear soundbox and housecleans meprobamate if the troposphere does not bear soundbox. sent11: the primate is interdisciplinary. sent12: the lunatic bears soundbox. sent13: if the relaxin is autographic the fact that the soundbox is not interdisciplinary is not wrong. sent14: the relaxin is not interdisciplinary if the soundbox is not autographic. sent15: the troposphere bears soundbox and housecleans meprobamate. sent16: the primate is interdisciplinary if that the relaxin is not interdisciplinary hold. sent17: the soundbox is cowardly. sent18: the fact that the relaxin is not a kind of a Ra hold. sent19: the troposphere is not interdisciplinary if the primate does houseclean meprobamate. sent20: if the relaxin does not houseclean meprobamate the troposphere is not interdisciplinary. sent21: if the relaxin is autographic then the soundbox is interdisciplinary.
void -> assump1: Let's assume that the troposphere does houseclean meprobamate.; sent7 & assump1 -> int1: that the soundbox is not autographic is not wrong.; int1 & sent14 -> int2: the relaxin is not interdisciplinary.;
$hypothesis$ = if the troposphere housecleans meprobamate then the fact that the primate bears soundbox is right. ; $context$ = sent1: the relaxin does not bear soundbox if the primate is interdisciplinary. sent2: the primate does not houseclean meprobamate. sent3: the primate is interdisciplinary if the relaxin bears soundbox. sent4: if the primate is not interdisciplinary the soundbox is a kind of interdisciplinary thing that is not non-autographic. sent5: if the relaxin bears soundbox then the primate is not interdisciplinary. sent6: the soundbox does not bear soundbox. sent7: if the troposphere housecleans meprobamate the soundbox is not autographic. sent8: the soundbox housecleans meprobamate and it is a Nast. sent9: the primate is not autographic. sent10: the primate does bear soundbox and housecleans meprobamate if the troposphere does not bear soundbox. sent11: the primate is interdisciplinary. sent12: the lunatic bears soundbox. sent13: if the relaxin is autographic the fact that the soundbox is not interdisciplinary is not wrong. sent14: the relaxin is not interdisciplinary if the soundbox is not autographic. sent15: the troposphere bears soundbox and housecleans meprobamate. sent16: the primate is interdisciplinary if that the relaxin is not interdisciplinary hold. sent17: the soundbox is cowardly. sent18: the fact that the relaxin is not a kind of a Ra hold. sent19: the troposphere is not interdisciplinary if the primate does houseclean meprobamate. sent20: if the relaxin does not houseclean meprobamate the troposphere is not interdisciplinary. sent21: if the relaxin is autographic then the soundbox is interdisciplinary. ; $proof$ = 
void -> assump1: Let's assume that the troposphere does houseclean meprobamate.; sent7 & assump1 -> int1: that the soundbox is not autographic is not wrong.; int1 & sent14 -> int2: the relaxin is not interdisciplinary.; __UNKNOWN__