the fact that the mascara does unpick pin and does bottom does not hold.
sent1: the mascara is not a generosity if the pick does not add or is not a kind of a giveaway or both. sent2: something does unpick pin and it is a bottom if it is not a generosity. sent3: the felwort either does bull or is a Roosevelt or both. sent4: The sortie does not bog maillot. sent5: the mascara unpicks pin. sent6: the pick is a kind of a bull if the bowl is a bull. sent7: something either does add or is not a giveaway or both if it winnows esteem. sent8: something does unpick pin if it is not a generosity. sent9: if the mascara is not a generosity then the fact that it does unpick pin is not wrong. sent10: the pick does add and/or it is not a giveaway. sent11: the felwort is not a bull and/or is a kind of a Roosevelt if there is something such that it does not bog sortie. sent12: something does not add and/or is not a kind of a giveaway if it winnows esteem. sent13: if the pick does not add the mascara is not a kind of a generosity. sent14: if the mascara does not unpick pin and/or it does not bog sortie then the pick is not a giveaway. sent15: the fact that either the felwort is a kind of a bull or it is a Roosevelt or both is not wrong if there exists something such that it does not bog sortie. sent16: the maillot does not bog sortie. sent17: something does not unpick Riesman. sent18: the pick winnows esteem if either the felwort is not a bull or it is a Roosevelt or both. sent19: there is something such that it does bog sortie. sent20: if the felwort is not a bull then the pick does winnow esteem. sent21: if the pick is a bull then that it bottoms and does not bog sortie is not right.
sent16 -> int1: something does not bog sortie.; int1 & sent11 -> int2: that the felwort is not a kind of a bull or it is a kind of a Roosevelt or both hold.; int2 & sent18 -> int3: the pick winnows esteem.; sent12 -> int4: that the pick does not add or it is not a giveaway or both is not wrong if it does winnow esteem.; int3 & int4 -> int5: the pick either does not add or is not a giveaway or both.; int5 & sent1 -> int6: the mascara is not a generosity.; sent2 -> int7: if the mascara is not a kind of a generosity then it unpicks pin and is bottom.; int6 & int7 -> hypothesis;
that the mascara unpicks pin and is a bottom is not right.
$hypothesis$ = the fact that the mascara does unpick pin and does bottom does not hold. ; $context$ = sent1: the mascara is not a generosity if the pick does not add or is not a kind of a giveaway or both. sent2: something does unpick pin and it is a bottom if it is not a generosity. sent3: the felwort either does bull or is a Roosevelt or both. sent4: The sortie does not bog maillot. sent5: the mascara unpicks pin. sent6: the pick is a kind of a bull if the bowl is a bull. sent7: something either does add or is not a giveaway or both if it winnows esteem. sent8: something does unpick pin if it is not a generosity. sent9: if the mascara is not a generosity then the fact that it does unpick pin is not wrong. sent10: the pick does add and/or it is not a giveaway. sent11: the felwort is not a bull and/or is a kind of a Roosevelt if there is something such that it does not bog sortie. sent12: something does not add and/or is not a kind of a giveaway if it winnows esteem. sent13: if the pick does not add the mascara is not a kind of a generosity. sent14: if the mascara does not unpick pin and/or it does not bog sortie then the pick is not a giveaway. sent15: the fact that either the felwort is a kind of a bull or it is a Roosevelt or both is not wrong if there exists something such that it does not bog sortie. sent16: the maillot does not bog sortie. sent17: something does not unpick Riesman. sent18: the pick winnows esteem if either the felwort is not a bull or it is a Roosevelt or both. sent19: there is something such that it does bog sortie. sent20: if the felwort is not a bull then the pick does winnow esteem. sent21: if the pick is a bull then that it bottoms and does not bog sortie is not right. ; $proof$ = 
sent16 -> int1: something does not bog sortie.; int1 & sent11 -> int2: that the felwort is not a kind of a bull or it is a kind of a Roosevelt or both hold.; int2 & sent18 -> int3: the pick winnows esteem.; sent12 -> int4: that the pick does not add or it is not a giveaway or both is not wrong if it does winnow esteem.; int3 & int4 -> int5: the pick either does not add or is not a giveaway or both.; int5 & sent1 -> int6: the mascara is not a generosity.; sent2 -> int7: if the mascara is not a kind of a generosity then it unpicks pin and is bottom.; int6 & int7 -> hypothesis; __DISPROVED__