the metallic does not occur.
sent1: if the deducing Lubavitch does not occur then the non-impiousness and the immortalizing anthologist happens. sent2: if the courtship does not occur then both the non-metallicness and the deducing Lubavitch occurs. sent3: if the whipping occurs the immortalizing callithump occurs. sent4: the immortalizing ingot happens if the lull does not occur. sent5: the courtship does not occur if that either the lull does not occur or the immortalizing ingot does not occur or both is not right. sent6: that both the deducing Lubavitch and the courtship happens prevents that the lulling occurs. sent7: that the non-impiousness and the immortalizing anthologist occurs is false if the adoration does not occur. sent8: the anabolicness occurs. sent9: the courtship happens if the anabolicness occurs. sent10: the adoration does not occur. sent11: the metallic happens if the immortalizing ingot happens. sent12: that the impiousness happens and the immortalizing anthologist happens does not hold.
void -> assump1: Let's assume that the fact that the deducing Lubavitch does not occur is not incorrect.; sent1 & assump1 -> int1: both the piousness and the immortalizing anthologist occurs.; sent7 & sent10 -> int2: the fact that the impiousness does not occur and the immortalizing anthologist occurs does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the deducing Lubavitch occurs.; sent9 & sent8 -> int5: the courtship occurs.; int4 & int5 -> int6: the deducing Lubavitch occurs and the courtship happens.; int6 & sent6 -> int7: the lulling does not occur.; int7 & sent4 -> int8: the immortalizing ingot happens.; int8 & sent11 -> hypothesis;
the insecureness does not occur.
$hypothesis$ = the metallic does not occur. ; $context$ = sent1: if the deducing Lubavitch does not occur then the non-impiousness and the immortalizing anthologist happens. sent2: if the courtship does not occur then both the non-metallicness and the deducing Lubavitch occurs. sent3: if the whipping occurs the immortalizing callithump occurs. sent4: the immortalizing ingot happens if the lull does not occur. sent5: the courtship does not occur if that either the lull does not occur or the immortalizing ingot does not occur or both is not right. sent6: that both the deducing Lubavitch and the courtship happens prevents that the lulling occurs. sent7: that the non-impiousness and the immortalizing anthologist occurs is false if the adoration does not occur. sent8: the anabolicness occurs. sent9: the courtship happens if the anabolicness occurs. sent10: the adoration does not occur. sent11: the metallic happens if the immortalizing ingot happens. sent12: that the impiousness happens and the immortalizing anthologist happens does not hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the deducing Lubavitch does not occur is not incorrect.; sent1 & assump1 -> int1: both the piousness and the immortalizing anthologist occurs.; sent7 & sent10 -> int2: the fact that the impiousness does not occur and the immortalizing anthologist occurs does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the deducing Lubavitch occurs.; sent9 & sent8 -> int5: the courtship occurs.; int4 & int5 -> int6: the deducing Lubavitch occurs and the courtship happens.; int6 & sent6 -> int7: the lulling does not occur.; int7 & sent4 -> int8: the immortalizing ingot happens.; int8 & sent11 -> hypothesis; __DISPROVED__