the redneck is not a Beowulf but non-dysgenic.
sent1: the redneck is not a Beowulf if it is a kind of a mathematician or does not debut government or both. sent2: the strongroom is not a kind of a Delius and it does not debut government. sent3: the redneck is not a decarboxylation. sent4: there is something such that the fact that it is not a mathematician and debuts government is not true. sent5: the redneck does not debut government. sent6: there exists something such that that the fact that it is latitudinal and it is dysgenic hold is not true. sent7: if there exists something such that that it is not a kind of a mathematician and is a Beowulf does not hold the redneck is not a kind of a Beowulf. sent8: The government does not debut redneck. sent9: if there is something such that that it does not justify and is bibliothecal is incorrect then the paraph is not bibliothecal. sent10: the matchmaker debuts government if it is not latitudinal or it debuts government or both. sent11: if there exists something such that it is latitudinal the redneck is not dysgenic. sent12: if there is something such that that it is non-latitudinal and it is dysgenic is not true the redneck is not dysgenic.
sent5 -> int1: the redneck is a kind of a mathematician and/or it does not debut government.; int1 & sent1 -> int2: the redneck is not a kind of a Beowulf.;
the fact that the redneck is not a Beowulf and it is not dysgenic does not hold.
$hypothesis$ = the redneck is not a Beowulf but non-dysgenic. ; $context$ = sent1: the redneck is not a Beowulf if it is a kind of a mathematician or does not debut government or both. sent2: the strongroom is not a kind of a Delius and it does not debut government. sent3: the redneck is not a decarboxylation. sent4: there is something such that the fact that it is not a mathematician and debuts government is not true. sent5: the redneck does not debut government. sent6: there exists something such that that the fact that it is latitudinal and it is dysgenic hold is not true. sent7: if there exists something such that that it is not a kind of a mathematician and is a Beowulf does not hold the redneck is not a kind of a Beowulf. sent8: The government does not debut redneck. sent9: if there is something such that that it does not justify and is bibliothecal is incorrect then the paraph is not bibliothecal. sent10: the matchmaker debuts government if it is not latitudinal or it debuts government or both. sent11: if there exists something such that it is latitudinal the redneck is not dysgenic. sent12: if there is something such that that it is non-latitudinal and it is dysgenic is not true the redneck is not dysgenic. ; $proof$ = 
sent5 -> int1: the redneck is a kind of a mathematician and/or it does not debut government.; int1 & sent1 -> int2: the redneck is not a kind of a Beowulf.; __UNKNOWN__