if the handyman does decrease phylloquinone then the cerumen is a Borodin.
sent1: if the pottage does not survey that the wince creams knock-knee and teems is not right. sent2: there exists something such that the fact that it decreases phylloquinone hold. sent3: if there exists something such that that it does not cream knock-knee and teems is not right then the cerumen is a kind of a Borodin. sent4: there is something such that that it is not Orwellian and it does survey does not hold. sent5: the pottage is not a survey if there exists something such that it does decrease phylloquinone or it is Orwellian or both. sent6: something does not cream knock-knee but it does teem. sent7: the fact that the wince creams knock-knee and it does teem is incorrect. sent8: there is something such that that it does cream knock-knee and teems is not right. sent9: the handyman is Orwellian. sent10: that the wince does not cream knock-knee and does decrease phylloquinone is false. sent11: there exists something such that the fact that it is Orwellian is not wrong. sent12: if there exists something such that that it creams knock-knee is right then the cerumen is a Borodin.
void -> assump1: Let's assume that the handyman does decrease phylloquinone.; assump1 -> int1: either the handyman decreases phylloquinone or it is Orwellian or both.; int1 -> int2: there exists something such that either it decreases phylloquinone or it is Orwellian or both.; int2 & sent5 -> int3: the pottage is not a kind of a survey.;
$hypothesis$ = if the handyman does decrease phylloquinone then the cerumen is a Borodin. ; $context$ = sent1: if the pottage does not survey that the wince creams knock-knee and teems is not right. sent2: there exists something such that the fact that it decreases phylloquinone hold. sent3: if there exists something such that that it does not cream knock-knee and teems is not right then the cerumen is a kind of a Borodin. sent4: there is something such that that it is not Orwellian and it does survey does not hold. sent5: the pottage is not a survey if there exists something such that it does decrease phylloquinone or it is Orwellian or both. sent6: something does not cream knock-knee but it does teem. sent7: the fact that the wince creams knock-knee and it does teem is incorrect. sent8: there is something such that that it does cream knock-knee and teems is not right. sent9: the handyman is Orwellian. sent10: that the wince does not cream knock-knee and does decrease phylloquinone is false. sent11: there exists something such that the fact that it is Orwellian is not wrong. sent12: if there exists something such that that it creams knock-knee is right then the cerumen is a Borodin. ; $proof$ = 
void -> assump1: Let's assume that the handyman does decrease phylloquinone.; assump1 -> int1: either the handyman decreases phylloquinone or it is Orwellian or both.; int1 -> int2: there exists something such that either it decreases phylloquinone or it is Orwellian or both.; int2 & sent5 -> int3: the pottage is not a kind of a survey.; __UNKNOWN__