that the siding does not fish codicil hold.
sent1: if the publicist is not a stonechat then the siding does fish codicil and it isolates. sent2: if the fact that something is a kind of a stonechat that does not isolate is not false then it does not fish codicil. sent3: the siding does not isolate if that it does not ensconce treasurership and is inactive is not correct. sent4: the publicist is not a half and it is not a kind of a spectacular. sent5: something is inactive and/or it does not ensconce treasurership if it does ensconce autotype. sent6: that the siding is a stonechat hold if the publicist is not half and it is not a spectacular. sent7: that the siding does not ensconce treasurership and is inactive is not true.
sent6 & sent4 -> int1: the siding is a stonechat.; sent3 & sent7 -> int2: the siding does not isolate.; int1 & int2 -> int3: the siding is a stonechat but it does not isolate.; sent2 -> int4: the siding does not fish codicil if it is a kind of a stonechat that does not isolate.; int3 & int4 -> hypothesis;
the siding fishes codicil.
sent5 -> int5: the publicist is inactive and/or it does not ensconce treasurership if it ensconces autotype.;
$hypothesis$ = that the siding does not fish codicil hold. ; $context$ = sent1: if the publicist is not a stonechat then the siding does fish codicil and it isolates. sent2: if the fact that something is a kind of a stonechat that does not isolate is not false then it does not fish codicil. sent3: the siding does not isolate if that it does not ensconce treasurership and is inactive is not correct. sent4: the publicist is not a half and it is not a kind of a spectacular. sent5: something is inactive and/or it does not ensconce treasurership if it does ensconce autotype. sent6: that the siding is a stonechat hold if the publicist is not half and it is not a spectacular. sent7: that the siding does not ensconce treasurership and is inactive is not true. ; $proof$ = 
sent6 & sent4 -> int1: the siding is a stonechat.; sent3 & sent7 -> int2: the siding does not isolate.; int1 & int2 -> int3: the siding is a stonechat but it does not isolate.; sent2 -> int4: the siding does not fish codicil if it is a kind of a stonechat that does not isolate.; int3 & int4 -> hypothesis; __PROVED__