that the beginning antediluvian happens is true.
sent1: if the fact that the obeying does not occur and/or the raking tempering does not occur is not correct then the beginning antediluvian does not occur. sent2: the raking tempering occurs. sent3: the fact that that the latter does not occur but the beginning Honegger happens is correct does not hold. sent4: that the accreditation does not occur and the offset does not occur is not right if the raking liked occurs. sent5: that the accreditation does not occur and the offset does not occur is brought about by the raking tempering. sent6: if the raking liked happens then that the accreditation does not occur and the offset happens is not true. sent7: the beginning antediluvian occurs if the raking liked does not occur.
void -> assump1: Let's assume that the raking liked happens.; sent4 & assump1 -> int1: the fact that the accreditation does not occur and the offset does not occur is not correct.; sent5 & sent2 -> int2: the accreditation does not occur and the offsetting does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the raking liked does not occur is not wrong.; int4 & sent7 -> hypothesis;
the work-in occurs.
$hypothesis$ = that the beginning antediluvian happens is true. ; $context$ = sent1: if the fact that the obeying does not occur and/or the raking tempering does not occur is not correct then the beginning antediluvian does not occur. sent2: the raking tempering occurs. sent3: the fact that that the latter does not occur but the beginning Honegger happens is correct does not hold. sent4: that the accreditation does not occur and the offset does not occur is not right if the raking liked occurs. sent5: that the accreditation does not occur and the offset does not occur is brought about by the raking tempering. sent6: if the raking liked happens then that the accreditation does not occur and the offset happens is not true. sent7: the beginning antediluvian occurs if the raking liked does not occur. ; $proof$ = 
void -> assump1: Let's assume that the raking liked happens.; sent4 & assump1 -> int1: the fact that the accreditation does not occur and the offset does not occur is not correct.; sent5 & sent2 -> int2: the accreditation does not occur and the offsetting does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the raking liked does not occur is not wrong.; int4 & sent7 -> hypothesis; __PROVED__