the Manhattan is a pornographer.
sent1: the fact that the thyronine is a confederation that is a pseudohallucination is right if the lingerie is not tracheal. sent2: the lingerie is not tracheal if it does not sneer crypt. sent3: the Manhattan is not a pornographer if the fact that that the thallium is both not usual and not a confederation is not false is not right. sent4: something is a confederation and usual. sent5: the thallium is tracheal if the fact that it clinks Maginot and is not a predator does not hold. sent6: if something is a confederation and it is usual then the thallium is a pseudohallucination. sent7: if that something does sneer cusk but it is not a pseudohallucination does not hold then the fact that it is metacarpal is not false. sent8: if the thyronine does not sneer crypt the Manhattan does sneer crypt and is a pornographer. sent9: the thallium is tracheal if it is a predator. sent10: the fact that if the thyronine does not sneer crypt the Manhattan does sneer crypt is right. sent11: that the thallium clinks Maginot but it is not a predator is false. sent12: if the thallium is a pseudohallucination and tracheal the thyronine does not sneer crypt.
sent4 & sent6 -> int1: the thallium is a pseudohallucination.; sent5 & sent11 -> int2: the thallium is tracheal.; int1 & int2 -> int3: the thallium is a pseudohallucination that is tracheal.; int3 & sent12 -> int4: the thyronine does not sneer crypt.; int4 & sent8 -> int5: the Manhattan does sneer crypt and it is a pornographer.; int5 -> hypothesis;
the repression is a kind of a metacarpal if that it sneers cusk and it is not a kind of a pseudohallucination does not hold.
sent7 -> hypothesis;
$hypothesis$ = the Manhattan is a pornographer. ; $context$ = sent1: the fact that the thyronine is a confederation that is a pseudohallucination is right if the lingerie is not tracheal. sent2: the lingerie is not tracheal if it does not sneer crypt. sent3: the Manhattan is not a pornographer if the fact that that the thallium is both not usual and not a confederation is not false is not right. sent4: something is a confederation and usual. sent5: the thallium is tracheal if the fact that it clinks Maginot and is not a predator does not hold. sent6: if something is a confederation and it is usual then the thallium is a pseudohallucination. sent7: if that something does sneer cusk but it is not a pseudohallucination does not hold then the fact that it is metacarpal is not false. sent8: if the thyronine does not sneer crypt the Manhattan does sneer crypt and is a pornographer. sent9: the thallium is tracheal if it is a predator. sent10: the fact that if the thyronine does not sneer crypt the Manhattan does sneer crypt is right. sent11: that the thallium clinks Maginot but it is not a predator is false. sent12: if the thallium is a pseudohallucination and tracheal the thyronine does not sneer crypt. ; $proof$ = 
sent4 & sent6 -> int1: the thallium is a pseudohallucination.; sent5 & sent11 -> int2: the thallium is tracheal.; int1 & int2 -> int3: the thallium is a pseudohallucination that is tracheal.; int3 & sent12 -> int4: the thyronine does not sneer crypt.; int4 & sent8 -> int5: the Manhattan does sneer crypt and it is a pornographer.; int5 -> hypothesis; __PROVED__