the fact that the swanflower is both not a parsimony and not ateleiotic is false.
sent1: if the swanflower is not ateleiotic then that the loge is not ateleiotic and it is not a kind of a parsimony does not hold. sent2: that the swanflower is not a kind of a parsimony and is ateleiotic is not right if the loge is not a parsimony. sent3: something is not a parsimony and it is not ateleiotic if it does not network whetstone. sent4: that the swanflower is a parsimony but it is not ateleiotic does not hold. sent5: if the swanflower is not a parsimony the fact that the loge is not a parsimony and is non-ateleiotic does not hold. sent6: if that the loge is not a kind of a parsimony is not false that the swanflower is not a parsimony and it is not ateleiotic is wrong. sent7: there exists something such that it does not network whetstone.
the swanflower is not a parsimony and is not ateleiotic.
sent3 -> int1: if the swanflower does not network whetstone it is not a kind of a parsimony and it is not ateleiotic.;
$hypothesis$ = the fact that the swanflower is both not a parsimony and not ateleiotic is false. ; $context$ = sent1: if the swanflower is not ateleiotic then that the loge is not ateleiotic and it is not a kind of a parsimony does not hold. sent2: that the swanflower is not a kind of a parsimony and is ateleiotic is not right if the loge is not a parsimony. sent3: something is not a parsimony and it is not ateleiotic if it does not network whetstone. sent4: that the swanflower is a parsimony but it is not ateleiotic does not hold. sent5: if the swanflower is not a parsimony the fact that the loge is not a parsimony and is non-ateleiotic does not hold. sent6: if that the loge is not a kind of a parsimony is not false that the swanflower is not a parsimony and it is not ateleiotic is wrong. sent7: there exists something such that it does not network whetstone. ; $proof$ = 
__UNKNOWN__