that the swamp is not a disownment does not hold.
sent1: the vintage is not trochaic if the fact that the fell is a kind of a Sphacelotheca is true. sent2: the fell is not trochaic if the mathematician gestates. sent3: the daisy is aoristic. sent4: if the mathematician is aoristic the daisy does not gestate. sent5: the bomber is aoristic. sent6: if there is something such that it is not trochaic then that the vintage is not a retraction and is a Sphacelotheca does not hold. sent7: the swamp is a disownment if that the vintage is not a retraction and is a Sphacelotheca is incorrect.
$hypothesis$ = that the swamp is not a disownment does not hold. ; $context$ = sent1: the vintage is not trochaic if the fact that the fell is a kind of a Sphacelotheca is true. sent2: the fell is not trochaic if the mathematician gestates. sent3: the daisy is aoristic. sent4: if the mathematician is aoristic the daisy does not gestate. sent5: the bomber is aoristic. sent6: if there is something such that it is not trochaic then that the vintage is not a retraction and is a Sphacelotheca does not hold. sent7: the swamp is a disownment if that the vintage is not a retraction and is a Sphacelotheca is incorrect. ; $proof$ = 
__UNKNOWN__