the glycoprotein is pacific.
sent1: the glycoprotein is a kind of a riband if that the verdin either is not nasopharyngeal or is not a kind of a pounce or both does not hold. sent2: the glycoprotein is not reportable. sent3: the glycoprotein is uncertain. sent4: the verdin is lidless. sent5: the verdin does miscarry hysteroscopy if the weigela is not a oroide. sent6: if the verdin does not smash strum then it is a Michigan. sent7: something is not uncertain if it is nasopharyngeal. sent8: if the fact that the glycoprotein is not uncharitable is not wrong the verdin is ergotic. sent9: if something is a riband then it is not nasopharyngeal. sent10: if the verdin is non-nasopharyngeal or not a pounce or both then it is uncharitable. sent11: the weigela is not a kind of a riband. sent12: the weigela is not a oroide if that it is reportable and it is a kind of a oroide does not hold. sent13: the glycoprotein is ergotic if it is uncertain. sent14: if something is uncharitable it does not miscarry hysteroscopy. sent15: if something is a kind of a riband that is ergotic it is not pacific. sent16: the fact that the weigela is not unreportable and it is a oroide is not right. sent17: the glycoprotein is not a oblateness. sent18: the weigela reigns mouton. sent19: if something does reign Lycosa then it is not rigid.
void -> assump1: Let's assume that either the verdin is not nasopharyngeal or it is not a pounce or both.; sent10 & assump1 -> int1: the verdin is uncharitable.; sent14 -> int2: if the verdin is uncharitable it does not miscarry hysteroscopy.; int1 & int2 -> int3: the verdin does not miscarry hysteroscopy.; sent12 & sent16 -> int4: the weigela is not a kind of a oroide.; sent5 & int4 -> int5: the verdin miscarries hysteroscopy.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the verdin is not nasopharyngeal or it is not a pounce or both does not hold.; int7 & sent1 -> int8: the glycoprotein is a riband.; sent13 & sent3 -> int9: the glycoprotein is ergotic.; int8 & int9 -> int10: the glycoprotein is both a riband and not non-ergotic.; sent15 -> int11: the fact that that the glycoprotein is pacific hold does not hold if it is both a riband and ergotic.; int10 & int11 -> hypothesis;
$hypothesis$ = the glycoprotein is pacific. ; $context$ = sent1: the glycoprotein is a kind of a riband if that the verdin either is not nasopharyngeal or is not a kind of a pounce or both does not hold. sent2: the glycoprotein is not reportable. sent3: the glycoprotein is uncertain. sent4: the verdin is lidless. sent5: the verdin does miscarry hysteroscopy if the weigela is not a oroide. sent6: if the verdin does not smash strum then it is a Michigan. sent7: something is not uncertain if it is nasopharyngeal. sent8: if the fact that the glycoprotein is not uncharitable is not wrong the verdin is ergotic. sent9: if something is a riband then it is not nasopharyngeal. sent10: if the verdin is non-nasopharyngeal or not a pounce or both then it is uncharitable. sent11: the weigela is not a kind of a riband. sent12: the weigela is not a oroide if that it is reportable and it is a kind of a oroide does not hold. sent13: the glycoprotein is ergotic if it is uncertain. sent14: if something is uncharitable it does not miscarry hysteroscopy. sent15: if something is a kind of a riband that is ergotic it is not pacific. sent16: the fact that the weigela is not unreportable and it is a oroide is not right. sent17: the glycoprotein is not a oblateness. sent18: the weigela reigns mouton. sent19: if something does reign Lycosa then it is not rigid. ; $proof$ = 
void -> assump1: Let's assume that either the verdin is not nasopharyngeal or it is not a pounce or both.; sent10 & assump1 -> int1: the verdin is uncharitable.; sent14 -> int2: if the verdin is uncharitable it does not miscarry hysteroscopy.; int1 & int2 -> int3: the verdin does not miscarry hysteroscopy.; sent12 & sent16 -> int4: the weigela is not a kind of a oroide.; sent5 & int4 -> int5: the verdin miscarries hysteroscopy.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the verdin is not nasopharyngeal or it is not a pounce or both does not hold.; int7 & sent1 -> int8: the glycoprotein is a riband.; sent13 & sent3 -> int9: the glycoprotein is ergotic.; int8 & int9 -> int10: the glycoprotein is both a riband and not non-ergotic.; sent15 -> int11: the fact that that the glycoprotein is pacific hold does not hold if it is both a riband and ergotic.; int10 & int11 -> hypothesis; __DISPROVED__