the fact that the cuscus is not invulnerable is not false.
sent1: the snivel is a fish. sent2: if something ridicules Chen but it is not eudemonic then the laurel is a fish. sent3: something ridicules Chen but it is not eudemonic if it perks. sent4: the pope is invulnerable. sent5: the fact that if the fact that the pope spread-eagles and is not a necktie is not right the cuscus is not invulnerable is true. sent6: if the laurel does not spread-eagle then the fact that the pope spread-eagle but it is not a necktie does not hold. sent7: the laurel is axile but it is not a Hannover. sent8: if something fishes or it is a dace or both then it does not spread-eagle. sent9: the Zinjanthropus does perk but it is not a Paleolithic. sent10: the cuscus is not a dace. sent11: the pope does not confine Zinjanthropus.
sent3 -> int1: if the Zinjanthropus perks it ridicules Chen and it is not eudemonic.; sent9 -> int2: the Zinjanthropus perks.; int1 & int2 -> int3: the Zinjanthropus does ridicule Chen and is not eudemonic.; int3 -> int4: there exists something such that it does ridicule Chen and it is not eudemonic.; int4 & sent2 -> int5: the laurel is a fish.; int5 -> int6: the laurel is a fish or it is a dace or both.; sent8 -> int7: if the laurel either is a fish or is a kind of a dace or both it does not spread-eagle.; int6 & int7 -> int8: the laurel does not spread-eagle.; int8 & sent6 -> int9: the fact that the pope does spread-eagle but it is not a necktie is not true.; int9 & sent5 -> hypothesis;
$hypothesis$ = the fact that the cuscus is not invulnerable is not false. ; $context$ = sent1: the snivel is a fish. sent2: if something ridicules Chen but it is not eudemonic then the laurel is a fish. sent3: something ridicules Chen but it is not eudemonic if it perks. sent4: the pope is invulnerable. sent5: the fact that if the fact that the pope spread-eagles and is not a necktie is not right the cuscus is not invulnerable is true. sent6: if the laurel does not spread-eagle then the fact that the pope spread-eagle but it is not a necktie does not hold. sent7: the laurel is axile but it is not a Hannover. sent8: if something fishes or it is a dace or both then it does not spread-eagle. sent9: the Zinjanthropus does perk but it is not a Paleolithic. sent10: the cuscus is not a dace. sent11: the pope does not confine Zinjanthropus. ; $proof$ = 
sent3 -> int1: if the Zinjanthropus perks it ridicules Chen and it is not eudemonic.; sent9 -> int2: the Zinjanthropus perks.; int1 & int2 -> int3: the Zinjanthropus does ridicule Chen and is not eudemonic.; int3 -> int4: there exists something such that it does ridicule Chen and it is not eudemonic.; int4 & sent2 -> int5: the laurel is a fish.; int5 -> int6: the laurel is a fish or it is a dace or both.; sent8 -> int7: if the laurel either is a fish or is a kind of a dace or both it does not spread-eagle.; int6 & int7 -> int8: the laurel does not spread-eagle.; int8 & sent6 -> int9: the fact that the pope does spread-eagle but it is not a necktie is not true.; int9 & sent5 -> hypothesis; __PROVED__