the fact that the planchet mythologizes liaison hold.
sent1: that everything is not a kind of a prizefighter is true. sent2: if something is not a kind of a cetacean and is a convert it does mythologize liaison. sent3: if something is a kind of phonemic a Afro it is not a tango. sent4: the analyst is not a prizefighter and is a convert if the planchet is not a prizefighter. sent5: that the fact that the planchet is lively and does not convert is right is incorrect. sent6: something that is not a prizefighter but a Cebu is not a cetacean. sent7: if the analyst is not a kind of a prizefighter then the planchet is not a kind of a prizefighter but it is a kind of a Cebu. sent8: if the fact that something is lively but it is not a kind of a convert is not right it convert.
sent1 -> int1: the analyst is not a prizefighter.; int1 & sent7 -> int2: the planchet is not a prizefighter and is a kind of a Cebu.; sent6 -> int3: if the planchet is not a kind of a prizefighter and is a Cebu then it is not a cetacean.; int2 & int3 -> int4: the planchet is not a kind of a cetacean.; sent8 -> int5: the planchet converts if that it is both lively and not a converts is not true.; int5 & sent5 -> int6: the planchet does convert.; int4 & int6 -> int7: the planchet is not cetacean and is a convert.; sent2 -> int8: the planchet does mythologize liaison if it is not cetacean and is a convert.; int7 & int8 -> hypothesis;
$hypothesis$ = the fact that the planchet mythologizes liaison hold. ; $context$ = sent1: that everything is not a kind of a prizefighter is true. sent2: if something is not a kind of a cetacean and is a convert it does mythologize liaison. sent3: if something is a kind of phonemic a Afro it is not a tango. sent4: the analyst is not a prizefighter and is a convert if the planchet is not a prizefighter. sent5: that the fact that the planchet is lively and does not convert is right is incorrect. sent6: something that is not a prizefighter but a Cebu is not a cetacean. sent7: if the analyst is not a kind of a prizefighter then the planchet is not a kind of a prizefighter but it is a kind of a Cebu. sent8: if the fact that something is lively but it is not a kind of a convert is not right it convert. ; $proof$ = 
sent1 -> int1: the analyst is not a prizefighter.; int1 & sent7 -> int2: the planchet is not a prizefighter and is a kind of a Cebu.; sent6 -> int3: if the planchet is not a kind of a prizefighter and is a Cebu then it is not a cetacean.; int2 & int3 -> int4: the planchet is not a kind of a cetacean.; sent8 -> int5: the planchet converts if that it is both lively and not a converts is not true.; int5 & sent5 -> int6: the planchet does convert.; int4 & int6 -> int7: the planchet is not cetacean and is a convert.; sent2 -> int8: the planchet does mythologize liaison if it is not cetacean and is a convert.; int7 & int8 -> hypothesis; __PROVED__