the haemophilicness does not occur but the Hemingwayesqueness happens.
sent1: if the discus does not occur then that not the haemophilicness but the Hemingwayesqueness happens is false. sent2: the fact that if that the foolishness does not occur and/or the antisepticizing scalp does not occur does not hold the discus does not occur hold. sent3: if that the haemophilicness does not occur but the Hemingwayesqueness happens is wrong then the antisepticizing scalp does not occur. sent4: that the chance-medley does not occur but the decolonization happens is not wrong. sent5: if that the flame-out and the proposing occurs is wrong that the ladder does not occur is true. sent6: the fact that the discus occurs is true. sent7: the antisepticizing scalp and the discus happens. sent8: if the Hemingwayesqueness does not occur the antisepticizing scalp does not occur. sent9: the Hemingwayesqueness occurs. sent10: not the illness but the corresponding rhizopod happens. sent11: that the demobilization does not occur brings about that either the snoring does not occur or the antisepticizing coatdress does not occur or both. sent12: if the fact that the menopausalness does not occur hold that the flame-out happens and the proposing happens is false. sent13: if the water occurs that the foolishness does not occur and/or the antisepticizing scalp does not occur is not right. sent14: if the ladder does not occur the antecubitalness happens and the watering happens. sent15: the foolishness does not occur but the avoiding Seurat happens if the discus occurs.
void -> assump1: Let's assume that the fact that not the haemophilicness but the Hemingwayesqueness happens is incorrect.; sent3 & assump1 -> int1: the antisepticizing scalp does not occur.; sent7 -> int2: that the antisepticizing scalp occurs is not false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
that not the haemophilicness but the Hemingwayesqueness happens does not hold.
$hypothesis$ = the haemophilicness does not occur but the Hemingwayesqueness happens. ; $context$ = sent1: if the discus does not occur then that not the haemophilicness but the Hemingwayesqueness happens is false. sent2: the fact that if that the foolishness does not occur and/or the antisepticizing scalp does not occur does not hold the discus does not occur hold. sent3: if that the haemophilicness does not occur but the Hemingwayesqueness happens is wrong then the antisepticizing scalp does not occur. sent4: that the chance-medley does not occur but the decolonization happens is not wrong. sent5: if that the flame-out and the proposing occurs is wrong that the ladder does not occur is true. sent6: the fact that the discus occurs is true. sent7: the antisepticizing scalp and the discus happens. sent8: if the Hemingwayesqueness does not occur the antisepticizing scalp does not occur. sent9: the Hemingwayesqueness occurs. sent10: not the illness but the corresponding rhizopod happens. sent11: that the demobilization does not occur brings about that either the snoring does not occur or the antisepticizing coatdress does not occur or both. sent12: if the fact that the menopausalness does not occur hold that the flame-out happens and the proposing happens is false. sent13: if the water occurs that the foolishness does not occur and/or the antisepticizing scalp does not occur is not right. sent14: if the ladder does not occur the antecubitalness happens and the watering happens. sent15: the foolishness does not occur but the avoiding Seurat happens if the discus occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that not the haemophilicness but the Hemingwayesqueness happens is incorrect.; sent3 & assump1 -> int1: the antisepticizing scalp does not occur.; sent7 -> int2: that the antisepticizing scalp occurs is not false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__