the Coigue is a snuffer.
sent1: the gown is a Pomacentrus if it is a manageability and it is not long. sent2: the Coigue is a lasting if the gown is a manageability. sent3: the Capetian is non-toeless and it is not a Pomacentrus if it is not a kind of a lasting. sent4: if something that is not a Pomacentrus is not long it is a snuffer. sent5: something is a snuffer if it is a lasting. sent6: the Coigue is a lasting if that the gown does not snowball saurischian and it is not a manageability does not hold. sent7: something is not toeless if the fact that it is not a Pomacentrus and it does not snowball saurischian does not hold. sent8: the Capetian is non-inadequate thing that is not a kind of a hemin if it is long. sent9: that the Capetian is not a Pomacentrus and does not snowball saurischian is wrong if the gown does not snowball saurischian. sent10: the Capetian is long.
void -> assump1: Let's assume that the gown does not snowball saurischian and it is not a manageability.; assump1 -> int1: the gown does not snowball saurischian.; int1 & sent9 -> int2: that the Capetian is not a Pomacentrus and it does not snowball saurischian is not correct.; sent7 -> int3: if that the Capetian is not a Pomacentrus and does not snowball saurischian is not correct it is not toeless.; int2 & int3 -> int4: the Capetian is not toeless.; sent8 & sent10 -> int5: the fact that the Capetian is not inadequate and it is not a kind of a hemin is true.; sent5 -> int6: if the Coigue is a lasting it is a kind of a snuffer.;
the Coigue is long.
$hypothesis$ = the Coigue is a snuffer. ; $context$ = sent1: the gown is a Pomacentrus if it is a manageability and it is not long. sent2: the Coigue is a lasting if the gown is a manageability. sent3: the Capetian is non-toeless and it is not a Pomacentrus if it is not a kind of a lasting. sent4: if something that is not a Pomacentrus is not long it is a snuffer. sent5: something is a snuffer if it is a lasting. sent6: the Coigue is a lasting if that the gown does not snowball saurischian and it is not a manageability does not hold. sent7: something is not toeless if the fact that it is not a Pomacentrus and it does not snowball saurischian does not hold. sent8: the Capetian is non-inadequate thing that is not a kind of a hemin if it is long. sent9: that the Capetian is not a Pomacentrus and does not snowball saurischian is wrong if the gown does not snowball saurischian. sent10: the Capetian is long. ; $proof$ = 
void -> assump1: Let's assume that the gown does not snowball saurischian and it is not a manageability.; assump1 -> int1: the gown does not snowball saurischian.; int1 & sent9 -> int2: that the Capetian is not a Pomacentrus and it does not snowball saurischian is not correct.; sent7 -> int3: if that the Capetian is not a Pomacentrus and does not snowball saurischian is not correct it is not toeless.; int2 & int3 -> int4: the Capetian is not toeless.; sent8 & sent10 -> int5: the fact that the Capetian is not inadequate and it is not a kind of a hemin is true.; sent5 -> int6: if the Coigue is a lasting it is a kind of a snuffer.; __UNKNOWN__