the Babylonianness does not occur.
sent1: if the noncrystallineness occurs the heroine but not the doctoralness happens. sent2: if the noncrystallineness does not occur the ablactation occurs. sent3: if the ablactation occurs the Babylonian occurs. sent4: if both the heroine and the non-doctoralness occurs the bribery does not occur. sent5: the fiber-opticness happens and the dermatologicness does not occur. sent6: the bribery is brought about by that the prizefighting occurs. sent7: the montaneness happens and the outflanking entrapment does not occur. sent8: the heroine occurs. sent9: the photoemissiveness happens if the tattle happens. sent10: the fact that the prizefight occurs hold. sent11: if the noncrystallineness and the bribery occurs then the Babylonian does not occur.
void -> assump1: Let's assume that the noncrystallineness occurs.; sent1 & assump1 -> int1: the heroine but not the doctoralness happens.; int1 & sent4 -> int2: the fact that the bribery does not occur is true.; sent6 & sent10 -> int3: the bribery happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the noncrystallineness does not occur.; int5 & sent2 -> int6: the ablactation happens.; int6 & sent3 -> hypothesis;
the Babylonianness does not occur.
$hypothesis$ = the Babylonianness does not occur. ; $context$ = sent1: if the noncrystallineness occurs the heroine but not the doctoralness happens. sent2: if the noncrystallineness does not occur the ablactation occurs. sent3: if the ablactation occurs the Babylonian occurs. sent4: if both the heroine and the non-doctoralness occurs the bribery does not occur. sent5: the fiber-opticness happens and the dermatologicness does not occur. sent6: the bribery is brought about by that the prizefighting occurs. sent7: the montaneness happens and the outflanking entrapment does not occur. sent8: the heroine occurs. sent9: the photoemissiveness happens if the tattle happens. sent10: the fact that the prizefight occurs hold. sent11: if the noncrystallineness and the bribery occurs then the Babylonian does not occur. ; $proof$ = 
void -> assump1: Let's assume that the noncrystallineness occurs.; sent1 & assump1 -> int1: the heroine but not the doctoralness happens.; int1 & sent4 -> int2: the fact that the bribery does not occur is true.; sent6 & sent10 -> int3: the bribery happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the noncrystallineness does not occur.; int5 & sent2 -> int6: the ablactation happens.; int6 & sent3 -> hypothesis; __DISPROVED__