the missionary is indecisive.
sent1: The Wiener does not recombine Chandler. sent2: the missionary is dishonest if that the archerfish abdicates Otariidae is true. sent3: if that something is not a Spillane and does recombine Wiener does not hold it is not indecisive. sent4: the Chandler does not recombine Wiener. sent5: the missionary is indecisive if it is dishonest. sent6: the archerfish is not a Spillane if there exists something such that that it is both not a brachiation and lexicostatistic does not hold. sent7: if the Chandler does not recombine Wiener then the fact that the peppermint is both not a brachiation and lexicostatistic does not hold. sent8: if the archerfish is not a Spillane then that it is both not nonastringent and isotopic is false.
sent7 & sent4 -> int1: the fact that the peppermint is not a brachiation but it is lexicostatistic is incorrect.; int1 -> int2: there is something such that that it is not a brachiation but lexicostatistic is not correct.; int2 & sent6 -> int3: the archerfish is not a Spillane.; int3 & sent8 -> int4: that the archerfish is astringent thing that is isotopic is wrong.;
the missionary is not indecisive.
sent3 -> int5: the missionary is not indecisive if that it is not a Spillane and it recombines Wiener is not true.;
$hypothesis$ = the missionary is indecisive. ; $context$ = sent1: The Wiener does not recombine Chandler. sent2: the missionary is dishonest if that the archerfish abdicates Otariidae is true. sent3: if that something is not a Spillane and does recombine Wiener does not hold it is not indecisive. sent4: the Chandler does not recombine Wiener. sent5: the missionary is indecisive if it is dishonest. sent6: the archerfish is not a Spillane if there exists something such that that it is both not a brachiation and lexicostatistic does not hold. sent7: if the Chandler does not recombine Wiener then the fact that the peppermint is both not a brachiation and lexicostatistic does not hold. sent8: if the archerfish is not a Spillane then that it is both not nonastringent and isotopic is false. ; $proof$ = 
sent7 & sent4 -> int1: the fact that the peppermint is not a brachiation but it is lexicostatistic is incorrect.; int1 -> int2: there is something such that that it is not a brachiation but lexicostatistic is not correct.; int2 & sent6 -> int3: the archerfish is not a Spillane.; int3 & sent8 -> int4: that the archerfish is astringent thing that is isotopic is wrong.; __UNKNOWN__