the wheelwork is a kind of a Evansville.
sent1: the wheelwork is not a kind of a Evansville if the capon is a Evansville that does not lysogenize chlorophyte. sent2: if the capon is cowardly the shift lysogenizes chlorophyte. sent3: that the capon lysogenizes chlorophyte hold. sent4: that if the acidophilus is choleraic the fact that the shift is not choleraic but it is cowardly is not true is right. sent5: the acidophilus is choleraic if the capon does lysogenize chlorophyte. sent6: That the chlorophyte lysogenizes capon hold.
sent5 & sent3 -> int1: the acidophilus is choleraic.; sent4 & int1 -> int2: that the shift is not choleraic but it is cowardly is false.;
the wheelwork is not a Evansville.
$hypothesis$ = the wheelwork is a kind of a Evansville. ; $context$ = sent1: the wheelwork is not a kind of a Evansville if the capon is a Evansville that does not lysogenize chlorophyte. sent2: if the capon is cowardly the shift lysogenizes chlorophyte. sent3: that the capon lysogenizes chlorophyte hold. sent4: that if the acidophilus is choleraic the fact that the shift is not choleraic but it is cowardly is not true is right. sent5: the acidophilus is choleraic if the capon does lysogenize chlorophyte. sent6: That the chlorophyte lysogenizes capon hold. ; $proof$ = 
sent5 & sent3 -> int1: the acidophilus is choleraic.; sent4 & int1 -> int2: that the shift is not choleraic but it is cowardly is false.; __UNKNOWN__