the fact that the autogamousness does not occur and the shattering silver does not occur if the implicitness does not occur is false.
sent1: the punctuation happens. sent2: the autogamousness does not occur and the shattering silver does not occur if the implicitness happens. sent3: the welding CDC happens and the punctuation happens. sent4: the fact that both the cursing and the condescension occurs is not true if the welding CDC happens. sent5: the fact that the Liverpudlian and the non-campanulateness happens does not hold. sent6: the agraphicness occurs. sent7: that the unintelligentness happens is not wrong. sent8: that the prizefight happens and the hypoglycemicness does not occur is false. sent9: that the shattering silver does not occur is brought about by the condescension. sent10: if the welding CDC occurs the fact that the curse happens but the condescension does not occur does not hold. sent11: the implicitness occurs if that the autogamousness happens is not incorrect. sent12: if that the curse occurs and the condescension does not occur does not hold the shattering silver does not occur. sent13: that the curse happens and the condescension occurs does not hold. sent14: that the interlocutoriness happens is not wrong.
void -> assump1: Let's assume that the autogamousness happens.; sent11 & assump1 -> int1: the implicitness happens.; void -> assump2: Let's assume that the implicitness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the autogamousness does not occur.; sent3 -> int4: the welding CDC occurs.; sent10 & int4 -> int5: that the cursing happens and the condescension does not occur is not true.; sent12 & int5 -> int6: the fact that the shattering silver occurs is not true.; int3 & int6 -> int7: the autogamousness does not occur and the shattering silver does not occur.; [assump2] & int7 -> hypothesis;
$hypothesis$ = the fact that the autogamousness does not occur and the shattering silver does not occur if the implicitness does not occur is false. ; $context$ = sent1: the punctuation happens. sent2: the autogamousness does not occur and the shattering silver does not occur if the implicitness happens. sent3: the welding CDC happens and the punctuation happens. sent4: the fact that both the cursing and the condescension occurs is not true if the welding CDC happens. sent5: the fact that the Liverpudlian and the non-campanulateness happens does not hold. sent6: the agraphicness occurs. sent7: that the unintelligentness happens is not wrong. sent8: that the prizefight happens and the hypoglycemicness does not occur is false. sent9: that the shattering silver does not occur is brought about by the condescension. sent10: if the welding CDC occurs the fact that the curse happens but the condescension does not occur does not hold. sent11: the implicitness occurs if that the autogamousness happens is not incorrect. sent12: if that the curse occurs and the condescension does not occur does not hold the shattering silver does not occur. sent13: that the curse happens and the condescension occurs does not hold. sent14: that the interlocutoriness happens is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the autogamousness happens.; sent11 & assump1 -> int1: the implicitness happens.; void -> assump2: Let's assume that the implicitness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the autogamousness does not occur.; sent3 -> int4: the welding CDC occurs.; sent10 & int4 -> int5: that the cursing happens and the condescension does not occur is not true.; sent12 & int5 -> int6: the fact that the shattering silver occurs is not true.; int3 & int6 -> int7: the autogamousness does not occur and the shattering silver does not occur.; [assump2] & int7 -> hypothesis; __DISPROVED__