there exists something such that if it is not a metro and it is a bunyavirus then it is not alkahestic.
sent1: there is something such that if it is not a metro and it is a bunyavirus the fact that it is alkahestic is not incorrect. sent2: if the Johnny-jump-up is unsatisfactory and alkahestic it is not a tragopan. sent3: something that is not a kind of a metro and is a bunyavirus is alkahestic. sent4: if something that is not a metro is a bunyavirus it is not alkahestic. sent5: if the knothole verbifies minium and it unzips then the fact that it is not odds is right. sent6: if the Johnny-jump-up is not a kind of a metro but it is a kind of a bunyavirus then the fact that it is alkahestic is true. sent7: if the fluvastatin is not a khaki but it is a whitefish it is a bunyavirus. sent8: if something that is not a Darwin does bedew skinny it is not Sudanese. sent9: there is something such that if it is a metro and it is a bunyavirus then it is not alkahestic. sent10: there is something such that if it does not bar doctorfish and it does verbify toroid it is not a firestorm. sent11: if the Johnny-jump-up is not spectrometric but it is unsalable it is not a kind of a bunyavirus. sent12: if the doctorfish does not deglaze ATF but it deglazes Amundsen that it is not araneidal hold. sent13: if something is not a Newcastle and bedews posterity then it is not a kind of a commando. sent14: that something is not alkahestic hold if it is a metro and is a bunyavirus. sent15: the fact that the Johnny-jump-up is not a kind of a turtle hold if it is a kind of a ginseng that is a metro.
sent4 -> int1: the fact that the Johnny-jump-up is not alkahestic is not incorrect if it is not a metro but a bunyavirus.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a metro and it is a bunyavirus then it is not alkahestic. ; $context$ = sent1: there is something such that if it is not a metro and it is a bunyavirus the fact that it is alkahestic is not incorrect. sent2: if the Johnny-jump-up is unsatisfactory and alkahestic it is not a tragopan. sent3: something that is not a kind of a metro and is a bunyavirus is alkahestic. sent4: if something that is not a metro is a bunyavirus it is not alkahestic. sent5: if the knothole verbifies minium and it unzips then the fact that it is not odds is right. sent6: if the Johnny-jump-up is not a kind of a metro but it is a kind of a bunyavirus then the fact that it is alkahestic is true. sent7: if the fluvastatin is not a khaki but it is a whitefish it is a bunyavirus. sent8: if something that is not a Darwin does bedew skinny it is not Sudanese. sent9: there is something such that if it is a metro and it is a bunyavirus then it is not alkahestic. sent10: there is something such that if it does not bar doctorfish and it does verbify toroid it is not a firestorm. sent11: if the Johnny-jump-up is not spectrometric but it is unsalable it is not a kind of a bunyavirus. sent12: if the doctorfish does not deglaze ATF but it deglazes Amundsen that it is not araneidal hold. sent13: if something is not a Newcastle and bedews posterity then it is not a kind of a commando. sent14: that something is not alkahestic hold if it is a metro and is a bunyavirus. sent15: the fact that the Johnny-jump-up is not a kind of a turtle hold if it is a kind of a ginseng that is a metro. ; $proof$ = 
sent4 -> int1: the fact that the Johnny-jump-up is not alkahestic is not incorrect if it is not a metro but a bunyavirus.; int1 -> hypothesis; __PROVED__