the Macon is not unresentful.
sent1: if the fact that that the great-uncle is not a mass and scours prelude is not incorrect does not hold the Macon is not unresentful. sent2: the great-uncle is a Falco. sent3: something is disproportionate if it is a kind of a Wykeham. sent4: something is not causative or not nonterritorial or both if it is disproportionate. sent5: that the great-uncle is both not territorial and a mass is wrong. sent6: the fact that the great-uncle does mass and it does scour prelude is not true. sent7: the rensselaerite is a kind of a territorial. sent8: the fact that the great-uncle is a mass and it scours prelude is not correct if the rensselaerite is a territorial. sent9: if that the rensselaerite is territorial is right that the great-uncle is not a mass but it scours prelude is not correct. sent10: if the fact that something does not wail but it is a Bethune is not true then it is a Wykeham. sent11: if something is a territorial it is not resentful. sent12: the Macon is not unresentful if the great-uncle is a kind of a mass.
sent9 & sent7 -> int1: that the great-uncle is not a mass and does scour prelude is not true.; sent1 & int1 -> hypothesis;
the Macon is unresentful.
sent11 -> int2: if that the fact that the Macon is not a territorial is right is false it is unresentful.; sent4 -> int3: if the rensselaerite is disproportionate then it is not causative and/or is a territorial.; sent3 -> int4: the rensselaerite is disproportionate if it is a kind of a Wykeham.; sent10 -> int5: if that the rensselaerite does not wail but it is a Bethune is not right it is a Wykeham.;
$hypothesis$ = the Macon is not unresentful. ; $context$ = sent1: if the fact that that the great-uncle is not a mass and scours prelude is not incorrect does not hold the Macon is not unresentful. sent2: the great-uncle is a Falco. sent3: something is disproportionate if it is a kind of a Wykeham. sent4: something is not causative or not nonterritorial or both if it is disproportionate. sent5: that the great-uncle is both not territorial and a mass is wrong. sent6: the fact that the great-uncle does mass and it does scour prelude is not true. sent7: the rensselaerite is a kind of a territorial. sent8: the fact that the great-uncle is a mass and it scours prelude is not correct if the rensselaerite is a territorial. sent9: if that the rensselaerite is territorial is right that the great-uncle is not a mass but it scours prelude is not correct. sent10: if the fact that something does not wail but it is a Bethune is not true then it is a Wykeham. sent11: if something is a territorial it is not resentful. sent12: the Macon is not unresentful if the great-uncle is a kind of a mass. ; $proof$ = 
sent9 & sent7 -> int1: that the great-uncle is not a mass and does scour prelude is not true.; sent1 & int1 -> hypothesis; __PROVED__