there exists something such that if it does not splice and is not a Nacimiento it is not a kind of a nainsook.
sent1: there is something such that if it is not a splice and it is a Nacimiento then it is not a nainsook. sent2: if something splices but it is not a Nacimiento it is not a nainsook. sent3: the hayloft is a nainsook if it is not a splice and not a Nacimiento.
$hypothesis$ = there exists something such that if it does not splice and is not a Nacimiento it is not a kind of a nainsook. ; $context$ = sent1: there is something such that if it is not a splice and it is a Nacimiento then it is not a nainsook. sent2: if something splices but it is not a Nacimiento it is not a nainsook. sent3: the hayloft is a nainsook if it is not a splice and not a Nacimiento. ; $proof$ = 
__UNKNOWN__