the Twinkie reschedules archdeacon.
sent1: that the aquarium is both not a dysprosium and not Sadducean does not hold if the modern is not a dysprosium. sent2: the saber is not non-adient if the fact that the motile is unneurotic is not incorrect. sent3: if the saber is adient the fact that the coxcomb is not adient and is not nonfat is false. sent4: if the VLDL is a kind of an alliteration then the Twinkie is a kind of a blandness. sent5: something that is not unneurotic and not non-adient does not reschedule archdeacon. sent6: that the motile is unneurotic is right. sent7: the VLDL is anastomotic if the fact that the aquarium is not a dysprosium and it is not Sadducean is wrong. sent8: if something is not nonfat then the fact that it is unneurotic and it is adient is not right. sent9: something is an alliteration if it is anastomotic. sent10: that the aquarium is a dysprosium but not Sadducean is wrong if the modern is not a kind of a dysprosium. sent11: if the fact that the coxcomb is not adient and it is not nonfat is not right then the modern is not a dysprosium.
sent2 & sent6 -> int1: the saber is adient.; int1 & sent3 -> int2: that the fact that the coxcomb is non-adient and it is not nonfat is correct does not hold.; int2 & sent11 -> int3: that the modern is not a dysprosium is not incorrect.; int3 & sent1 -> int4: that the aquarium is both not a dysprosium and not Sadducean does not hold.; int4 & sent7 -> int5: the VLDL is anastomotic.; sent9 -> int6: that the VLDL is an alliteration is correct if it is anastomotic.; int5 & int6 -> int7: the VLDL is a kind of an alliteration.; int7 & sent4 -> int8: the Twinkie is a blandness.;
the Twinkie does not reschedule archdeacon.
sent5 -> int9: the Twinkie does not reschedule archdeacon if it is not unneurotic but adient.;
$hypothesis$ = the Twinkie reschedules archdeacon. ; $context$ = sent1: that the aquarium is both not a dysprosium and not Sadducean does not hold if the modern is not a dysprosium. sent2: the saber is not non-adient if the fact that the motile is unneurotic is not incorrect. sent3: if the saber is adient the fact that the coxcomb is not adient and is not nonfat is false. sent4: if the VLDL is a kind of an alliteration then the Twinkie is a kind of a blandness. sent5: something that is not unneurotic and not non-adient does not reschedule archdeacon. sent6: that the motile is unneurotic is right. sent7: the VLDL is anastomotic if the fact that the aquarium is not a dysprosium and it is not Sadducean is wrong. sent8: if something is not nonfat then the fact that it is unneurotic and it is adient is not right. sent9: something is an alliteration if it is anastomotic. sent10: that the aquarium is a dysprosium but not Sadducean is wrong if the modern is not a kind of a dysprosium. sent11: if the fact that the coxcomb is not adient and it is not nonfat is not right then the modern is not a dysprosium. ; $proof$ = 
sent2 & sent6 -> int1: the saber is adient.; int1 & sent3 -> int2: that the fact that the coxcomb is non-adient and it is not nonfat is correct does not hold.; int2 & sent11 -> int3: that the modern is not a dysprosium is not incorrect.; int3 & sent1 -> int4: that the aquarium is both not a dysprosium and not Sadducean does not hold.; int4 & sent7 -> int5: the VLDL is anastomotic.; sent9 -> int6: that the VLDL is an alliteration is correct if it is anastomotic.; int5 & int6 -> int7: the VLDL is a kind of an alliteration.; int7 & sent4 -> int8: the Twinkie is a blandness.; __UNKNOWN__