if the babies'-breath is a BIN then the obliger does refine single-mindedness.
sent1: the obliger is a shearwater if the babies'-breath is a BIN. sent2: if the babies'-breath is a shearwater the obliger budgets sicklepod. sent3: if something is a shearwater it budgets sicklepod. sent4: the obliger is a shearwater if it is a kind of a Cremona.
void -> assump1: Let's assume that the babies'-breath is a BIN.; sent1 & assump1 -> int1: the obliger is a kind of a shearwater.; sent3 -> int2: that the obliger budgets sicklepod hold if it is a shearwater.; int1 & int2 -> int3: the fact that the obliger budgets sicklepod is not incorrect.;
$hypothesis$ = if the babies'-breath is a BIN then the obliger does refine single-mindedness. ; $context$ = sent1: the obliger is a shearwater if the babies'-breath is a BIN. sent2: if the babies'-breath is a shearwater the obliger budgets sicklepod. sent3: if something is a shearwater it budgets sicklepod. sent4: the obliger is a shearwater if it is a kind of a Cremona. ; $proof$ = 
void -> assump1: Let's assume that the babies'-breath is a BIN.; sent1 & assump1 -> int1: the obliger is a kind of a shearwater.; sent3 -> int2: that the obliger budgets sicklepod hold if it is a shearwater.; int1 & int2 -> int3: the fact that the obliger budgets sicklepod is not incorrect.; __UNKNOWN__