there is something such that if it is not non-fermentable then it is not a cabbage.
sent1: the provider does not lob corner. sent2: the hosteller is abbatial. sent3: everything owes. sent4: something is not fermentable if it is a kind of a cabbage and is a kind of a hydrosphere. sent5: the hosteller is anaglyphic if it is oleophobic. sent6: there exists something such that if that it is fermentable is not false then it is a cabbage. sent7: something is a kind of a transferability if it does owe. sent8: that the hosteller does not lob corner and it is not a cabbage is wrong if the californium is a hydrosphere. sent9: the hosteller is fermentable if it is a cabbage and it is a hydrosphere. sent10: something is not fermentable if it is not valvular and/or it does not ban languor. sent11: the horsetail is a cabbage. sent12: the californium is a hydrosphere if it is not fermentable. sent13: that the pepperwort is not a kind of a necklet but it forecasts does not hold. sent14: the hosteller is not a kind of a cancroid. sent15: that the monoclonal does not lob corner if that the hosteller does not lob corner and is not a kind of a cabbage does not hold hold. sent16: something is fermentable if it is a cabbage and it is a hydrosphere. sent17: the megalosaur is fermentable if it is anoxemic. sent18: the fact that the hosteller does not lob corner and is not arboreal does not hold. sent19: if the hosteller does ban difflugia it is a cabbage.
void -> assump2: Let's assume that the hosteller is a kind of a cabbage.; sent4 -> int1: if the hosteller is a cabbage that is a hydrosphere then it is not fermentable.;
the monoclonal does not lob corner.
sent10 -> int2: if either the californium is not valvular or it does not ban languor or both then it is not fermentable.; sent7 -> int3: the keratoscope is a transferability if it owes.; sent3 -> int4: the keratoscope does owe.; int3 & int4 -> int5: the keratoscope is a kind of a transferability.;
$hypothesis$ = there is something such that if it is not non-fermentable then it is not a cabbage. ; $context$ = sent1: the provider does not lob corner. sent2: the hosteller is abbatial. sent3: everything owes. sent4: something is not fermentable if it is a kind of a cabbage and is a kind of a hydrosphere. sent5: the hosteller is anaglyphic if it is oleophobic. sent6: there exists something such that if that it is fermentable is not false then it is a cabbage. sent7: something is a kind of a transferability if it does owe. sent8: that the hosteller does not lob corner and it is not a cabbage is wrong if the californium is a hydrosphere. sent9: the hosteller is fermentable if it is a cabbage and it is a hydrosphere. sent10: something is not fermentable if it is not valvular and/or it does not ban languor. sent11: the horsetail is a cabbage. sent12: the californium is a hydrosphere if it is not fermentable. sent13: that the pepperwort is not a kind of a necklet but it forecasts does not hold. sent14: the hosteller is not a kind of a cancroid. sent15: that the monoclonal does not lob corner if that the hosteller does not lob corner and is not a kind of a cabbage does not hold hold. sent16: something is fermentable if it is a cabbage and it is a hydrosphere. sent17: the megalosaur is fermentable if it is anoxemic. sent18: the fact that the hosteller does not lob corner and is not arboreal does not hold. sent19: if the hosteller does ban difflugia it is a cabbage. ; $proof$ = 
void -> assump2: Let's assume that the hosteller is a kind of a cabbage.; sent4 -> int1: if the hosteller is a cabbage that is a hydrosphere then it is not fermentable.; __UNKNOWN__