the fug is a African.
sent1: the fact that the headdress is uncared-for is right if the vermiculation does not command nudibranch and does not stable gill. sent2: the fact that the fug is not keyless and it does not risk rocambole is wrong if the Patwin does risk rocambole. sent3: the vermiculation does not command nudibranch and it does not stable gill if the Split is uninucleate. sent4: the Split is not ossicular. sent5: the Split is not a kind of a committeewoman and it is not irreparable if it is not ossicular. sent6: the fug is a African if that it is non-keyless thing that does not risk rocambole is false. sent7: if the vermiculation does not command nudibranch but it does stable gill the headdress is uncared-for. sent8: the Patwin risks rocambole if the headdress is uncared-for. sent9: that the fug is not keyless but it does risk rocambole is not correct. sent10: the Split is not a nemertean if it is not uninucleate.
void -> assump1: Let's assume that the Split is not uninucleate.; sent10 & assump1 -> int1: the Split is not a nemertean.; sent5 & sent4 -> int2: the Split is both not a committeewoman and non-irreparable.;
$hypothesis$ = the fug is a African. ; $context$ = sent1: the fact that the headdress is uncared-for is right if the vermiculation does not command nudibranch and does not stable gill. sent2: the fact that the fug is not keyless and it does not risk rocambole is wrong if the Patwin does risk rocambole. sent3: the vermiculation does not command nudibranch and it does not stable gill if the Split is uninucleate. sent4: the Split is not ossicular. sent5: the Split is not a kind of a committeewoman and it is not irreparable if it is not ossicular. sent6: the fug is a African if that it is non-keyless thing that does not risk rocambole is false. sent7: if the vermiculation does not command nudibranch but it does stable gill the headdress is uncared-for. sent8: the Patwin risks rocambole if the headdress is uncared-for. sent9: that the fug is not keyless but it does risk rocambole is not correct. sent10: the Split is not a nemertean if it is not uninucleate. ; $proof$ = 
void -> assump1: Let's assume that the Split is not uninucleate.; sent10 & assump1 -> int1: the Split is not a nemertean.; sent5 & sent4 -> int2: the Split is both not a committeewoman and non-irreparable.; __UNKNOWN__