the fact that the slash does not hoodoo amberjack and does not hoodoo autopsy is incorrect if the ten is a kind of a Duchamp.
sent1: if the ten is not a kind of a Duchamp but it is an exclusive the epileptic is not an exclusive. sent2: something is an exclusive if it is manly. sent3: that something is a Duchamp but it does not hoodoo amberjack is not correct if it is not manly. sent4: that something does not hoodoo amberjack and it does not hoodoo autopsy does not hold if it does not hoodoo stapler. sent5: that that the slash does not hoodoo amberjack and hoodoos autopsy is not false is not right. sent6: the fact that the slash does hoodoo amberjack but it does not hoodoo autopsy is wrong if the ten is a kind of a Duchamp. sent7: the ten is manly if there exists something such that the fact that it does not down cinema is not wrong. sent8: if the fact that something is not manly and does not down cinema is not true then it does down cinema. sent9: that the slash does not hoodoo stapler hold if the ten is an exclusive that is a kind of a Duchamp. sent10: if something is not an exclusive then the fact that it is a kind of unmanly thing that does not down cinema is false. sent11: there is something such that it does not down cinema.
sent11 & sent7 -> int1: the ten is manly.; sent2 -> int2: if the ten is manly then it is a kind of an exclusive.; int1 & int2 -> int3: the ten is a kind of an exclusive.; void -> assump1: Let's assume that the ten is a Duchamp.; int3 & assump1 -> int4: the ten is not non-exclusive and is a kind of a Duchamp.; int4 & sent9 -> int5: that the slash does not hoodoo stapler is true.; sent4 -> int6: if the slash does not hoodoo stapler then that it does not hoodoo amberjack and it does not hoodoo autopsy is incorrect.; int5 & int6 -> int7: that the slash does not hoodoo amberjack and does not hoodoo autopsy does not hold.; [assump1] & int7 -> hypothesis;
the epileptic downs cinema.
sent8 -> int8: if the fact that the fact that the epileptic is unmanly thing that does not down cinema is not true is right it down cinema.; sent10 -> int9: that the epileptic is not manly and it does not down cinema does not hold if it is not a kind of an exclusive.;
$hypothesis$ = the fact that the slash does not hoodoo amberjack and does not hoodoo autopsy is incorrect if the ten is a kind of a Duchamp. ; $context$ = sent1: if the ten is not a kind of a Duchamp but it is an exclusive the epileptic is not an exclusive. sent2: something is an exclusive if it is manly. sent3: that something is a Duchamp but it does not hoodoo amberjack is not correct if it is not manly. sent4: that something does not hoodoo amberjack and it does not hoodoo autopsy does not hold if it does not hoodoo stapler. sent5: that that the slash does not hoodoo amberjack and hoodoos autopsy is not false is not right. sent6: the fact that the slash does hoodoo amberjack but it does not hoodoo autopsy is wrong if the ten is a kind of a Duchamp. sent7: the ten is manly if there exists something such that the fact that it does not down cinema is not wrong. sent8: if the fact that something is not manly and does not down cinema is not true then it does down cinema. sent9: that the slash does not hoodoo stapler hold if the ten is an exclusive that is a kind of a Duchamp. sent10: if something is not an exclusive then the fact that it is a kind of unmanly thing that does not down cinema is false. sent11: there is something such that it does not down cinema. ; $proof$ = 
sent11 & sent7 -> int1: the ten is manly.; sent2 -> int2: if the ten is manly then it is a kind of an exclusive.; int1 & int2 -> int3: the ten is a kind of an exclusive.; void -> assump1: Let's assume that the ten is a Duchamp.; int3 & assump1 -> int4: the ten is not non-exclusive and is a kind of a Duchamp.; int4 & sent9 -> int5: that the slash does not hoodoo stapler is true.; sent4 -> int6: if the slash does not hoodoo stapler then that it does not hoodoo amberjack and it does not hoodoo autopsy is incorrect.; int5 & int6 -> int7: that the slash does not hoodoo amberjack and does not hoodoo autopsy does not hold.; [assump1] & int7 -> hypothesis; __PROVED__