the slops does not besiege beroe but it besieges bimillennium if the boffin is not a kind of a currentness.
sent1: the boffin does not besiege bimillennium if that the slops is not a currentness hold. sent2: if the stubble does besiege bimillennium the boffin is not a kind of a currentness but it does besiege bimillennium. sent3: the stubble does besiege bimillennium if something is not a currentness. sent4: the slops is a currentness. sent5: if the fact that the boffin does besiege beroe is not incorrect that the slops does not besiege bimillennium but it is a currentness is right. sent6: if there exists something such that it is a currentness the boffin does besiege bimillennium. sent7: if the stubble is not a kind of a currentness the boffin does not besiege bimillennium and besieges beroe. sent8: if the stubble besieges bimillennium the slops does not besiege beroe but it besieges bimillennium. sent9: that the stubble is not a currentness hold if the boffin does not besiege bimillennium. sent10: the stubble does not besiege beroe. sent11: if the boffin is not a currentness the slops does not besiege beroe. sent12: the slops is lentic. sent13: the fact that the boffin does not besiege beroe is not correct. sent14: the stubble is not deliverable. sent15: the fact that the boffin besieges beroe is right if there is something such that it is not a kind of a currentness. sent16: if the stubble is not a kind of a currentness then the slops does not besiege beroe and does besiege bimillennium. sent17: everything is not a helianthemum and not campanulate.
void -> assump1: Let's assume that the boffin is not a currentness.; assump1 -> int1: something is not a currentness.; int1 & sent3 -> int2: the stubble does besiege bimillennium.; sent8 & int2 -> int3: the slops does not besiege beroe and does besiege bimillennium.; [assump1] & int3 -> hypothesis;
the fairlead does besiege bimillennium.
sent17 -> int4: the stubble is not a helianthemum and is not campanulate.; int4 -> int5: something is not a helianthemum and is not campanulate.;
$hypothesis$ = the slops does not besiege beroe but it besieges bimillennium if the boffin is not a kind of a currentness. ; $context$ = sent1: the boffin does not besiege bimillennium if that the slops is not a currentness hold. sent2: if the stubble does besiege bimillennium the boffin is not a kind of a currentness but it does besiege bimillennium. sent3: the stubble does besiege bimillennium if something is not a currentness. sent4: the slops is a currentness. sent5: if the fact that the boffin does besiege beroe is not incorrect that the slops does not besiege bimillennium but it is a currentness is right. sent6: if there exists something such that it is a currentness the boffin does besiege bimillennium. sent7: if the stubble is not a kind of a currentness the boffin does not besiege bimillennium and besieges beroe. sent8: if the stubble besieges bimillennium the slops does not besiege beroe but it besieges bimillennium. sent9: that the stubble is not a currentness hold if the boffin does not besiege bimillennium. sent10: the stubble does not besiege beroe. sent11: if the boffin is not a currentness the slops does not besiege beroe. sent12: the slops is lentic. sent13: the fact that the boffin does not besiege beroe is not correct. sent14: the stubble is not deliverable. sent15: the fact that the boffin besieges beroe is right if there is something such that it is not a kind of a currentness. sent16: if the stubble is not a kind of a currentness then the slops does not besiege beroe and does besiege bimillennium. sent17: everything is not a helianthemum and not campanulate. ; $proof$ = 
void -> assump1: Let's assume that the boffin is not a currentness.; assump1 -> int1: something is not a currentness.; int1 & sent3 -> int2: the stubble does besiege bimillennium.; sent8 & int2 -> int3: the slops does not besiege beroe and does besiege bimillennium.; [assump1] & int3 -> hypothesis; __PROVED__