the zenith is a kind of a applejack.
sent1: that something is both not a curved and not a notice is not correct if the fact that it does not pan mole is not incorrect. sent2: if something that is a subtopia is not a Horace it beaches. sent3: if something that is not a curved does not dream salvation the fact that the elastase is not a Horace is right. sent4: the frieze is a geometry. sent5: the fact that the elastase is a paleontologist but it is not a toga is not true if the frieze is a geometry. sent6: the frieze is not a curved. sent7: the elastase is not a beach. sent8: if the fact that the elastase is both a paleontologist and not a toga is false the fact that it is a Dasyproctidae is not wrong. sent9: there exists something such that it is a curved and it does not dream salvation. sent10: the fact that something is a subtopia that is not sociopathic is wrong if that it is not a Horace is not wrong. sent11: that something is not a Horace and does not beach if it does not dream salvation hold. sent12: the mizzen is not sociopathic if there is something such that the fact that it is a valuelessness and it is a song is not true. sent13: if the fact that the elastase is both not a curved and not a notice does not hold then the mizzen does not dream salvation. sent14: the mizzen is not sociopathic if there exists something such that the fact that it is not a song is not incorrect. sent15: there is something such that it is not a curved and it dreams salvation. sent16: there is something such that it is both a valuelessness and a song. sent17: there exists something such that it is not a curved. sent18: the elastase is a subtopia if the mizzen is not sociopathic. sent19: a non-passable thing does not pan mole. sent20: that something is a kind of a valuelessness and it is a song is wrong if it is not a applejack. sent21: if something is a kind of a Dasyproctidae then it is not passable.
sent20 -> int1: the fact that if the zenith is not the applejack the fact that the zenith is a valuelessness and it is a kind of a song is not correct is right.; void -> assump1: Let's assume that the zenith is not a applejack.; int1 & assump1 -> int2: that the zenith is both a valuelessness and a song does not hold.; int2 -> int3: there exists something such that that it is a valuelessness and it is a song is not correct.; int3 & sent12 -> int4: the mizzen is not sociopathic.; int4 & sent18 -> int5: the elastase is a kind of a subtopia.; sent2 -> int6: the fact that the elastase is a beach is correct if it is a subtopia and it is not a kind of a Horace.;
the zenith is not a applejack.
sent10 -> int7: if the mizzen is not a Horace that it is a subtopia and it is not sociopathic does not hold.; sent11 -> int8: the mizzen is not a Horace and is not a beach if it does not dream salvation.; sent1 -> int9: if the elastase does not pan mole then the fact that it is not a curved and is not a notice is not true.; sent19 -> int10: if the elastase is impassable it does not pan mole.; sent21 -> int11: the elastase is impassable if it is a Dasyproctidae.; sent5 & sent4 -> int12: that the elastase is a paleontologist but not a toga does not hold.; sent8 & int12 -> int13: the elastase is a Dasyproctidae.; int11 & int13 -> int14: the elastase is not passable.; int10 & int14 -> int15: the elastase does not pan mole.; int9 & int15 -> int16: that the elastase is not a curved and does not notice is wrong.; sent13 & int16 -> int17: the fact that the mizzen does not dream salvation is not wrong.; int8 & int17 -> int18: the mizzen is both not a Horace and not a beach.; int18 -> int19: the mizzen is not a Horace.; int7 & int19 -> int20: that the mizzen is a subtopia but it is not sociopathic does not hold.; int20 -> int21: there is something such that the fact that it is a subtopia and it is not sociopathic is wrong.;
$hypothesis$ = the zenith is a kind of a applejack. ; $context$ = sent1: that something is both not a curved and not a notice is not correct if the fact that it does not pan mole is not incorrect. sent2: if something that is a subtopia is not a Horace it beaches. sent3: if something that is not a curved does not dream salvation the fact that the elastase is not a Horace is right. sent4: the frieze is a geometry. sent5: the fact that the elastase is a paleontologist but it is not a toga is not true if the frieze is a geometry. sent6: the frieze is not a curved. sent7: the elastase is not a beach. sent8: if the fact that the elastase is both a paleontologist and not a toga is false the fact that it is a Dasyproctidae is not wrong. sent9: there exists something such that it is a curved and it does not dream salvation. sent10: the fact that something is a subtopia that is not sociopathic is wrong if that it is not a Horace is not wrong. sent11: that something is not a Horace and does not beach if it does not dream salvation hold. sent12: the mizzen is not sociopathic if there is something such that the fact that it is a valuelessness and it is a song is not true. sent13: if the fact that the elastase is both not a curved and not a notice does not hold then the mizzen does not dream salvation. sent14: the mizzen is not sociopathic if there exists something such that the fact that it is not a song is not incorrect. sent15: there is something such that it is not a curved and it dreams salvation. sent16: there is something such that it is both a valuelessness and a song. sent17: there exists something such that it is not a curved. sent18: the elastase is a subtopia if the mizzen is not sociopathic. sent19: a non-passable thing does not pan mole. sent20: that something is a kind of a valuelessness and it is a song is wrong if it is not a applejack. sent21: if something is a kind of a Dasyproctidae then it is not passable. ; $proof$ = 
sent20 -> int1: the fact that if the zenith is not the applejack the fact that the zenith is a valuelessness and it is a kind of a song is not correct is right.; void -> assump1: Let's assume that the zenith is not a applejack.; int1 & assump1 -> int2: that the zenith is both a valuelessness and a song does not hold.; int2 -> int3: there exists something such that that it is a valuelessness and it is a song is not correct.; int3 & sent12 -> int4: the mizzen is not sociopathic.; int4 & sent18 -> int5: the elastase is a kind of a subtopia.; sent2 -> int6: the fact that the elastase is a beach is correct if it is a subtopia and it is not a kind of a Horace.; __UNKNOWN__