the anatomist is cytogenetics and does not marvel Mosander.
sent1: the anatomist does deny. sent2: something is not chaetal if it is a killifish and is not a brigade. sent3: there exists something such that that it does not respect Gorgon and it does green is incorrect. sent4: that the anatomist is cytogenetics is right if it is not a Scarabaeidae and is a xenolith. sent5: if something that is not non-Palladian is not cytogenetics then the feminization is not a xenolith. sent6: something respects antique and/or it does marvel Mosander if it is not chaetal. sent7: The antique respects feminization. sent8: if the fact that the noncandidate is both a killifish and not a brigade is false then the feminization does not respect antique. sent9: if the noncandidate is not chaetal the anatomist is not a Scarabaeidae. sent10: if the feminization does respect antique then the noncandidate does marvel Mosander. sent11: the anatomist is Palladian and does not marvel Mosander if it does deny. sent12: the noncandidate is chaetal if something is a kind of a Scarabaeidae and respects antique. sent13: something is not a kind of a Scarabaeidae if that it is not a kind of a xenolith is not incorrect. sent14: something is not chaetal if it is not a Scarabaeidae. sent15: something is Palladian and is not cytogenetics if it does not respect Gorgon. sent16: the feminization respects antique.
void -> assump1: Let's assume that the fact that the noncandidate is a killifish but it is not a brigade does not hold.; sent8 & assump1 -> int1: the feminization does not respect antique.; int1 & sent16 -> int2: this is contradiction.; [assump1] & int2 -> int3: the noncandidate is both a killifish and not a brigade.; sent2 -> int4: if the noncandidate is both a killifish and not a brigade then it is not chaetal.; int3 & int4 -> int5: the noncandidate is not chaetal.; int5 & sent9 -> int6: the anatomist is not a Scarabaeidae.; sent11 & sent1 -> int7: the anatomist is Palladian but it does not marvel Mosander.; int7 -> int8: the anatomist does not marvel Mosander.;
the noncandidate marvels Mosander.
sent6 -> int9: the feminization does respect antique or it does marvel Mosander or both if it is not chaetal.; sent14 -> int10: the feminization is not chaetal if it is not a Scarabaeidae.; sent13 -> int11: if the feminization is not a xenolith it is not a Scarabaeidae.; sent15 -> int12: if the anatomist does not respect Gorgon it is Palladian and is not cytogenetics.;
$hypothesis$ = the anatomist is cytogenetics and does not marvel Mosander. ; $context$ = sent1: the anatomist does deny. sent2: something is not chaetal if it is a killifish and is not a brigade. sent3: there exists something such that that it does not respect Gorgon and it does green is incorrect. sent4: that the anatomist is cytogenetics is right if it is not a Scarabaeidae and is a xenolith. sent5: if something that is not non-Palladian is not cytogenetics then the feminization is not a xenolith. sent6: something respects antique and/or it does marvel Mosander if it is not chaetal. sent7: The antique respects feminization. sent8: if the fact that the noncandidate is both a killifish and not a brigade is false then the feminization does not respect antique. sent9: if the noncandidate is not chaetal the anatomist is not a Scarabaeidae. sent10: if the feminization does respect antique then the noncandidate does marvel Mosander. sent11: the anatomist is Palladian and does not marvel Mosander if it does deny. sent12: the noncandidate is chaetal if something is a kind of a Scarabaeidae and respects antique. sent13: something is not a kind of a Scarabaeidae if that it is not a kind of a xenolith is not incorrect. sent14: something is not chaetal if it is not a Scarabaeidae. sent15: something is Palladian and is not cytogenetics if it does not respect Gorgon. sent16: the feminization respects antique. ; $proof$ = 
void -> assump1: Let's assume that the fact that the noncandidate is a killifish but it is not a brigade does not hold.; sent8 & assump1 -> int1: the feminization does not respect antique.; int1 & sent16 -> int2: this is contradiction.; [assump1] & int2 -> int3: the noncandidate is both a killifish and not a brigade.; sent2 -> int4: if the noncandidate is both a killifish and not a brigade then it is not chaetal.; int3 & int4 -> int5: the noncandidate is not chaetal.; int5 & sent9 -> int6: the anatomist is not a Scarabaeidae.; sent11 & sent1 -> int7: the anatomist is Palladian but it does not marvel Mosander.; int7 -> int8: the anatomist does not marvel Mosander.; __UNKNOWN__