the Nazi is a crook.
sent1: the Nazi is not a kind of a millionairess. sent2: something is a man-child if it is a kind of a millionairess. sent3: something that does approach Steinem is not a finale and does not outstay. sent4: the protamine is a millionairess if the breeding is not a finale and does not outstay. sent5: the Nazi is a man-child. sent6: that the process does not approach Steinem and it does not avoid is wrong if it is exuvial. sent7: the process is not non-exuvial. sent8: the Nazi does not approach Nazi if it does freeze-dry jitteriness and it does not outstay. sent9: the Nazi is not a kind of a photocoagulation if it is a kind of a millionairess that is not a kind of a reincarnation. sent10: the heliosphere is a kind of a busman if it is not a crook. sent11: something does not outstay if it is both a man-child and not a millionairess. sent12: something is Icelandic if it does not back.
sent5 & sent1 -> int1: the Nazi is a man-child and not a millionairess.; sent11 -> int2: if the Nazi is a kind of a man-child but it is not a kind of a millionairess then it does not outstay.; int1 & int2 -> int3: the Nazi does not outstay.;
the Nazi does not crook.
sent2 -> int4: if the protamine is a millionairess then the fact that it is a man-child is not wrong.; sent3 -> int5: if the fact that the breeding approaches Steinem is correct it is not a finale and does not outstay.; sent6 & sent7 -> int6: that the process does not approach Steinem and it does not avoid is not true.; int6 -> int7: there is something such that that that it does not approach Steinem and it does not avoid is not false is not correct.;
$hypothesis$ = the Nazi is a crook. ; $context$ = sent1: the Nazi is not a kind of a millionairess. sent2: something is a man-child if it is a kind of a millionairess. sent3: something that does approach Steinem is not a finale and does not outstay. sent4: the protamine is a millionairess if the breeding is not a finale and does not outstay. sent5: the Nazi is a man-child. sent6: that the process does not approach Steinem and it does not avoid is wrong if it is exuvial. sent7: the process is not non-exuvial. sent8: the Nazi does not approach Nazi if it does freeze-dry jitteriness and it does not outstay. sent9: the Nazi is not a kind of a photocoagulation if it is a kind of a millionairess that is not a kind of a reincarnation. sent10: the heliosphere is a kind of a busman if it is not a crook. sent11: something does not outstay if it is both a man-child and not a millionairess. sent12: something is Icelandic if it does not back. ; $proof$ = 
sent5 & sent1 -> int1: the Nazi is a man-child and not a millionairess.; sent11 -> int2: if the Nazi is a kind of a man-child but it is not a kind of a millionairess then it does not outstay.; int1 & int2 -> int3: the Nazi does not outstay.; __UNKNOWN__