the medlar is a Cuculidae and it is a kind of a cicerone.
sent1: if there are sensorimotor things then the deserts does not impel pining. sent2: the Lastex is a cicerone. sent3: the medlar is a Cuculidae if it is polyphonic. sent4: the fact that the andrena is sensorimotor and wieldy is not true. sent5: if the medlar does refer it is a gonioscopy. sent6: something is a Cuculidae if the fact that it is not polyphonic and does refer is incorrect. sent7: the medlar is a cicerone if the Lastex is a cicerone. sent8: a polyphonic thing is a kind of a Cuculidae. sent9: that the andrena is not sensorimotor but it is not unwieldy does not hold. sent10: the andrena is polyphonic if the medlar is not polyphonic. sent11: the medlar is architectural. sent12: the fact that the deserts does not impel pining is not false if there exists something such that the fact that it is not sensorimotor and it is wieldy does not hold. sent13: the madderwort is a pectoral if the medlar is a kind of a gonioscopy. sent14: if something is not polyphonic then the fact that it is a Cuculidae and it is a cicerone is false. sent15: that the deserts is a gonioscopy and it does impel pining is not correct. sent16: the fact that the medlar is polyphonic and it refers is not right. sent17: there exists something such that the fact that it is sensorimotor and it is wieldy is not right. sent18: something is both not sensorimotor and wieldy.
void -> assump1: Let's assume that the medlar is a kind of non-polyphonic thing that refers.; assump1 -> int1: the medlar refers.; int1 & sent5 -> int2: the medlar is a gonioscopy.; int2 & sent13 -> int3: the madderwort is a kind of a pectoral.; sent9 -> int4: there is something such that the fact that it is not sensorimotor and it is wieldy is wrong.; int4 & sent12 -> int5: the deserts does not impel pining.; sent6 -> int6: if the fact that the medlar is not polyphonic and does refer is false it is a kind of a Cuculidae.; sent7 & sent2 -> int7: the medlar is a kind of a cicerone.;
that the medlar is a kind of a Cuculidae and is a cicerone is not correct.
sent14 -> int8: if the medlar is not polyphonic the fact that it is both a Cuculidae and a cicerone is not right.;
$hypothesis$ = the medlar is a Cuculidae and it is a kind of a cicerone. ; $context$ = sent1: if there are sensorimotor things then the deserts does not impel pining. sent2: the Lastex is a cicerone. sent3: the medlar is a Cuculidae if it is polyphonic. sent4: the fact that the andrena is sensorimotor and wieldy is not true. sent5: if the medlar does refer it is a gonioscopy. sent6: something is a Cuculidae if the fact that it is not polyphonic and does refer is incorrect. sent7: the medlar is a cicerone if the Lastex is a cicerone. sent8: a polyphonic thing is a kind of a Cuculidae. sent9: that the andrena is not sensorimotor but it is not unwieldy does not hold. sent10: the andrena is polyphonic if the medlar is not polyphonic. sent11: the medlar is architectural. sent12: the fact that the deserts does not impel pining is not false if there exists something such that the fact that it is not sensorimotor and it is wieldy does not hold. sent13: the madderwort is a pectoral if the medlar is a kind of a gonioscopy. sent14: if something is not polyphonic then the fact that it is a Cuculidae and it is a cicerone is false. sent15: that the deserts is a gonioscopy and it does impel pining is not correct. sent16: the fact that the medlar is polyphonic and it refers is not right. sent17: there exists something such that the fact that it is sensorimotor and it is wieldy is not right. sent18: something is both not sensorimotor and wieldy. ; $proof$ = 
void -> assump1: Let's assume that the medlar is a kind of non-polyphonic thing that refers.; assump1 -> int1: the medlar refers.; int1 & sent5 -> int2: the medlar is a gonioscopy.; int2 & sent13 -> int3: the madderwort is a kind of a pectoral.; sent9 -> int4: there is something such that the fact that it is not sensorimotor and it is wieldy is wrong.; int4 & sent12 -> int5: the deserts does not impel pining.; sent6 -> int6: if the fact that the medlar is not polyphonic and does refer is false it is a kind of a Cuculidae.; sent7 & sent2 -> int7: the medlar is a kind of a cicerone.; __UNKNOWN__