the mascara is not a felony but aperiodic.
sent1: the mascara is not a kind of a felony if there exists something such that it does decide. sent2: that the milkwort freckles fitfulness and is a rotifer is wrong. sent3: if something does not freckle fitfulness but it is a rotifer then it is not a kind of a cardigan. sent4: that the millwright is a kind of a marginalization if the fact that the milkwort does not freckle fitfulness but it is a rotifer is wrong is not false. sent5: that the milkwort is a kind of a cardigan and it freckles minister is not right. sent6: the milkwort does not freckle fitfulness. sent7: if something that does freckle fitfulness is a rotifer then that it is not a cardigan is not false. sent8: the mascara is not a felony. sent9: the mascara is not a felony but it is aperiodic if there is something such that it does decide. sent10: the fact that the milkwort is not a kind of a cardigan and freckles minister does not hold. sent11: the fact that the millwright is a rotifer that is not a marginalization is not correct if it is not a cardigan. sent12: if the fact that the milkwort is not a cardigan and freckles minister does not hold then it is a kind of a cardigan.
sent3 -> int1: the milkwort is not a cardigan if it does not freckle fitfulness and is a rotifer.; void -> assump1: Let's assume that the milkwort does not freckle fitfulness and is a rotifer.; int1 & assump1 -> int2: the milkwort is not a cardigan.; sent12 & sent10 -> int3: the milkwort is a cardigan.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the milkwort does not freckle fitfulness and is a rotifer is not right.; int5 & sent4 -> int6: the millwright is a kind of a marginalization.;
the promethium is not a rotifer.
$hypothesis$ = the mascara is not a felony but aperiodic. ; $context$ = sent1: the mascara is not a kind of a felony if there exists something such that it does decide. sent2: that the milkwort freckles fitfulness and is a rotifer is wrong. sent3: if something does not freckle fitfulness but it is a rotifer then it is not a kind of a cardigan. sent4: that the millwright is a kind of a marginalization if the fact that the milkwort does not freckle fitfulness but it is a rotifer is wrong is not false. sent5: that the milkwort is a kind of a cardigan and it freckles minister is not right. sent6: the milkwort does not freckle fitfulness. sent7: if something that does freckle fitfulness is a rotifer then that it is not a cardigan is not false. sent8: the mascara is not a felony. sent9: the mascara is not a felony but it is aperiodic if there is something such that it does decide. sent10: the fact that the milkwort is not a kind of a cardigan and freckles minister does not hold. sent11: the fact that the millwright is a rotifer that is not a marginalization is not correct if it is not a cardigan. sent12: if the fact that the milkwort is not a cardigan and freckles minister does not hold then it is a kind of a cardigan. ; $proof$ = 
sent3 -> int1: the milkwort is not a cardigan if it does not freckle fitfulness and is a rotifer.; void -> assump1: Let's assume that the milkwort does not freckle fitfulness and is a rotifer.; int1 & assump1 -> int2: the milkwort is not a cardigan.; sent12 & sent10 -> int3: the milkwort is a cardigan.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the milkwort does not freckle fitfulness and is a rotifer is not right.; int5 & sent4 -> int6: the millwright is a kind of a marginalization.; __UNKNOWN__