the laetrile trundles eyelessness and it is a kind of a leopard's-bane.
sent1: the laetrile deposits Dictamnus but it is not a nondisjunction if it is not a kind of a leopard's-bane. sent2: the bruin is a kind of a leopard's-bane. sent3: the satchel is powerful if it does not deposit Dictamnus. sent4: the climber is powerful. sent5: the fact that the satchel is powerful and it is numerate is not correct. sent6: the satchel is not a kind of a nondisjunction. sent7: the satchel is not pediatric. sent8: that the satchel is powerful if the laetrile does deposit Dictamnus but it is not a nondisjunction is not wrong. sent9: the half-breed is powerful and it is a host. sent10: if the fact that something does host but it does not trundle eyelessness is not true then it trundle eyelessness. sent11: something is not a kind of a host. sent12: the fact that the half-breed is powerful but it is innumerate is not true. sent13: if there exists something such that that it is powerful and is not numerate does not hold the satchel is not powerful. sent14: something is not a frank.
void -> assump1: Let's assume that the laetrile is not a leopard's-bane.; sent1 & assump1 -> int1: the laetrile deposits Dictamnus and is not a nondisjunction.; int1 & sent8 -> int2: the satchel is powerful.; sent12 -> int3: there exists something such that the fact that it is powerful and it is not numerate is not correct.; int3 & sent13 -> int4: the satchel is non-powerful.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the laetrile is a leopard's-bane.; sent10 -> int7: if the fact that the laetrile is a host and does not trundle eyelessness does not hold it trundle eyelessness.;
$hypothesis$ = the laetrile trundles eyelessness and it is a kind of a leopard's-bane. ; $context$ = sent1: the laetrile deposits Dictamnus but it is not a nondisjunction if it is not a kind of a leopard's-bane. sent2: the bruin is a kind of a leopard's-bane. sent3: the satchel is powerful if it does not deposit Dictamnus. sent4: the climber is powerful. sent5: the fact that the satchel is powerful and it is numerate is not correct. sent6: the satchel is not a kind of a nondisjunction. sent7: the satchel is not pediatric. sent8: that the satchel is powerful if the laetrile does deposit Dictamnus but it is not a nondisjunction is not wrong. sent9: the half-breed is powerful and it is a host. sent10: if the fact that something does host but it does not trundle eyelessness is not true then it trundle eyelessness. sent11: something is not a kind of a host. sent12: the fact that the half-breed is powerful but it is innumerate is not true. sent13: if there exists something such that that it is powerful and is not numerate does not hold the satchel is not powerful. sent14: something is not a frank. ; $proof$ = 
void -> assump1: Let's assume that the laetrile is not a leopard's-bane.; sent1 & assump1 -> int1: the laetrile deposits Dictamnus and is not a nondisjunction.; int1 & sent8 -> int2: the satchel is powerful.; sent12 -> int3: there exists something such that the fact that it is powerful and it is not numerate is not correct.; int3 & sent13 -> int4: the satchel is non-powerful.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the laetrile is a leopard's-bane.; sent10 -> int7: if the fact that the laetrile is a host and does not trundle eyelessness does not hold it trundle eyelessness.; __UNKNOWN__