the fact that the catboat is a summarization and it is nontraditional is not true.
sent1: something is not parasitic if it is not morphemic and does encrust remainder. sent2: that something is a tinamou and it does encrust remainder hold if it is not parasitic. sent3: the catboat is nontraditional if the upholsterer is nontraditional. sent4: something is morphemic. sent5: if something is not morphemic but it is epigastric then it is not parasitic. sent6: if the fact that the upholsterer does encrust remainder and is a tinamou is not true then it is not a tinamou. sent7: if something is not nontraditional but it is a summarization it is not parasitic. sent8: if something is a tinamou then it is a kind of a summarization. sent9: if the pudge is morphemic and is epigastric the fact that it is not parasitic hold. sent10: if there is something such that it is not parasitic that the catboat is a summarization and is nontraditional is not correct. sent11: the pudge is both not morphemic and epigastric if something is a tinamou.
sent5 -> int1: if that the pudge is not morphemic and is epigastric is correct it is not parasitic.;
the catboat is a summarization and it is nontraditional.
sent8 -> int2: the fact that the catboat is a summarization is not incorrect if that it is a kind of a tinamou hold.; sent2 -> int3: if the catboat is not parasitic then it is a tinamou that does encrust remainder.;
$hypothesis$ = the fact that the catboat is a summarization and it is nontraditional is not true. ; $context$ = sent1: something is not parasitic if it is not morphemic and does encrust remainder. sent2: that something is a tinamou and it does encrust remainder hold if it is not parasitic. sent3: the catboat is nontraditional if the upholsterer is nontraditional. sent4: something is morphemic. sent5: if something is not morphemic but it is epigastric then it is not parasitic. sent6: if the fact that the upholsterer does encrust remainder and is a tinamou is not true then it is not a tinamou. sent7: if something is not nontraditional but it is a summarization it is not parasitic. sent8: if something is a tinamou then it is a kind of a summarization. sent9: if the pudge is morphemic and is epigastric the fact that it is not parasitic hold. sent10: if there is something such that it is not parasitic that the catboat is a summarization and is nontraditional is not correct. sent11: the pudge is both not morphemic and epigastric if something is a tinamou. ; $proof$ = 
sent5 -> int1: if that the pudge is not morphemic and is epigastric is correct it is not parasitic.; __UNKNOWN__