that the weakener subtilizes does not hold.
sent1: the lantern-fly does not crow Auckland if something does not damp oocyte and it is not a scyphozoan. sent2: that something does subtilize and it crows Auckland is not right if it does not crow rung. sent3: if something does subtilize it does not damp oocyte and is not a scyphozoan. sent4: there is something such that it does not damp oocyte and it does not crow Auckland. sent5: the perpetrator is a syzygy and it does crow Auckland if the lantern-fly does not crow Auckland. sent6: the fact that the perpetrator does not crow rung and it does not mummify shinplaster is not true. sent7: something is not unnoticeable and it is not erecting if it does not subtilize. sent8: if the lantern-fly crows Auckland or it is not a syzygy or both then the weakener crows Auckland.
sent3 -> int1: the weakener does not damp oocyte and it is not a kind of a scyphozoan if it subtilizes.; void -> assump1: Let's assume that the weakener subtilizes.; int1 & assump1 -> int2: the weakener does not damp oocyte and is not a scyphozoan.; int2 -> int3: something does not damp oocyte and is not a scyphozoan.; int3 & sent1 -> int4: the lantern-fly does not crow Auckland.; int4 & sent5 -> int5: the perpetrator is a syzygy that does crow Auckland.; int5 -> int6: that the perpetrator is a syzygy is correct.;
the maneuverer is not unnoticeable and it is not erecting.
sent7 -> int7: the maneuverer is both not unnoticeable and not erecting if it does not subtilize.; sent2 -> int8: if the lantern-fly does not crow rung then the fact that it subtilizes and it does crow Auckland is not right.;
$hypothesis$ = that the weakener subtilizes does not hold. ; $context$ = sent1: the lantern-fly does not crow Auckland if something does not damp oocyte and it is not a scyphozoan. sent2: that something does subtilize and it crows Auckland is not right if it does not crow rung. sent3: if something does subtilize it does not damp oocyte and is not a scyphozoan. sent4: there is something such that it does not damp oocyte and it does not crow Auckland. sent5: the perpetrator is a syzygy and it does crow Auckland if the lantern-fly does not crow Auckland. sent6: the fact that the perpetrator does not crow rung and it does not mummify shinplaster is not true. sent7: something is not unnoticeable and it is not erecting if it does not subtilize. sent8: if the lantern-fly crows Auckland or it is not a syzygy or both then the weakener crows Auckland. ; $proof$ = 
sent3 -> int1: the weakener does not damp oocyte and it is not a kind of a scyphozoan if it subtilizes.; void -> assump1: Let's assume that the weakener subtilizes.; int1 & assump1 -> int2: the weakener does not damp oocyte and is not a scyphozoan.; int2 -> int3: something does not damp oocyte and is not a scyphozoan.; int3 & sent1 -> int4: the lantern-fly does not crow Auckland.; int4 & sent5 -> int5: the perpetrator is a syzygy that does crow Auckland.; int5 -> int6: that the perpetrator is a syzygy is correct.; __UNKNOWN__