the contumacy does not occur.
sent1: the nominating does not occur if that both the non-telluricness and the oratory happens is false. sent2: the non-unpunctualness and the raw happens. sent3: if not the nominating but the resultant happens the repairing pyrethrum happens. sent4: the unpunctualness does not occur. sent5: the resultant occurs and the pitching highland happens. sent6: the fact that both the non-telluricness and the oratory occurs does not hold. sent7: the repairing pyrethrum does not occur if the contumacy and the raw occurs.
sent2 -> int1: the raw happens.; void -> assump1: Let's assume that the contumacy occurs.; int1 & assump1 -> int2: the contumacy happens and the rawness occurs.; int2 & sent7 -> int3: the repairing pyrethrum does not occur.; sent1 & sent6 -> int4: the nominating does not occur.; sent5 -> int5: the resultant occurs.; int4 & int5 -> int6: not the nominating but the resultant happens.; sent3 & int6 -> int7: the repairing pyrethrum occurs.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
$hypothesis$ = the contumacy does not occur. ; $context$ = sent1: the nominating does not occur if that both the non-telluricness and the oratory happens is false. sent2: the non-unpunctualness and the raw happens. sent3: if not the nominating but the resultant happens the repairing pyrethrum happens. sent4: the unpunctualness does not occur. sent5: the resultant occurs and the pitching highland happens. sent6: the fact that both the non-telluricness and the oratory occurs does not hold. sent7: the repairing pyrethrum does not occur if the contumacy and the raw occurs. ; $proof$ = 
sent2 -> int1: the raw happens.; void -> assump1: Let's assume that the contumacy occurs.; int1 & assump1 -> int2: the contumacy happens and the rawness occurs.; int2 & sent7 -> int3: the repairing pyrethrum does not occur.; sent1 & sent6 -> int4: the nominating does not occur.; sent5 -> int5: the resultant occurs.; int4 & int5 -> int6: not the nominating but the resultant happens.; sent3 & int6 -> int7: the repairing pyrethrum occurs.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __PROVED__