the chapterhouse is a blacking.
sent1: the chapterhouse is not live but it is integumentary. sent2: if the chapterhouse is not a tacker and is unrecoverable then it is a blacking. sent3: that the electrician is non-blacking thing that is a acoustician does not hold. sent4: something does live if the fact that it is both not a tacker and unrecoverable is not right.
sent4 -> int1: the fact that the chapterhouse is live is not wrong if the fact that it is not a tacker and it is unrecoverable is not correct.; void -> assump1: Let's assume that that the chapterhouse is both not a tacker and unrecoverable does not hold.; int1 & assump1 -> int2: the chapterhouse is not non-live.; sent1 -> int3: the chapterhouse is not live.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the chapterhouse is not a tacker and is unrecoverable.; int5 & sent2 -> hypothesis;
$hypothesis$ = the chapterhouse is a blacking. ; $context$ = sent1: the chapterhouse is not live but it is integumentary. sent2: if the chapterhouse is not a tacker and is unrecoverable then it is a blacking. sent3: that the electrician is non-blacking thing that is a acoustician does not hold. sent4: something does live if the fact that it is both not a tacker and unrecoverable is not right. ; $proof$ = 
sent4 -> int1: the fact that the chapterhouse is live is not wrong if the fact that it is not a tacker and it is unrecoverable is not correct.; void -> assump1: Let's assume that that the chapterhouse is both not a tacker and unrecoverable does not hold.; int1 & assump1 -> int2: the chapterhouse is not non-live.; sent1 -> int3: the chapterhouse is not live.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the chapterhouse is not a tacker and is unrecoverable.; int5 & sent2 -> hypothesis; __PROVED__