there is something such that if it is not soteriological and not a kite it is not docile.
sent1: something is not docile if it is soteriological and is not a kite. sent2: there is something such that if it is not soteriological and is not a kite it is docile. sent3: if the Hereford is not soteriological but it is a kite it is not docile. sent4: something is docile if it is not soteriological and it is not a kite. sent5: the Hereford is not docile if it is soteriological but not a kite. sent6: something that is a kind of non-soteriological thing that kites is not docile. sent7: there is something such that if it is both not soteriological and a kite then it is not docile. sent8: there exists something such that if it is both not non-soteriological and not a kite then it is not docile. sent9: the Hereford is docile if it is not soteriological and it is not a kite.
$hypothesis$ = there is something such that if it is not soteriological and not a kite it is not docile. ; $context$ = sent1: something is not docile if it is soteriological and is not a kite. sent2: there is something such that if it is not soteriological and is not a kite it is docile. sent3: if the Hereford is not soteriological but it is a kite it is not docile. sent4: something is docile if it is not soteriological and it is not a kite. sent5: the Hereford is not docile if it is soteriological but not a kite. sent6: something that is a kind of non-soteriological thing that kites is not docile. sent7: there is something such that if it is both not soteriological and a kite then it is not docile. sent8: there exists something such that if it is both not non-soteriological and not a kite then it is not docile. sent9: the Hereford is docile if it is not soteriological and it is not a kite. ; $proof$ = 
__UNKNOWN__