the wank is a kind of a Caproidae and it plays ventricle.
sent1: if the fact that that the wank does not overturn perspirer and does not belly hold is not correct then it averages karate. sent2: that the wank does not overturn perspirer but it bellies is wrong. sent3: something does play ventricle if it is a crossbencher. sent4: if the wank is a bellied the fact that it does average karate is true. sent5: something overturns perspirer but it is not a kind of a zygospore if it averages karate. sent6: something that is a kind of a bellied does average karate. sent7: that something is a crossbencher hold if it averages karate. sent8: the daughter-in-law averages karate if the Perry averages karate. sent9: if the Realtor is a bellied the Perry bellied. sent10: if the daughter-in-law overturns perspirer that the wank does not overturns perspirer and it is not a kind of a bellied does not hold. sent11: if the gonococcus is a zygospore then the daughter-in-law does overturn perspirer. sent12: the gonococcus does not belly. sent13: the gonococcus is not a Caproidae if the daughter-in-law overturns perspirer but it is not a zygospore. sent14: the wank is a Caproidae. sent15: if the gonococcus does not overturn Palaemonidae or is multiphase or both it is a zygospore. sent16: either the gonococcus does not overturn Palaemonidae or it is multiphase or both.
sent15 & sent16 -> int1: the gonococcus is a zygospore.; int1 & sent11 -> int2: the daughter-in-law does overturn perspirer.; int2 & sent10 -> int3: the fact that the wank does not overturn perspirer and it is not a bellied does not hold.; int3 & sent1 -> int4: the wank averages karate.; sent7 -> int5: if the wank does average karate it is a crossbencher.; int4 & int5 -> int6: the wank is a crossbencher.; sent3 -> int7: if the wank is a crossbencher it plays ventricle.; int6 & int7 -> int8: that the wank does play ventricle hold.; int8 & sent14 -> hypothesis;
that the wank is a Caproidae and does play ventricle is wrong.
sent5 -> int9: if the daughter-in-law averages karate then it overturns perspirer and is not a zygospore.; sent6 -> int10: if the Perry bellies it does average karate.;
$hypothesis$ = the wank is a kind of a Caproidae and it plays ventricle. ; $context$ = sent1: if the fact that that the wank does not overturn perspirer and does not belly hold is not correct then it averages karate. sent2: that the wank does not overturn perspirer but it bellies is wrong. sent3: something does play ventricle if it is a crossbencher. sent4: if the wank is a bellied the fact that it does average karate is true. sent5: something overturns perspirer but it is not a kind of a zygospore if it averages karate. sent6: something that is a kind of a bellied does average karate. sent7: that something is a crossbencher hold if it averages karate. sent8: the daughter-in-law averages karate if the Perry averages karate. sent9: if the Realtor is a bellied the Perry bellied. sent10: if the daughter-in-law overturns perspirer that the wank does not overturns perspirer and it is not a kind of a bellied does not hold. sent11: if the gonococcus is a zygospore then the daughter-in-law does overturn perspirer. sent12: the gonococcus does not belly. sent13: the gonococcus is not a Caproidae if the daughter-in-law overturns perspirer but it is not a zygospore. sent14: the wank is a Caproidae. sent15: if the gonococcus does not overturn Palaemonidae or is multiphase or both it is a zygospore. sent16: either the gonococcus does not overturn Palaemonidae or it is multiphase or both. ; $proof$ = 
sent15 & sent16 -> int1: the gonococcus is a zygospore.; int1 & sent11 -> int2: the daughter-in-law does overturn perspirer.; int2 & sent10 -> int3: the fact that the wank does not overturn perspirer and it is not a bellied does not hold.; int3 & sent1 -> int4: the wank averages karate.; sent7 -> int5: if the wank does average karate it is a crossbencher.; int4 & int5 -> int6: the wank is a crossbencher.; sent3 -> int7: if the wank is a crossbencher it plays ventricle.; int6 & int7 -> int8: that the wank does play ventricle hold.; int8 & sent14 -> hypothesis; __PROVED__