the fact that there is something such that if it is a lyssavirus it does not result instep and is non-pubic is not right.
sent1: something that is a kind of non-pubic thing that is bismuthic is a megestrol. sent2: the catcher is not bismuthic if it is both not therapeutic and a megestrol. sent3: if something is prosodic then it does not result instep. sent4: if something does not assume and is a megestrol then it is not counterterror. sent5: the azathioprine is therapeutic. sent6: the catcher is a megestrol. sent7: a prosodic thing does not result instep and is not pubic. sent8: something is prosodic if it is not bismuthic and it is a lyssavirus. sent9: the anthologist is not a dockside and not perigonal. sent10: the catcher is non-eremitic and is not non-pubic. sent11: the catcher is non-therapeutic but it is a megestrol. sent12: the catcher does reflect Echinocereus. sent13: the catcher does not result instep and is pubic. sent14: the catcher is not counterterror if it is a kind of a lyssavirus. sent15: if something results instep it is not a megestrol but pubic. sent16: if the catcher is prosodic it does not result instep. sent17: there exists something such that if it is bismuthic it is not a megestrol.
sent2 & sent11 -> int1: the catcher is not bismuthic.; void -> assump1: Let's assume that that the catcher is not a kind of a lyssavirus is not correct.; int1 & assump1 -> int2: the catcher is a kind of non-bismuthic a lyssavirus.; sent8 -> int3: if the catcher is not bismuthic but it is a kind of a lyssavirus it is prosodic.; int2 & int3 -> int4: the catcher is prosodic.; sent7 -> int5: the catcher does not result instep and it is not pubic if it is prosodic.; int4 & int5 -> int6: the catcher does not result instep and is not pubic.; [assump1] & int6 -> int7: the catcher does not result instep and is not pubic if it is a lyssavirus.; int7 -> hypothesis;
if the cloakroom does not assume and is a megestrol then it is not counterterror.
sent4 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is a lyssavirus it does not result instep and is non-pubic is not right. ; $context$ = sent1: something that is a kind of non-pubic thing that is bismuthic is a megestrol. sent2: the catcher is not bismuthic if it is both not therapeutic and a megestrol. sent3: if something is prosodic then it does not result instep. sent4: if something does not assume and is a megestrol then it is not counterterror. sent5: the azathioprine is therapeutic. sent6: the catcher is a megestrol. sent7: a prosodic thing does not result instep and is not pubic. sent8: something is prosodic if it is not bismuthic and it is a lyssavirus. sent9: the anthologist is not a dockside and not perigonal. sent10: the catcher is non-eremitic and is not non-pubic. sent11: the catcher is non-therapeutic but it is a megestrol. sent12: the catcher does reflect Echinocereus. sent13: the catcher does not result instep and is pubic. sent14: the catcher is not counterterror if it is a kind of a lyssavirus. sent15: if something results instep it is not a megestrol but pubic. sent16: if the catcher is prosodic it does not result instep. sent17: there exists something such that if it is bismuthic it is not a megestrol. ; $proof$ = 
sent2 & sent11 -> int1: the catcher is not bismuthic.; void -> assump1: Let's assume that that the catcher is not a kind of a lyssavirus is not correct.; int1 & assump1 -> int2: the catcher is a kind of non-bismuthic a lyssavirus.; sent8 -> int3: if the catcher is not bismuthic but it is a kind of a lyssavirus it is prosodic.; int2 & int3 -> int4: the catcher is prosodic.; sent7 -> int5: the catcher does not result instep and it is not pubic if it is prosodic.; int4 & int5 -> int6: the catcher does not result instep and is not pubic.; [assump1] & int6 -> int7: the catcher does not result instep and is not pubic if it is a lyssavirus.; int7 -> hypothesis; __DISPROVED__