the teller is a Nyctimene.
sent1: either something impedes sequela or it does not bank emptying or both if it is not a Myrtus. sent2: if the marline is not a Nyctimene the teller is not a Nyctimene. sent3: the marline is not a gallbladder. sent4: the marline is a Myrtus. sent5: the teller does impede sequela. sent6: the fact that the stokehold is unbreakable thing that is a Nyctimene is not true if the hog does impede sequela. sent7: if that the fact that the marline is not a gallbladder and impedes Nauru is right is false then it is not a kind of a breakable. sent8: something does impede sequela if it either impede sequela or does not bank emptying or both. sent9: the teller is a Nyctimene if the marline impedes sequela. sent10: that the marline is a gallbladder and it impedes Nauru is not right. sent11: the marline is a Myrtus and it is a breakable.
void -> assump1: Let's assume that the fact that the marline is not a kind of a gallbladder and does impede Nauru is not correct.; sent7 & assump1 -> int1: the marline is unbreakable.; sent11 -> int2: the marline is a breakable.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the marline is not a gallbladder and impedes Nauru.; int4 -> int5: the marline does impede Nauru.;
the teller is not a Nyctimene.
sent8 -> int6: if the hog does impede sequela and/or does not bank emptying then it impede sequela.; sent1 -> int7: the hog impedes sequela and/or does not bank emptying if that it is not a Myrtus is not incorrect.;
$hypothesis$ = the teller is a Nyctimene. ; $context$ = sent1: either something impedes sequela or it does not bank emptying or both if it is not a Myrtus. sent2: if the marline is not a Nyctimene the teller is not a Nyctimene. sent3: the marline is not a gallbladder. sent4: the marline is a Myrtus. sent5: the teller does impede sequela. sent6: the fact that the stokehold is unbreakable thing that is a Nyctimene is not true if the hog does impede sequela. sent7: if that the fact that the marline is not a gallbladder and impedes Nauru is right is false then it is not a kind of a breakable. sent8: something does impede sequela if it either impede sequela or does not bank emptying or both. sent9: the teller is a Nyctimene if the marline impedes sequela. sent10: that the marline is a gallbladder and it impedes Nauru is not right. sent11: the marline is a Myrtus and it is a breakable. ; $proof$ = 
void -> assump1: Let's assume that the fact that the marline is not a kind of a gallbladder and does impede Nauru is not correct.; sent7 & assump1 -> int1: the marline is unbreakable.; sent11 -> int2: the marline is a breakable.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the marline is not a gallbladder and impedes Nauru.; int4 -> int5: the marline does impede Nauru.; __UNKNOWN__