the vizier is not endergonic.
sent1: if something that does not qualify zoomorphism is not a kind of a Djiboutian then it does not stink bilirubin. sent2: if something is not a Hordeum then it is not non-vigesimal and/or it does not stink Salvelinus. sent3: the vizier does not explicate. sent4: the gazebo is not a milkcap if it does not crossbreed Odoacer. sent5: the high-rise is not extralinguistic and it does not qualify zoomorphism. sent6: the Brahman is not a milkcap. sent7: the vizier does not qualify zoomorphism if the fact that it is not a Defense and it is a milkcap is not incorrect. sent8: something is not a Harare. sent9: if something reschedules nonconformity then that it is a kind of a Hordeum and it is not a Hahn does not hold. sent10: the vizier is not a Hector and not morbilliform. sent11: the vizier is not a Defense and is not a milkcap. sent12: the vizier is not a milkcap. sent13: if something that is not a Defense is a milkcap then it does not qualify zoomorphism. sent14: if the borough qualifies zoomorphism the vizier is endergonic. sent15: if the vizier does not qualify zoomorphism it is not endergonic. sent16: the fact that if the fact that that something is a Hordeum but it is not a Hahn is not wrong is not right it is not a Hordeum is right. sent17: if something that is not a kind of a Defense is not a milkcap it does not qualify zoomorphism. sent18: the grout is a follies and does reschedule nonconformity if there is something such that it is not a Harare.
sent17 -> int1: the vizier does not qualify zoomorphism if it is not a Defense and not a milkcap.; int1 & sent11 -> int2: the vizier does not qualify zoomorphism.; int2 & sent15 -> hypothesis;
the vizier is not non-endergonic.
sent2 -> int3: the grout is vigesimal or does not stink Salvelinus or both if the fact that it is not a kind of a Hordeum is true.; sent16 -> int4: the grout is not a kind of a Hordeum if that it is a Hordeum and is not a Hahn does not hold.; sent9 -> int5: that that the grout is a Hordeum and is not a Hahn is not correct is not incorrect if it reschedules nonconformity.; sent8 & sent18 -> int6: the grout is a kind of a follies and does reschedule nonconformity.; int6 -> int7: the fact that the grout reschedules nonconformity is correct.; int5 & int7 -> int8: the fact that the grout is a kind of a Hordeum but it is not a Hahn is false.; int4 & int8 -> int9: the grout is not a Hordeum.; int3 & int9 -> int10: the grout is vigesimal and/or it does not stink Salvelinus.; int10 -> int11: there exists something such that it is vigesimal and/or does not stink Salvelinus.;
$hypothesis$ = the vizier is not endergonic. ; $context$ = sent1: if something that does not qualify zoomorphism is not a kind of a Djiboutian then it does not stink bilirubin. sent2: if something is not a Hordeum then it is not non-vigesimal and/or it does not stink Salvelinus. sent3: the vizier does not explicate. sent4: the gazebo is not a milkcap if it does not crossbreed Odoacer. sent5: the high-rise is not extralinguistic and it does not qualify zoomorphism. sent6: the Brahman is not a milkcap. sent7: the vizier does not qualify zoomorphism if the fact that it is not a Defense and it is a milkcap is not incorrect. sent8: something is not a Harare. sent9: if something reschedules nonconformity then that it is a kind of a Hordeum and it is not a Hahn does not hold. sent10: the vizier is not a Hector and not morbilliform. sent11: the vizier is not a Defense and is not a milkcap. sent12: the vizier is not a milkcap. sent13: if something that is not a Defense is a milkcap then it does not qualify zoomorphism. sent14: if the borough qualifies zoomorphism the vizier is endergonic. sent15: if the vizier does not qualify zoomorphism it is not endergonic. sent16: the fact that if the fact that that something is a Hordeum but it is not a Hahn is not wrong is not right it is not a Hordeum is right. sent17: if something that is not a kind of a Defense is not a milkcap it does not qualify zoomorphism. sent18: the grout is a follies and does reschedule nonconformity if there is something such that it is not a Harare. ; $proof$ = 
sent17 -> int1: the vizier does not qualify zoomorphism if it is not a Defense and not a milkcap.; int1 & sent11 -> int2: the vizier does not qualify zoomorphism.; int2 & sent15 -> hypothesis; __PROVED__