if the clangoring authenticity occurs then the premising Giriama occurs.
sent1: the fact that the clangoring authenticity and the disreputableness happens does not hold if the Zolaesqueness does not occur. sent2: if that the marveling but not the premising bimetallist happens does not hold then the premising sodium happens. sent3: if the fact that the retouching chopine occurs is not false the archidiaconalness happens. sent4: that the clangoring authenticity does not occur is prevented by that the clangoring windsock or the premising Postum or both happens. sent5: that if the fact that that the Zolaesqueness happens but the disreputableness does not occur is not wrong is not true then the premising Giriama occurs is correct. sent6: the retouching chopine occurs if the uprightness happens. sent7: the premising Postum does not occur if that the clangoring authenticity and the disreputableness happens is not correct. sent8: the emanation does not occur and the corrugation does not occur if the clangoring Medicago happens. sent9: the aquatinting occurs and/or the retouching steeple occurs. sent10: that either the clangoring windsock or the premising Postum or both occurs triggers that the clangoring authenticity does not occur. sent11: the clangoring Medicago happens. sent12: if the fact that the archidiaconalness occurs is not false the Zolaesqueness does not occur and the premising Giriama does not occur. sent13: if the Zolaesqueness does not occur then the premising Giriama occurs. sent14: the starriness and/or the premising iridoncus occurs if the corrugation does not occur. sent15: if that the disreputableness happens and the clangoring authenticity does not occur does not hold the premising Postum does not occur. sent16: the clangoring authenticity does not occur if the premising Postum occurs.
void -> assump1: Let's assume that the clangoring authenticity happens.; void -> assump2: Let's assume that the clangoring windsock occurs.; assump2 -> int1: either the clangoring windsock occurs or the premising Postum happens or both.; sent10 & int1 -> int2: the clangoring authenticity does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the clangoring windsock does not occur.;
the corrugation occurs or the retouching chloramine occurs or both.
$hypothesis$ = if the clangoring authenticity occurs then the premising Giriama occurs. ; $context$ = sent1: the fact that the clangoring authenticity and the disreputableness happens does not hold if the Zolaesqueness does not occur. sent2: if that the marveling but not the premising bimetallist happens does not hold then the premising sodium happens. sent3: if the fact that the retouching chopine occurs is not false the archidiaconalness happens. sent4: that the clangoring authenticity does not occur is prevented by that the clangoring windsock or the premising Postum or both happens. sent5: that if the fact that that the Zolaesqueness happens but the disreputableness does not occur is not wrong is not true then the premising Giriama occurs is correct. sent6: the retouching chopine occurs if the uprightness happens. sent7: the premising Postum does not occur if that the clangoring authenticity and the disreputableness happens is not correct. sent8: the emanation does not occur and the corrugation does not occur if the clangoring Medicago happens. sent9: the aquatinting occurs and/or the retouching steeple occurs. sent10: that either the clangoring windsock or the premising Postum or both occurs triggers that the clangoring authenticity does not occur. sent11: the clangoring Medicago happens. sent12: if the fact that the archidiaconalness occurs is not false the Zolaesqueness does not occur and the premising Giriama does not occur. sent13: if the Zolaesqueness does not occur then the premising Giriama occurs. sent14: the starriness and/or the premising iridoncus occurs if the corrugation does not occur. sent15: if that the disreputableness happens and the clangoring authenticity does not occur does not hold the premising Postum does not occur. sent16: the clangoring authenticity does not occur if the premising Postum occurs. ; $proof$ = 
void -> assump1: Let's assume that the clangoring authenticity happens.; void -> assump2: Let's assume that the clangoring windsock occurs.; assump2 -> int1: either the clangoring windsock occurs or the premising Postum happens or both.; sent10 & int1 -> int2: the clangoring authenticity does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the clangoring windsock does not occur.; __UNKNOWN__