the Chewa is phalangeal.
sent1: the Chewa is not non-phalangeal if the nigger enlightens. sent2: the nigger enlightens if that the wedgie is graphic and is not a decumary is wrong. sent3: if the androecium is a decumary that the Chewa is a kind of a Herzberg that is not phalangeal is correct. sent4: if the androecium is a Herzberg the fact that the wedgie is a graphic but it is not a decumary is not right. sent5: if there exists something such that that it is a kind of a territorial that is not a kind of a Riesman is incorrect the androecium is a kind of a Herzberg. sent6: the fact that the roux is territorial but not a Riesman is wrong.
sent6 -> int1: there is something such that that it is territorial and it is not a Riesman is false.; int1 & sent5 -> int2: the androecium is a Herzberg.; sent4 & int2 -> int3: that the wedgie is graphic thing that is not a kind of a decumary does not hold.; sent2 & int3 -> int4: the nigger does enlighten.; sent1 & int4 -> hypothesis;
the Chewa is not phalangeal.
$hypothesis$ = the Chewa is phalangeal. ; $context$ = sent1: the Chewa is not non-phalangeal if the nigger enlightens. sent2: the nigger enlightens if that the wedgie is graphic and is not a decumary is wrong. sent3: if the androecium is a decumary that the Chewa is a kind of a Herzberg that is not phalangeal is correct. sent4: if the androecium is a Herzberg the fact that the wedgie is a graphic but it is not a decumary is not right. sent5: if there exists something such that that it is a kind of a territorial that is not a kind of a Riesman is incorrect the androecium is a kind of a Herzberg. sent6: the fact that the roux is territorial but not a Riesman is wrong. ; $proof$ = 
sent6 -> int1: there is something such that that it is territorial and it is not a Riesman is false.; int1 & sent5 -> int2: the androecium is a Herzberg.; sent4 & int2 -> int3: that the wedgie is graphic thing that is not a kind of a decumary does not hold.; sent2 & int3 -> int4: the nigger does enlighten.; sent1 & int4 -> hypothesis; __PROVED__