the fact that the Centre is not a kind of an hourglass and does not elaborate flurbiprofen is wrong.
sent1: the pisser is not a farm but it elaborates flurbiprofen if the ghostwriter does not axe pepper-and-salt. sent2: there exists something such that it is not unready. sent3: if the pisser does elaborate flurbiprofen that the Centre is not an hourglass and does not elaborate flurbiprofen is not correct. sent4: if the pisser does elaborate flurbiprofen the fact that the Centre is a kind of an hourglass but it does not elaborate flurbiprofen does not hold. sent5: if the fact that that the fact that the ghostwriter does elaborate flurbiprofen but it does not axe pepper-and-salt hold is wrong hold it is not a Monegasque. sent6: if the Centre axes pepper-and-salt then it is not a kind of an hourglass. sent7: if there exists something such that it is not Augustan the ovenbird is not mucopurulent. sent8: if the flurbiprofen is unready then it is non-Augustan. sent9: if the fact that the ghostwriter is Augustan and does not elaborate strappado does not hold it is not unready. sent10: if that something does elaborate strappado but it is not a Monegasque does not hold it does not axe pepper-and-salt. sent11: the flurbiprofen is unready.
sent8 & sent11 -> int1: the flurbiprofen is not Augustan.; int1 -> int2: something is not Augustan.; int2 & sent7 -> int3: the ovenbird is not mucopurulent.; int3 -> int4: something is not mucopurulent.; sent10 -> int5: the ghostwriter does not axe pepper-and-salt if the fact that it elaborates strappado and is not a Monegasque is not correct.;
$hypothesis$ = the fact that the Centre is not a kind of an hourglass and does not elaborate flurbiprofen is wrong. ; $context$ = sent1: the pisser is not a farm but it elaborates flurbiprofen if the ghostwriter does not axe pepper-and-salt. sent2: there exists something such that it is not unready. sent3: if the pisser does elaborate flurbiprofen that the Centre is not an hourglass and does not elaborate flurbiprofen is not correct. sent4: if the pisser does elaborate flurbiprofen the fact that the Centre is a kind of an hourglass but it does not elaborate flurbiprofen does not hold. sent5: if the fact that that the fact that the ghostwriter does elaborate flurbiprofen but it does not axe pepper-and-salt hold is wrong hold it is not a Monegasque. sent6: if the Centre axes pepper-and-salt then it is not a kind of an hourglass. sent7: if there exists something such that it is not Augustan the ovenbird is not mucopurulent. sent8: if the flurbiprofen is unready then it is non-Augustan. sent9: if the fact that the ghostwriter is Augustan and does not elaborate strappado does not hold it is not unready. sent10: if that something does elaborate strappado but it is not a Monegasque does not hold it does not axe pepper-and-salt. sent11: the flurbiprofen is unready. ; $proof$ = 
sent8 & sent11 -> int1: the flurbiprofen is not Augustan.; int1 -> int2: something is not Augustan.; int2 & sent7 -> int3: the ovenbird is not mucopurulent.; int3 -> int4: something is not mucopurulent.; sent10 -> int5: the ghostwriter does not axe pepper-and-salt if the fact that it elaborates strappado and is not a Monegasque is not correct.; __UNKNOWN__