the squama is not a kind of a expectedness but it is a lagoon.
sent1: the fiefdom stumbles funiculus. sent2: the saxhorn is not a expectedness if that that the rat-catcher is not a Poitier and/or is not a don't-know is incorrect is not wrong. sent3: the saxhorn is a Poitier. sent4: the fact that the rat-catcher is not a Poitier and/or it is not a don't-know is incorrect if the fact that it does evaluate is right. sent5: a supremacist is zonal. sent6: that something is a expectedness hold if the fact that it stumbles funiculus and is not a expectedness is not correct. sent7: the fiefdom does not evaluate. sent8: the rat-catcher does evaluate if it is zonal. sent9: that something is not a kind of a expectedness but it is a lagoon does not hold if it is a supremacist. sent10: the fiefdom does not stumble funiculus if the fact that the rat-catcher is agrypnotic and is addictive is false. sent11: The funiculus stumbles fiefdom. sent12: if the saxhorn is not a expectedness then the squama is not a expectedness but it is a lagoon. sent13: the squama is not a kind of a expectedness.
void -> assump1: Let's assume that the rat-catcher is not a supremacist.; sent5 -> int1: the rat-catcher is zonal if it is a kind of a supremacist.;
that the squama is both not a expectedness and a lagoon is false.
sent9 -> int2: if the squama is a supremacist the fact that it is not a kind of a expectedness and it is a lagoon is not correct.; sent7 -> int3: that something does not evaluate is right.;
$hypothesis$ = the squama is not a kind of a expectedness but it is a lagoon. ; $context$ = sent1: the fiefdom stumbles funiculus. sent2: the saxhorn is not a expectedness if that that the rat-catcher is not a Poitier and/or is not a don't-know is incorrect is not wrong. sent3: the saxhorn is a Poitier. sent4: the fact that the rat-catcher is not a Poitier and/or it is not a don't-know is incorrect if the fact that it does evaluate is right. sent5: a supremacist is zonal. sent6: that something is a expectedness hold if the fact that it stumbles funiculus and is not a expectedness is not correct. sent7: the fiefdom does not evaluate. sent8: the rat-catcher does evaluate if it is zonal. sent9: that something is not a kind of a expectedness but it is a lagoon does not hold if it is a supremacist. sent10: the fiefdom does not stumble funiculus if the fact that the rat-catcher is agrypnotic and is addictive is false. sent11: The funiculus stumbles fiefdom. sent12: if the saxhorn is not a expectedness then the squama is not a expectedness but it is a lagoon. sent13: the squama is not a kind of a expectedness. ; $proof$ = 
void -> assump1: Let's assume that the rat-catcher is not a supremacist.; sent5 -> int1: the rat-catcher is zonal if it is a kind of a supremacist.; __UNKNOWN__