there is something such that if the fact that it does not snuffle mujahidin and does not snuffle border is not right then it is not a kind of an allies.
sent1: if something does snuffle border then it is not an allies. sent2: if that something is both not a NADP and not a high-rise does not hold it is not a Mondrian. sent3: that the punch is a kind of an allies is not wrong if that it does not snuffle mujahidin and does not snuffle border is wrong. sent4: there exists something such that if it is a kind of a subtitle then it is not offshore. sent5: if a non-striate thing does not snuffle Shawwal then it does not enjoy pleasantry.
there exists something such that if that it is not a kind of a NADP and it is not a high-rise is not true then it is not a Mondrian.
sent2 -> int1: if that the border is both not a NADP and not high-rise is not correct it is not a kind of a Mondrian.; int1 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it does not snuffle mujahidin and does not snuffle border is not right then it is not a kind of an allies. ; $context$ = sent1: if something does snuffle border then it is not an allies. sent2: if that something is both not a NADP and not a high-rise does not hold it is not a Mondrian. sent3: that the punch is a kind of an allies is not wrong if that it does not snuffle mujahidin and does not snuffle border is wrong. sent4: there exists something such that if it is a kind of a subtitle then it is not offshore. sent5: if a non-striate thing does not snuffle Shawwal then it does not enjoy pleasantry. ; $proof$ = 
__UNKNOWN__