the detail does not occur.
sent1: the necromanticness occurs if the neurogenicness happens. sent2: that the discernibleness and/or the neurogenicness occurs is right. sent3: if the necromanticness does not occur then the fact that both the non-cardiacness and the neurogenicness happens is not correct. sent4: the necromanticness occurs if the discernibleness occurs. sent5: the cardiacness does not occur if the detailing and the necromanticness happens. sent6: the pursuit and the noxiousness happens if the intramuralness does not occur. sent7: the intramuralness does not occur. sent8: if the opinion happens the nagging recidivism happens. sent9: that the noxiousness happens is prevented by that the intramuralness happens. sent10: the noxiousness happens if the intramuralness does not occur. sent11: the pursuit does not occur if the cardiacness does not occur.
sent2 & sent4 & sent1 -> int1: the necromanticness happens.; void -> assump1: Let's assume that the detailing occurs.; int1 & assump1 -> int2: both the detailing and the necromanticness occurs.; int2 & sent5 -> int3: the fact that the cardiacness does not occur is right.; int3 & sent11 -> int4: the pursuit does not occur.; sent6 & sent7 -> int5: both the pursuit and the noxiousness occurs.; int5 -> int6: the pursuit occurs.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the detailing occurs.
$hypothesis$ = the detail does not occur. ; $context$ = sent1: the necromanticness occurs if the neurogenicness happens. sent2: that the discernibleness and/or the neurogenicness occurs is right. sent3: if the necromanticness does not occur then the fact that both the non-cardiacness and the neurogenicness happens is not correct. sent4: the necromanticness occurs if the discernibleness occurs. sent5: the cardiacness does not occur if the detailing and the necromanticness happens. sent6: the pursuit and the noxiousness happens if the intramuralness does not occur. sent7: the intramuralness does not occur. sent8: if the opinion happens the nagging recidivism happens. sent9: that the noxiousness happens is prevented by that the intramuralness happens. sent10: the noxiousness happens if the intramuralness does not occur. sent11: the pursuit does not occur if the cardiacness does not occur. ; $proof$ = 
sent2 & sent4 & sent1 -> int1: the necromanticness happens.; void -> assump1: Let's assume that the detailing occurs.; int1 & assump1 -> int2: both the detailing and the necromanticness occurs.; int2 & sent5 -> int3: the fact that the cardiacness does not occur is right.; int3 & sent11 -> int4: the pursuit does not occur.; sent6 & sent7 -> int5: both the pursuit and the noxiousness occurs.; int5 -> int6: the pursuit occurs.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__