the sailor's-choice is derivational.
sent1: if something is not a kind of a childlessness then it is eyeless. sent2: if the epidendron is subsurface the megaloblast is not humanitarian. sent3: the sailor's-choice is derivational if the earwig is particularistic but it is not a kind of a humanitarian. sent4: the epidendron is not subsurface. sent5: the epidendron is not a kind of a childlessness. sent6: if the fact that the epidendron pages epidendron but it is not subsurface does not hold the megaloblast is not a kind of a humanitarian. sent7: if something does page epidendron but it is not subsurface then it is not eyeless. sent8: the sailor's-choice is derivational if the earwig is not particularistic and it is not a humanitarian. sent9: if the earwig is not particularistic but it is a kind of a humanitarian then the sailor's-choice is derivational. sent10: something is not eyeless if it does page epidendron and is subsurface.
sent7 -> int1: if the epidendron pages epidendron and is not subsurface then that it is not eyeless hold.; void -> assump1: Let's assume that the epidendron pages epidendron and is not subsurface.; int1 & assump1 -> int2: the epidendron is not eyeless.; sent1 -> int3: the epidendron is eyeless if it is not a childlessness.; int3 & sent5 -> int4: the epidendron is eyeless.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the epidendron pages epidendron and is not subsurface is not right.; int6 & sent6 -> int7: the megaloblast is not a kind of a humanitarian.;
$hypothesis$ = the sailor's-choice is derivational. ; $context$ = sent1: if something is not a kind of a childlessness then it is eyeless. sent2: if the epidendron is subsurface the megaloblast is not humanitarian. sent3: the sailor's-choice is derivational if the earwig is particularistic but it is not a kind of a humanitarian. sent4: the epidendron is not subsurface. sent5: the epidendron is not a kind of a childlessness. sent6: if the fact that the epidendron pages epidendron but it is not subsurface does not hold the megaloblast is not a kind of a humanitarian. sent7: if something does page epidendron but it is not subsurface then it is not eyeless. sent8: the sailor's-choice is derivational if the earwig is not particularistic and it is not a humanitarian. sent9: if the earwig is not particularistic but it is a kind of a humanitarian then the sailor's-choice is derivational. sent10: something is not eyeless if it does page epidendron and is subsurface. ; $proof$ = 
sent7 -> int1: if the epidendron pages epidendron and is not subsurface then that it is not eyeless hold.; void -> assump1: Let's assume that the epidendron pages epidendron and is not subsurface.; int1 & assump1 -> int2: the epidendron is not eyeless.; sent1 -> int3: the epidendron is eyeless if it is not a childlessness.; int3 & sent5 -> int4: the epidendron is eyeless.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the epidendron pages epidendron and is not subsurface is not right.; int6 & sent6 -> int7: the megaloblast is not a kind of a humanitarian.; __UNKNOWN__