the Nanticoke is a kind of a Lexington and masters Brumaire.
sent1: the Hanuman does miff. sent2: if the cook is a Namibia the Nanticoke is stellar and is not nonintellectual. sent3: if the chlorofluorocarbon is a Namibia then the cook is a Namibia. sent4: if the Hanuman is a kind of a Namibia then the chlorofluorocarbon is a Namibia. sent5: if the Gray is chauvinistic the Nanticoke is armorial. sent6: the Sazerac is not armorial if that the Gray does drown and/or is not armorial is not true. sent7: if the fact that the Gray is not a kind of a Walter is not wrong then that the Sazerac is a Lexington and/or does not master Brumaire is not correct. sent8: the fact that that the Gray drowns or it is not armorial or both is false is correct if the cook is not a kind of a Walter. sent9: if the Gray is chauvinistic then it does master Brumaire. sent10: the Gray does master Brumaire. sent11: the Gray does master overcompensation. sent12: a non-armorial thing is not non-chauvinistic and is not a private. sent13: if something is chauvinistic but it is not private then it is not a Lexington. sent14: the Gray is not a Walter if that there is something such that it does drown is not false. sent15: if something is stellar but it is not nonintellectual it drowns. sent16: if the Hanuman miffs then the fact that it is a kind of a Namibia is not incorrect. sent17: something is not a Walter if it is nonintellectual. sent18: the Gray is chauvinistic if the Sazerac is a kind of a private. sent19: that the Nanticoke is a Lexington is not false if it is armorial. sent20: something is a kind of armorial thing that is a kind of a private if that it is not chauvinistic is not incorrect. sent21: the Nanticoke is a Walter. sent22: if the Nanticoke is a Walter then it does master Brumaire.
sent22 & sent21 -> int1: the Nanticoke masters Brumaire.;
the Sazerac is armorial.
sent20 -> int2: if the Sazerac is not chauvinistic then it is armorial thing that is private.; sent15 -> int3: if the Nanticoke is stellar but it is not nonintellectual it drowns.; sent16 & sent1 -> int4: the Hanuman is a Namibia.; sent4 & int4 -> int5: the chlorofluorocarbon is a Namibia.; sent3 & int5 -> int6: the cook is a Namibia.; sent2 & int6 -> int7: the Nanticoke is stellar but it is not nonintellectual.; int3 & int7 -> int8: the Nanticoke drowns.; int8 -> int9: there is something such that it does drown.; int9 & sent14 -> int10: the Gray is not a kind of a Walter.; sent7 & int10 -> int11: that the Sazerac is a Lexington and/or it does not master Brumaire is false.;
$hypothesis$ = the Nanticoke is a kind of a Lexington and masters Brumaire. ; $context$ = sent1: the Hanuman does miff. sent2: if the cook is a Namibia the Nanticoke is stellar and is not nonintellectual. sent3: if the chlorofluorocarbon is a Namibia then the cook is a Namibia. sent4: if the Hanuman is a kind of a Namibia then the chlorofluorocarbon is a Namibia. sent5: if the Gray is chauvinistic the Nanticoke is armorial. sent6: the Sazerac is not armorial if that the Gray does drown and/or is not armorial is not true. sent7: if the fact that the Gray is not a kind of a Walter is not wrong then that the Sazerac is a Lexington and/or does not master Brumaire is not correct. sent8: the fact that that the Gray drowns or it is not armorial or both is false is correct if the cook is not a kind of a Walter. sent9: if the Gray is chauvinistic then it does master Brumaire. sent10: the Gray does master Brumaire. sent11: the Gray does master overcompensation. sent12: a non-armorial thing is not non-chauvinistic and is not a private. sent13: if something is chauvinistic but it is not private then it is not a Lexington. sent14: the Gray is not a Walter if that there is something such that it does drown is not false. sent15: if something is stellar but it is not nonintellectual it drowns. sent16: if the Hanuman miffs then the fact that it is a kind of a Namibia is not incorrect. sent17: something is not a Walter if it is nonintellectual. sent18: the Gray is chauvinistic if the Sazerac is a kind of a private. sent19: that the Nanticoke is a Lexington is not false if it is armorial. sent20: something is a kind of armorial thing that is a kind of a private if that it is not chauvinistic is not incorrect. sent21: the Nanticoke is a Walter. sent22: if the Nanticoke is a Walter then it does master Brumaire. ; $proof$ = 
sent22 & sent21 -> int1: the Nanticoke masters Brumaire.; __UNKNOWN__