the Confucian does not occur.
sent1: if the currying does not occur the shouting does not occur. sent2: if the shouting and the non-inarticulateness occurs then the Confucian happens. sent3: if the smother does not occur the non-Confucianness and the currying happens. sent4: the hold-down causes the paramilitary. sent5: the hold-down occurs. sent6: that the Confucianness does not occur is prevented by that the shouting does not occur and the inarticulateness does not occur. sent7: the smothering occurs. sent8: that the paramilitary occurs is prevented by that the currying happens and the smothering happens. sent9: the shouting does not occur. sent10: if the currying does not occur then the shouting does not occur and the inarticulateness does not occur.
void -> assump1: Let's assume that the curry occurs.; assump1 & sent7 -> int1: the curry occurs and the smothering occurs.; int1 & sent8 -> int2: the paramilitary does not occur.; sent4 & sent5 -> int3: the paramilitariness occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the currying does not occur.; int5 & sent10 -> int6: the shouting does not occur and the inarticulateness does not occur.; int6 & sent6 -> hypothesis;
the Confucianness does not occur.
$hypothesis$ = the Confucian does not occur. ; $context$ = sent1: if the currying does not occur the shouting does not occur. sent2: if the shouting and the non-inarticulateness occurs then the Confucian happens. sent3: if the smother does not occur the non-Confucianness and the currying happens. sent4: the hold-down causes the paramilitary. sent5: the hold-down occurs. sent6: that the Confucianness does not occur is prevented by that the shouting does not occur and the inarticulateness does not occur. sent7: the smothering occurs. sent8: that the paramilitary occurs is prevented by that the currying happens and the smothering happens. sent9: the shouting does not occur. sent10: if the currying does not occur then the shouting does not occur and the inarticulateness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the curry occurs.; assump1 & sent7 -> int1: the curry occurs and the smothering occurs.; int1 & sent8 -> int2: the paramilitary does not occur.; sent4 & sent5 -> int3: the paramilitariness occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the currying does not occur.; int5 & sent10 -> int6: the shouting does not occur and the inarticulateness does not occur.; int6 & sent6 -> hypothesis; __DISPROVED__