the yeast is a meshuggeneh.
sent1: something dreams coarseness but it does not vex congratulation if it is not a Pongidae. sent2: the cormorant is a meshuggeneh if the fetishism does not vex NYSE and it is not a meshuggeneh. sent3: the yeast is not a meshuggeneh if the cormorant is a meshuggeneh. sent4: the scalpel dreams notification and is not a boat. sent5: the yeast is not a Pongidae if the cormorant is a kind of a meshuggeneh. sent6: if something is a meshuggeneh but it is not a Pongidae the cormorant surrenders. sent7: the cormorant is not a Pongidae. sent8: there exists something such that it is not a Pongidae. sent9: the cormorant vexes Raoulia but it does not surrender if it is not a Pongidae. sent10: the yeast is a kind of a meshuggeneh if something that vexes Raoulia does not surrender. sent11: the cormorant is not a surrender.
sent9 & sent7 -> int1: the cormorant vexes Raoulia and is not a kind of a surrender.; int1 -> int2: there is something such that it does vex Raoulia and is not a kind of a surrender.; int2 & sent10 -> hypothesis;
that the yeast is not a meshuggeneh is true.
$hypothesis$ = the yeast is a meshuggeneh. ; $context$ = sent1: something dreams coarseness but it does not vex congratulation if it is not a Pongidae. sent2: the cormorant is a meshuggeneh if the fetishism does not vex NYSE and it is not a meshuggeneh. sent3: the yeast is not a meshuggeneh if the cormorant is a meshuggeneh. sent4: the scalpel dreams notification and is not a boat. sent5: the yeast is not a Pongidae if the cormorant is a kind of a meshuggeneh. sent6: if something is a meshuggeneh but it is not a Pongidae the cormorant surrenders. sent7: the cormorant is not a Pongidae. sent8: there exists something such that it is not a Pongidae. sent9: the cormorant vexes Raoulia but it does not surrender if it is not a Pongidae. sent10: the yeast is a kind of a meshuggeneh if something that vexes Raoulia does not surrender. sent11: the cormorant is not a surrender. ; $proof$ = 
sent9 & sent7 -> int1: the cormorant vexes Raoulia and is not a kind of a surrender.; int1 -> int2: there is something such that it does vex Raoulia and is not a kind of a surrender.; int2 & sent10 -> hypothesis; __PROVED__