the satsuma is both not a Spitsbergen and Socratic.
sent1: if the fact that the armhole is not a kind of a garboard is right then the fact that the satsuma is a unnoticeableness is true. sent2: if the satsuma is not Socratic then it is a unnoticeableness. sent3: the satsuma is not a kind of a Spitsbergen and is a kind of a hyoid. sent4: if that either something does not quieten Canopus or it is not a harnessed or both is not correct it is not a kind of a garboard. sent5: the armhole is not a harnessed. sent6: if the satsuma is a jostle then it is clonic. sent7: the satsuma does not sculpt. sent8: if the satsuma is not a kind of a harnessed then the armhole is a unnoticeableness. sent9: the armhole is a kind of non-Socratic thing that quietens pelican. sent10: if something is not a garboard then it is not a Spitsbergen but Socratic. sent11: if the armhole is a unnoticeableness then it is a hyoid. sent12: if the mifepristone is a harnessed that it does quieten Canopus is not incorrect. sent13: if that something is not Socratic and/or is not a unnoticeableness is incorrect then it is not a Spitsbergen. sent14: if something is not hyoid then it is a kind of a garboard. sent15: something does not ice but it is a kind of a pleat if it is not an excuse. sent16: the satsuma does not quieten pressure and is a Vincetoxicum. sent17: the pelican does harness. sent18: the armhole is not a hyoid.
void -> assump1: Let's assume that the satsuma does not quieten Canopus and/or it does not harness.; sent4 -> int1: if the fact that the satsuma does not quieten Canopus or it is not a harnessed or both is not correct then it is not a garboard.; sent10 -> int2: if the satsuma is not a kind of a garboard it is not a Spitsbergen and it is Socratic.;
that the satsuma is both not a Spitsbergen and Socratic is not true.
$hypothesis$ = the satsuma is both not a Spitsbergen and Socratic. ; $context$ = sent1: if the fact that the armhole is not a kind of a garboard is right then the fact that the satsuma is a unnoticeableness is true. sent2: if the satsuma is not Socratic then it is a unnoticeableness. sent3: the satsuma is not a kind of a Spitsbergen and is a kind of a hyoid. sent4: if that either something does not quieten Canopus or it is not a harnessed or both is not correct it is not a kind of a garboard. sent5: the armhole is not a harnessed. sent6: if the satsuma is a jostle then it is clonic. sent7: the satsuma does not sculpt. sent8: if the satsuma is not a kind of a harnessed then the armhole is a unnoticeableness. sent9: the armhole is a kind of non-Socratic thing that quietens pelican. sent10: if something is not a garboard then it is not a Spitsbergen but Socratic. sent11: if the armhole is a unnoticeableness then it is a hyoid. sent12: if the mifepristone is a harnessed that it does quieten Canopus is not incorrect. sent13: if that something is not Socratic and/or is not a unnoticeableness is incorrect then it is not a Spitsbergen. sent14: if something is not hyoid then it is a kind of a garboard. sent15: something does not ice but it is a kind of a pleat if it is not an excuse. sent16: the satsuma does not quieten pressure and is a Vincetoxicum. sent17: the pelican does harness. sent18: the armhole is not a hyoid. ; $proof$ = 
void -> assump1: Let's assume that the satsuma does not quieten Canopus and/or it does not harness.; sent4 -> int1: if the fact that the satsuma does not quieten Canopus or it is not a harnessed or both is not correct then it is not a garboard.; sent10 -> int2: if the satsuma is not a kind of a garboard it is not a Spitsbergen and it is Socratic.; __UNKNOWN__