that the handlebar is eponymous and is a mock-heroic hold if the fact that the appreciator is not branchial is correct.
sent1: if the fact that the Bermudan is not a icehouse and it is not a worthiness is not correct then the blues is not a kind of a mock-heroic. sent2: the appreciator is branchial if there is something such that the fact that it does not slake and/or it is not a kind of a icehouse does not hold. sent3: the handlebar is eponymous and it is a mock-heroic if the blues is not a mock-heroic. sent4: the tomtit is a worthiness.
void -> assump1: Let's assume that the Bermudan is both not a icehouse and not a worthiness.; assump1 -> int1: the Bermudan is not a icehouse.;
$hypothesis$ = that the handlebar is eponymous and is a mock-heroic hold if the fact that the appreciator is not branchial is correct. ; $context$ = sent1: if the fact that the Bermudan is not a icehouse and it is not a worthiness is not correct then the blues is not a kind of a mock-heroic. sent2: the appreciator is branchial if there is something such that the fact that it does not slake and/or it is not a kind of a icehouse does not hold. sent3: the handlebar is eponymous and it is a mock-heroic if the blues is not a mock-heroic. sent4: the tomtit is a worthiness. ; $proof$ = 
void -> assump1: Let's assume that the Bermudan is both not a icehouse and not a worthiness.; assump1 -> int1: the Bermudan is not a icehouse.; __UNKNOWN__