the consuetude happens if the metrification occurs.
sent1: that the lobectomy does not occur is prevented by that the agentialness happens. sent2: if the heavy does not occur then that the adamantineness does not occur but the metrification happens is wrong. sent3: if the metrification does not occur and the adamantineness does not occur the consuetude occurs. sent4: the fact that the consuetude does not occur does not hold if the fact that the metrification does not occur and the adamantineness does not occur is not true. sent5: if the fact that the metrification occurs but the adamantineness does not occur does not hold the consuetude occurs. sent6: if the biennialness does not occur but the chorusing happens the propaedeutic does not occur. sent7: the distinguishableness does not occur if the fact that both the non-adamantineness and the metrification occurs is wrong. sent8: that the rounders occurs prevents that the incarnation does not occur. sent9: the cryptogamicness occurs if that the waning does not occur and the grassiness does not occur does not hold. sent10: the metrification but not the adamantineness happens. sent11: the adamantineness does not occur. sent12: the consuetude happens if the adamantineness happens. sent13: the biennialness does not occur. sent14: the ichthyolatry happens. sent15: the mediatoriness or the interpreting ornithischian or both happens. sent16: the rounders occurs if the fact that the dunning teacher occurs is correct. sent17: the fact that the predestination happens is true if the desirableness happens. sent18: the cementitiousness does not occur and the heavy does not occur if the propaedeutic does not occur.
void -> assump2: Let's assume that the metrification does not occur and the adamantineness does not occur.; assump2 -> int1: the metrification does not occur.; void -> assump1: Let's assume that the metrification occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the metrification does not occur and the adamantineness does not occur does not hold.; int3 & sent4 -> int4: the consuetude happens.; [assump1] & int4 -> hypothesis;
the indistinguishableness and the non-actinometricness occurs.
$hypothesis$ = the consuetude happens if the metrification occurs. ; $context$ = sent1: that the lobectomy does not occur is prevented by that the agentialness happens. sent2: if the heavy does not occur then that the adamantineness does not occur but the metrification happens is wrong. sent3: if the metrification does not occur and the adamantineness does not occur the consuetude occurs. sent4: the fact that the consuetude does not occur does not hold if the fact that the metrification does not occur and the adamantineness does not occur is not true. sent5: if the fact that the metrification occurs but the adamantineness does not occur does not hold the consuetude occurs. sent6: if the biennialness does not occur but the chorusing happens the propaedeutic does not occur. sent7: the distinguishableness does not occur if the fact that both the non-adamantineness and the metrification occurs is wrong. sent8: that the rounders occurs prevents that the incarnation does not occur. sent9: the cryptogamicness occurs if that the waning does not occur and the grassiness does not occur does not hold. sent10: the metrification but not the adamantineness happens. sent11: the adamantineness does not occur. sent12: the consuetude happens if the adamantineness happens. sent13: the biennialness does not occur. sent14: the ichthyolatry happens. sent15: the mediatoriness or the interpreting ornithischian or both happens. sent16: the rounders occurs if the fact that the dunning teacher occurs is correct. sent17: the fact that the predestination happens is true if the desirableness happens. sent18: the cementitiousness does not occur and the heavy does not occur if the propaedeutic does not occur. ; $proof$ = 
void -> assump2: Let's assume that the metrification does not occur and the adamantineness does not occur.; assump2 -> int1: the metrification does not occur.; void -> assump1: Let's assume that the metrification occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the metrification does not occur and the adamantineness does not occur does not hold.; int3 & sent4 -> int4: the consuetude happens.; [assump1] & int4 -> hypothesis; __PROVED__