there is something such that if the fact that it is not evidentiary hold then it does not fall BMI.
sent1: if the fact that the bromide is a kind of a fusil is right it is not tropical. sent2: there exists something such that if it is not evidentiary then it falls BMI. sent3: if the bromide is not a fusil it is not a spirillum. sent4: if something is not creative then the fact that it is not a decrepitation is not wrong. sent5: the bromide does not fall BMI if it is not evidentiary.
sent5 -> hypothesis;
if the circlet is not creative then it is not a decrepitation.
sent4 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it is not evidentiary hold then it does not fall BMI. ; $context$ = sent1: if the fact that the bromide is a kind of a fusil is right it is not tropical. sent2: there exists something such that if it is not evidentiary then it falls BMI. sent3: if the bromide is not a fusil it is not a spirillum. sent4: if something is not creative then the fact that it is not a decrepitation is not wrong. sent5: the bromide does not fall BMI if it is not evidentiary. ; $proof$ = 
sent5 -> hypothesis; __PROVED__