the fact that the plumbago is not a casern if the fact that the vegetarian is hypovolemic is not false does not hold.
sent1: the plumbago spring-cleans househusband if the vegetarian is hypovolemic. sent2: something is not a kind of a casern and it does not spring-clean methylenedioxymethamphetamine if it spring-cleans househusband. sent3: the vegetarian does not spring-clean househusband. sent4: the plumbago is hypovolemic. sent5: if something does dance whitehead then it is not antimonic. sent6: the vegetarian is a casern and removes Peripatidae. sent7: something is not a mug if it is a Benedictine. sent8: the plumbago is a casern if the vegetarian is hypovolemic. sent9: the vegetarian spring-cleans puncture. sent10: if something does not spring-clean househusband that it does spring-clean methylenedioxymethamphetamine and it is not hypovolemic is incorrect. sent11: the fact that the softwood spring-cleans methylenedioxymethamphetamine is true. sent12: the vegetarian is not a territoriality and is not Dutch. sent13: the plumbago is a kind of a casern that does not spring-clean methylenedioxymethamphetamine if it is hypovolemic.
void -> assump1: Let's assume that the vegetarian is hypovolemic.; sent1 & assump1 -> int1: the plumbago does spring-clean househusband.; sent2 -> int2: if the plumbago does spring-clean househusband then it is not a kind of a casern and does not spring-clean methylenedioxymethamphetamine.; int1 & int2 -> int3: the plumbago is not a casern and it does not spring-clean methylenedioxymethamphetamine.; int3 -> int4: that the plumbago is not a kind of a casern hold.; [assump1] & int4 -> hypothesis;
the puncture does not spring-clean methylenedioxymethamphetamine.
sent10 -> int5: that the vegetarian does spring-clean methylenedioxymethamphetamine and is not hypovolemic does not hold if it does not spring-clean househusband.; sent6 -> int6: the vegetarian is a casern.;
$hypothesis$ = the fact that the plumbago is not a casern if the fact that the vegetarian is hypovolemic is not false does not hold. ; $context$ = sent1: the plumbago spring-cleans househusband if the vegetarian is hypovolemic. sent2: something is not a kind of a casern and it does not spring-clean methylenedioxymethamphetamine if it spring-cleans househusband. sent3: the vegetarian does not spring-clean househusband. sent4: the plumbago is hypovolemic. sent5: if something does dance whitehead then it is not antimonic. sent6: the vegetarian is a casern and removes Peripatidae. sent7: something is not a mug if it is a Benedictine. sent8: the plumbago is a casern if the vegetarian is hypovolemic. sent9: the vegetarian spring-cleans puncture. sent10: if something does not spring-clean househusband that it does spring-clean methylenedioxymethamphetamine and it is not hypovolemic is incorrect. sent11: the fact that the softwood spring-cleans methylenedioxymethamphetamine is true. sent12: the vegetarian is not a territoriality and is not Dutch. sent13: the plumbago is a kind of a casern that does not spring-clean methylenedioxymethamphetamine if it is hypovolemic. ; $proof$ = 
void -> assump1: Let's assume that the vegetarian is hypovolemic.; sent1 & assump1 -> int1: the plumbago does spring-clean househusband.; sent2 -> int2: if the plumbago does spring-clean househusband then it is not a kind of a casern and does not spring-clean methylenedioxymethamphetamine.; int1 & int2 -> int3: the plumbago is not a casern and it does not spring-clean methylenedioxymethamphetamine.; int3 -> int4: that the plumbago is not a kind of a casern hold.; [assump1] & int4 -> hypothesis; __DISPROVED__