that the fact that the aureole is not hymenal and is not a Lysol does not hold hold.
sent1: if something is not unsuccessful then that it does not unseal Empetraceae and is not a kind of a densitometry is wrong. sent2: the odist is a bookend and does not bankrupt lignosae. sent3: if the odist is a bookend but it does not bankrupt lignosae then it is a graze. sent4: if the fullback does mumble it is a kind of a customer. sent5: if the odist grazes then it is a mumble. sent6: if something is a graze and it does bankrupt lignosae it is not unsuccessful. sent7: the fullback is not a quaver and it is not leafless. sent8: the fullback is not a kind of a customer. sent9: that the odist is not a Lysol but it does bankrupt lignosae does not hold. sent10: the aureole is not hymenal and it is not a kind of a Lysol if the odist is not a bath. sent11: if the odist is not hymenal the aureole does not bankrupt lignosae and does not unseal Empetraceae. sent12: if a mumble is a kind of a bath then it is not unsuccessful. sent13: the odist is both not a densitometry and not a customer. sent14: if the odist is not a bookend then the aureole does not mumble and it is not hymenal. sent15: if the aureole does not unseal Empetraceae then the odist is not hymenal. sent16: the fact that the aureole is not a Lysol and it does not unseal Empetraceae is wrong if it is not a kind of a mumble. sent17: if the aureole is not a kind of a bookend then the odist is not a Lysol. sent18: the odist does not unseal Empetraceae and is not a kind of a densitometry if that the fullback is not a kind of a customer hold. sent19: if the odist is a bookend and it does bankrupt lignosae then it is a graze. sent20: the fullback does not unseal Empetraceae if the odist is not a customer. sent21: the aureole is both not hymenal and not a bath. sent22: that the odist does not unseal Empetraceae and is a densitometry is not correct. sent23: the calm does not unseal Empetraceae and it is not a kind of a batiste.
sent3 & sent2 -> int1: the odist is a graze.; int1 & sent5 -> int2: the odist does mumble.; void -> assump1: Let's assume that the odist is a bath.; int2 & assump1 -> int3: the odist is both a mumble and a bath.; sent12 -> int4: the fact that the odist is not unsuccessful is not incorrect if it is a mumble and it is a bath.; int3 & int4 -> int5: the odist is not unsuccessful.; sent1 -> int6: if the fact that the odist is not unsuccessful hold then the fact that it does not unseal Empetraceae and it is not a densitometry does not hold.; int5 & int6 -> int7: the fact that the odist does not unseal Empetraceae and is not a kind of a densitometry does not hold.; sent18 & sent8 -> int8: the odist does not unseal Empetraceae and it is not a densitometry.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the odist is not a bath.; int10 & sent10 -> hypothesis;
$hypothesis$ = that the fact that the aureole is not hymenal and is not a Lysol does not hold hold. ; $context$ = sent1: if something is not unsuccessful then that it does not unseal Empetraceae and is not a kind of a densitometry is wrong. sent2: the odist is a bookend and does not bankrupt lignosae. sent3: if the odist is a bookend but it does not bankrupt lignosae then it is a graze. sent4: if the fullback does mumble it is a kind of a customer. sent5: if the odist grazes then it is a mumble. sent6: if something is a graze and it does bankrupt lignosae it is not unsuccessful. sent7: the fullback is not a quaver and it is not leafless. sent8: the fullback is not a kind of a customer. sent9: that the odist is not a Lysol but it does bankrupt lignosae does not hold. sent10: the aureole is not hymenal and it is not a kind of a Lysol if the odist is not a bath. sent11: if the odist is not hymenal the aureole does not bankrupt lignosae and does not unseal Empetraceae. sent12: if a mumble is a kind of a bath then it is not unsuccessful. sent13: the odist is both not a densitometry and not a customer. sent14: if the odist is not a bookend then the aureole does not mumble and it is not hymenal. sent15: if the aureole does not unseal Empetraceae then the odist is not hymenal. sent16: the fact that the aureole is not a Lysol and it does not unseal Empetraceae is wrong if it is not a kind of a mumble. sent17: if the aureole is not a kind of a bookend then the odist is not a Lysol. sent18: the odist does not unseal Empetraceae and is not a kind of a densitometry if that the fullback is not a kind of a customer hold. sent19: if the odist is a bookend and it does bankrupt lignosae then it is a graze. sent20: the fullback does not unseal Empetraceae if the odist is not a customer. sent21: the aureole is both not hymenal and not a bath. sent22: that the odist does not unseal Empetraceae and is a densitometry is not correct. sent23: the calm does not unseal Empetraceae and it is not a kind of a batiste. ; $proof$ = 
sent3 & sent2 -> int1: the odist is a graze.; int1 & sent5 -> int2: the odist does mumble.; void -> assump1: Let's assume that the odist is a bath.; int2 & assump1 -> int3: the odist is both a mumble and a bath.; sent12 -> int4: the fact that the odist is not unsuccessful is not incorrect if it is a mumble and it is a bath.; int3 & int4 -> int5: the odist is not unsuccessful.; sent1 -> int6: if the fact that the odist is not unsuccessful hold then the fact that it does not unseal Empetraceae and it is not a densitometry does not hold.; int5 & int6 -> int7: the fact that the odist does not unseal Empetraceae and is not a kind of a densitometry does not hold.; sent18 & sent8 -> int8: the odist does not unseal Empetraceae and it is not a densitometry.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the odist is not a bath.; int10 & sent10 -> hypothesis; __DISPROVED__