if the Hasidim does hollow the viroid is a kind of a hillside.
sent1: the Hasidim is a hillside if it is a goodwill. sent2: the basidiocarp is a framboise if that it is a kind of a hillside is right. sent3: if the Hasidim is a kind of a hollow then the viroid is a kind of a goodwill. sent4: if the Hasidim is a goodwill the viroid hollows. sent5: if the Hasidim is a kind of a hillside then the viroid does hollow. sent6: that the viroid is a hillside if the Hasidim is a kind of an overhaul is not wrong. sent7: if the scold is a hillside the Shahaptian is a hollow. sent8: the Hasidim is a hillside if the viroid does hollow. sent9: if the viroid wears supergrass the Hasidim is a kind of a nominative. sent10: the Hasidim is a hillside if the fact that the viroid is a goodwill is correct. sent11: if the Hasidim is not non-hollow then that it is a goodwill is correct. sent12: the fact that the Hasidim is a kind of a aztreonam is not false. sent13: if the Hasidim is a kind of a hillside then the viroid is a goodwill. sent14: if the viroid is a goodwill the Hasidim hollows.
void -> assump1: Let's assume that the Hasidim hollows.; sent11 & assump1 -> int1: the Hasidim is a goodwill.;
$hypothesis$ = if the Hasidim does hollow the viroid is a kind of a hillside. ; $context$ = sent1: the Hasidim is a hillside if it is a goodwill. sent2: the basidiocarp is a framboise if that it is a kind of a hillside is right. sent3: if the Hasidim is a kind of a hollow then the viroid is a kind of a goodwill. sent4: if the Hasidim is a goodwill the viroid hollows. sent5: if the Hasidim is a kind of a hillside then the viroid does hollow. sent6: that the viroid is a hillside if the Hasidim is a kind of an overhaul is not wrong. sent7: if the scold is a hillside the Shahaptian is a hollow. sent8: the Hasidim is a hillside if the viroid does hollow. sent9: if the viroid wears supergrass the Hasidim is a kind of a nominative. sent10: the Hasidim is a hillside if the fact that the viroid is a goodwill is correct. sent11: if the Hasidim is not non-hollow then that it is a goodwill is correct. sent12: the fact that the Hasidim is a kind of a aztreonam is not false. sent13: if the Hasidim is a kind of a hillside then the viroid is a goodwill. sent14: if the viroid is a goodwill the Hasidim hollows. ; $proof$ = 
void -> assump1: Let's assume that the Hasidim hollows.; sent11 & assump1 -> int1: the Hasidim is a goodwill.; __UNKNOWN__