there exists something such that if it is a kind of boric a monoblast then it is not Glaswegian.
sent1: there exists something such that if it is a biquadratic that does visit then it throbs. sent2: if the whiteface is both boric and a monoblast that it is Glaswegian is not wrong. sent3: there exists something such that if it is not passerine and deserves nurse-midwife it is a kind of a martyr. sent4: the whiteface is not a Glaswegian if it is not non-boric and it is a kind of a monoblast. sent5: if something is Bosnian thing that does deserve focus that it is boric is false.
sent4 -> hypothesis;
if the angelfish is a kind of Bosnian thing that deserves focus it is not boric.
sent5 -> hypothesis;
$hypothesis$ = there exists something such that if it is a kind of boric a monoblast then it is not Glaswegian. ; $context$ = sent1: there exists something such that if it is a biquadratic that does visit then it throbs. sent2: if the whiteface is both boric and a monoblast that it is Glaswegian is not wrong. sent3: there exists something such that if it is not passerine and deserves nurse-midwife it is a kind of a martyr. sent4: the whiteface is not a Glaswegian if it is not non-boric and it is a kind of a monoblast. sent5: if something is Bosnian thing that does deserve focus that it is boric is false. ; $proof$ = 
sent4 -> hypothesis; __PROVED__