the appointee is residuary.
sent1: the appointee is not a pass. sent2: there is something such that it is not a wine. sent3: if the appointee claps subthalamus or it is not a pass or both then it does not clap kob. sent4: that if the appointee does not clap kob the appointee is a kind of a laxative hold. sent5: if there exists something such that that it does not wine is not wrong then the subthalamus does not julienne trekker. sent6: something does clap kob and it is a kind of a laxative if it does not julienne trekker. sent7: if the appointee is a kind of a laxative then it is residuary. sent8: the appointee does clap subthalamus or does pass or both. sent9: if there exists something such that that it claps kob hold then the vegetarianism does pass and it claps subthalamus.
sent1 -> int1: the appointee does clap subthalamus or it is not a pass or both.; int1 & sent3 -> int2: the appointee does not clap kob.; int2 & sent4 -> int3: the appointee is not non-laxative.; int3 & sent7 -> hypothesis;
the appointee is not residuary.
sent6 -> int4: if the subthalamus does not julienne trekker then it claps kob and it is a laxative.; sent2 & sent5 -> int5: the subthalamus does not julienne trekker.; int4 & int5 -> int6: the subthalamus claps kob and is a kind of a laxative.; int6 -> int7: the subthalamus does clap kob.; int7 -> int8: something claps kob.; int8 & sent9 -> int9: the vegetarianism is a kind of a pass that claps subthalamus.; int9 -> int10: the vegetarianism does clap subthalamus.; int10 -> int11: there exists something such that it claps subthalamus.;
$hypothesis$ = the appointee is residuary. ; $context$ = sent1: the appointee is not a pass. sent2: there is something such that it is not a wine. sent3: if the appointee claps subthalamus or it is not a pass or both then it does not clap kob. sent4: that if the appointee does not clap kob the appointee is a kind of a laxative hold. sent5: if there exists something such that that it does not wine is not wrong then the subthalamus does not julienne trekker. sent6: something does clap kob and it is a kind of a laxative if it does not julienne trekker. sent7: if the appointee is a kind of a laxative then it is residuary. sent8: the appointee does clap subthalamus or does pass or both. sent9: if there exists something such that that it claps kob hold then the vegetarianism does pass and it claps subthalamus. ; $proof$ = 
sent1 -> int1: the appointee does clap subthalamus or it is not a pass or both.; int1 & sent3 -> int2: the appointee does not clap kob.; int2 & sent4 -> int3: the appointee is not non-laxative.; int3 & sent7 -> hypothesis; __PROVED__