the ATM is a stigmatic.
sent1: if that either the moppet excretes or it is not a kind of a Zen or both is not true then it is similar. sent2: the moppet is a kind of a Chrysolophus. sent3: if that something is not a Zen and is not a kind of a pinioned is wrong it does pinioned. sent4: the ATM is not stigmatic if the fact that the moppet is stigmatic is not incorrect. sent5: something is not a Varese if it is not a kind of a Chrysolophus. sent6: if that something does not excrete or is not a Zen or both is not right it is similar. sent7: the ATM is similar if that it is not cacodemonic or it is not a Zen or both is wrong. sent8: something is a Chrysolophus if it is similar. sent9: if that something excretes and/or is not a Zen is not correct it is similar. sent10: something is similar if that it does not excrete and/or is a kind of a Zen is not right. sent11: there exists something such that it is not non-cacodemonic. sent12: that the moppet is not a Zen and is not a pinioned is not true if the ATM does not excrete. sent13: if the fact that the moppet is not a kind of a Varese but it is a kind of a Chrysolophus is correct then the ATM is not cacodemonic. sent14: there is something such that it is not a kind of a pinioned. sent15: if something is not cacodemonic it is a stigmatic. sent16: there is something such that it is a pinioned. sent17: if the fact that the fact that the moppet is not a Chrysolophus or not stigmatic or both is not wrong does not hold it is similar. sent18: if there exists something such that it is not a pinioned the fact that the moppet does not excrete and/or it is not a Zen is incorrect.
sent14 & sent18 -> int1: that the moppet does not excrete or it is not a kind of a Zen or both is not correct.; sent6 -> int2: the moppet is similar if the fact that it does not excrete or it is not a kind of a Zen or both does not hold.; int1 & int2 -> int3: the moppet is similar.; sent15 -> int4: if the fact that the ATM is not cacodemonic is true it is a stigmatic.;
the moppet pinions.
sent3 -> int5: the moppet is a kind of a pinioned if the fact that it is not a kind of a Zen and is not a pinioned is incorrect.; sent5 -> int6: if the ATM is not a Chrysolophus it is not a kind of a Varese.;
$hypothesis$ = the ATM is a stigmatic. ; $context$ = sent1: if that either the moppet excretes or it is not a kind of a Zen or both is not true then it is similar. sent2: the moppet is a kind of a Chrysolophus. sent3: if that something is not a Zen and is not a kind of a pinioned is wrong it does pinioned. sent4: the ATM is not stigmatic if the fact that the moppet is stigmatic is not incorrect. sent5: something is not a Varese if it is not a kind of a Chrysolophus. sent6: if that something does not excrete or is not a Zen or both is not right it is similar. sent7: the ATM is similar if that it is not cacodemonic or it is not a Zen or both is wrong. sent8: something is a Chrysolophus if it is similar. sent9: if that something excretes and/or is not a Zen is not correct it is similar. sent10: something is similar if that it does not excrete and/or is a kind of a Zen is not right. sent11: there exists something such that it is not non-cacodemonic. sent12: that the moppet is not a Zen and is not a pinioned is not true if the ATM does not excrete. sent13: if the fact that the moppet is not a kind of a Varese but it is a kind of a Chrysolophus is correct then the ATM is not cacodemonic. sent14: there is something such that it is not a kind of a pinioned. sent15: if something is not cacodemonic it is a stigmatic. sent16: there is something such that it is a pinioned. sent17: if the fact that the fact that the moppet is not a Chrysolophus or not stigmatic or both is not wrong does not hold it is similar. sent18: if there exists something such that it is not a pinioned the fact that the moppet does not excrete and/or it is not a Zen is incorrect. ; $proof$ = 
sent14 & sent18 -> int1: that the moppet does not excrete or it is not a kind of a Zen or both is not correct.; sent6 -> int2: the moppet is similar if the fact that it does not excrete or it is not a kind of a Zen or both does not hold.; int1 & int2 -> int3: the moppet is similar.; sent15 -> int4: if the fact that the ATM is not cacodemonic is true it is a stigmatic.; __UNKNOWN__