if the Babylonianness happens the dream does not occur.
sent1: the cluing Cassiope does not occur. sent2: the degradation triggers that not the fiducialness but the suspending cast happens. sent3: the decorating occurs. sent4: that the deprecation does not occur triggers that the whizzing does not occur and the Babylonianness does not occur. sent5: the Babylonianness does not occur if the dreaming and the Eurafricanness occurs. sent6: the carnifying happens. sent7: that both the unknown and the dream happens is caused by the non-Eurafricanness. sent8: the suspending put-down does not occur. sent9: the answer happens and the jitters happens. sent10: if the immeasurableness occurs then the cluing tourist does not occur. sent11: the Eurafricanness happens. sent12: the non-Eurafricanness is caused by that the whizzing does not occur and the Babylonian does not occur. sent13: the fluke occurs and the nonracialness happens. sent14: if that the cluing tourist does not occur is not false the deprecation does not occur. sent15: that the dreaming and the Eurafrican happens results in that the Babylonianness happens. sent16: that the tightsness and the nonracialness occurs prevents the Germanism. sent17: that the degradation happens is correct. sent18: that both the cubicness and the cluing tourist happens causes the non-isotopicness. sent19: the indexlessness does not occur if both the phenomenalness and the sterileness happens.
void -> assump1: Let's assume that the Babylonianness occurs.; void -> assump2: Let's assume that the dreaming occurs.; assump2 & sent11 -> int1: both the dreaming and the Eurafricanness happens.; sent5 & int1 -> int2: the Babylonianness does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the dream does not occur.; [assump1] & int4 -> hypothesis;
both the suspending cast and the unknown occurs.
sent2 & sent17 -> int5: the non-fiducialness and the suspending cast happens.; int5 -> int6: the suspending cast occurs.;
$hypothesis$ = if the Babylonianness happens the dream does not occur. ; $context$ = sent1: the cluing Cassiope does not occur. sent2: the degradation triggers that not the fiducialness but the suspending cast happens. sent3: the decorating occurs. sent4: that the deprecation does not occur triggers that the whizzing does not occur and the Babylonianness does not occur. sent5: the Babylonianness does not occur if the dreaming and the Eurafricanness occurs. sent6: the carnifying happens. sent7: that both the unknown and the dream happens is caused by the non-Eurafricanness. sent8: the suspending put-down does not occur. sent9: the answer happens and the jitters happens. sent10: if the immeasurableness occurs then the cluing tourist does not occur. sent11: the Eurafricanness happens. sent12: the non-Eurafricanness is caused by that the whizzing does not occur and the Babylonian does not occur. sent13: the fluke occurs and the nonracialness happens. sent14: if that the cluing tourist does not occur is not false the deprecation does not occur. sent15: that the dreaming and the Eurafrican happens results in that the Babylonianness happens. sent16: that the tightsness and the nonracialness occurs prevents the Germanism. sent17: that the degradation happens is correct. sent18: that both the cubicness and the cluing tourist happens causes the non-isotopicness. sent19: the indexlessness does not occur if both the phenomenalness and the sterileness happens. ; $proof$ = 
void -> assump1: Let's assume that the Babylonianness occurs.; void -> assump2: Let's assume that the dreaming occurs.; assump2 & sent11 -> int1: both the dreaming and the Eurafricanness happens.; sent5 & int1 -> int2: the Babylonianness does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the dream does not occur.; [assump1] & int4 -> hypothesis; __PROVED__