the capturing Ephesus happens.
sent1: if not the reading birthplace but the teasing happens then the aerologicalness does not occur. sent2: if the fact that the capturing Ephesus happens is not wrong then the deafening conservator occurs. sent3: the capturing cessation does not occur. sent4: that the reading birthplace does not occur but the teasing happens is brought about by that the navalness occurs. sent5: the Anglophilicness occurs. sent6: the reading metronome happens. sent7: the declassification does not occur and the benevolentness occurs if the habitude happens. sent8: the aerologicalness happens if the deafening conservator occurs. sent9: the monotonicness does not occur if the ungulateness occurs. sent10: that the fungicidalness does not occur is not wrong. sent11: that both the paleolithicness and the ileostomy happens brings about that the capturing deadliness does not occur. sent12: not the worship but the cremation occurs if the capturing gulp happens. sent13: the navalness occurs.
void -> assump1: Let's assume that the capturing Ephesus happens.; sent2 & assump1 -> int1: the deafening conservator happens.; int1 & sent8 -> int2: the aerologicalness occurs.; sent4 & sent13 -> int3: not the reading birthplace but the tease happens.; sent1 & int3 -> int4: that the aerologicalness does not occur is true.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the capturing Ephesus happens. ; $context$ = sent1: if not the reading birthplace but the teasing happens then the aerologicalness does not occur. sent2: if the fact that the capturing Ephesus happens is not wrong then the deafening conservator occurs. sent3: the capturing cessation does not occur. sent4: that the reading birthplace does not occur but the teasing happens is brought about by that the navalness occurs. sent5: the Anglophilicness occurs. sent6: the reading metronome happens. sent7: the declassification does not occur and the benevolentness occurs if the habitude happens. sent8: the aerologicalness happens if the deafening conservator occurs. sent9: the monotonicness does not occur if the ungulateness occurs. sent10: that the fungicidalness does not occur is not wrong. sent11: that both the paleolithicness and the ileostomy happens brings about that the capturing deadliness does not occur. sent12: not the worship but the cremation occurs if the capturing gulp happens. sent13: the navalness occurs. ; $proof$ = 
void -> assump1: Let's assume that the capturing Ephesus happens.; sent2 & assump1 -> int1: the deafening conservator happens.; int1 & sent8 -> int2: the aerologicalness occurs.; sent4 & sent13 -> int3: not the reading birthplace but the tease happens.; sent1 & int3 -> int4: that the aerologicalness does not occur is true.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__