the brainstem is diaphoretic if the viomycin is uncleared.
sent1: the viomycin is a kind of a diaphoretic. sent2: something includes genealogist if that it is not vacuolate and it does not includes genealogist does not hold. sent3: the rooftop includes genealogist. sent4: something is a kind of a diaphoretic and/or it is uncleared. sent5: the brainstem is a kind of an engineer or is a kind of a diaphoretic or both. sent6: something is not cleared. sent7: the brainstem is uncleared if the viomycin is a kind of a private. sent8: something is a private and/or it is diaphoretic. sent9: a private is not cleared. sent10: there exists something such that it is a private. sent11: if the viomycin is not diaphoretic the remedy is a diaphoretic. sent12: if the vacuole includes genealogist the brainstem is a private. sent13: something either is mercantile or is an angle or both. sent14: the viomycin is a private.
void -> assump1: Let's assume that the viomycin is uncleared.; assump1 -> int1: the viomycin is uncleared or private or both.; int1 -> int2: either something is uncleared or it is a private or both.;
that the remedy is not non-diaphoretic hold.
sent9 -> int3: if the brainstem is a kind of a private it is uncleared.; sent2 -> int4: if the fact that the vacuole is not vacuolate and it does not include genealogist is wrong then it include genealogist.; sent3 -> int5: there exists something such that it includes genealogist.;
$hypothesis$ = the brainstem is diaphoretic if the viomycin is uncleared. ; $context$ = sent1: the viomycin is a kind of a diaphoretic. sent2: something includes genealogist if that it is not vacuolate and it does not includes genealogist does not hold. sent3: the rooftop includes genealogist. sent4: something is a kind of a diaphoretic and/or it is uncleared. sent5: the brainstem is a kind of an engineer or is a kind of a diaphoretic or both. sent6: something is not cleared. sent7: the brainstem is uncleared if the viomycin is a kind of a private. sent8: something is a private and/or it is diaphoretic. sent9: a private is not cleared. sent10: there exists something such that it is a private. sent11: if the viomycin is not diaphoretic the remedy is a diaphoretic. sent12: if the vacuole includes genealogist the brainstem is a private. sent13: something either is mercantile or is an angle or both. sent14: the viomycin is a private. ; $proof$ = 
void -> assump1: Let's assume that the viomycin is uncleared.; assump1 -> int1: the viomycin is uncleared or private or both.; int1 -> int2: either something is uncleared or it is a private or both.; __UNKNOWN__