if the Utopian does not dilate the fact that the cords is not a gratification but it is tactless is not true.
sent1: the Utopian does not stow loser if the butterbean does stow loser and does not dilate. sent2: if the Utopian does dilate or it does not bush or both then it is not a kind of a pop-fly. sent3: if the butterbean is not a gratification that the cords is not a gratification but it is tactless is wrong. sent4: the butterbean is not identical and it is not a gratification if there is something such that it is not a pop-fly. sent5: if the Utopian does not dilate or it is not a bush or both then it is not a pop-fly. sent6: if the Utopian does not dilate then the cords is not a gratification but it is tactless.
void -> assump1: Let's assume that the Utopian does not dilate.; assump1 -> int1: either the Utopian does not dilate or it is not a bush or both.; sent5 & int1 -> int2: the Utopian is not a pop-fly.; int2 -> int3: there is something such that it is not a pop-fly.; int3 & sent4 -> int4: that the butterbean is a kind of non-identical thing that is not a kind of a gratification is not wrong.; int4 -> int5: the butterbean is not a gratification.; sent3 & int5 -> int6: that that the cords is not a kind of a gratification but it is tactless is incorrect is true.; [assump1] & int6 -> hypothesis;
there is something such that that it does not stow loser is correct.
$hypothesis$ = if the Utopian does not dilate the fact that the cords is not a gratification but it is tactless is not true. ; $context$ = sent1: the Utopian does not stow loser if the butterbean does stow loser and does not dilate. sent2: if the Utopian does dilate or it does not bush or both then it is not a kind of a pop-fly. sent3: if the butterbean is not a gratification that the cords is not a gratification but it is tactless is wrong. sent4: the butterbean is not identical and it is not a gratification if there is something such that it is not a pop-fly. sent5: if the Utopian does not dilate or it is not a bush or both then it is not a pop-fly. sent6: if the Utopian does not dilate then the cords is not a gratification but it is tactless. ; $proof$ = 
void -> assump1: Let's assume that the Utopian does not dilate.; assump1 -> int1: either the Utopian does not dilate or it is not a bush or both.; sent5 & int1 -> int2: the Utopian is not a pop-fly.; int2 -> int3: there is something such that it is not a pop-fly.; int3 & sent4 -> int4: that the butterbean is a kind of non-identical thing that is not a kind of a gratification is not wrong.; int4 -> int5: the butterbean is not a gratification.; sent3 & int5 -> int6: that that the cords is not a kind of a gratification but it is tactless is incorrect is true.; [assump1] & int6 -> hypothesis; __PROVED__