the openbill is a microbat.
sent1: there is something such that the fact that it is not a nimbus and does levitate does not hold. sent2: if there is something such that the fact that it is dural is correct then the organ-grinder is a kind of a sample and is a scattering. sent3: something is a microbat if it is not a kind of a sample and it is not inefficient. sent4: if there is something such that the fact that it is not an active and is not a isometric does not hold then the openbill is not inefficient. sent5: that the plowshare is not an active and it is not isometric is false. sent6: there exists something such that that it is not a Danaidae and does not expire firm is wrong. sent7: there is something such that the fact that it accretes Hemerocallis and is not a smell is not right. sent8: if there is something such that the fact that it is not a Danaidae and does not expire firm is incorrect then the organ-grinder does not scatter. sent9: if something is not a kind of a scattering and it is not inefficient it is a microbat. sent10: if there is something such that it is biosystematic that the lamplight is biosystematic thing that is not a wolffish is false. sent11: if something does scatter then it is biosystematic. sent12: if the organ-grinder does not scatter then the openbill is not a sample and it is not dural.
sent6 & sent8 -> int1: the organ-grinder is not a scattering.; int1 & sent12 -> int2: the openbill does not sample and it is not dural.; int2 -> int3: the openbill is not a sample.; sent5 -> int4: there is something such that that that it is not an active and it is not isometric is true is not correct.; int4 & sent4 -> int5: the openbill is not inefficient.; int3 & int5 -> int6: the openbill is not a sample and it is not inefficient.; sent3 -> int7: if the openbill is both not a sample and not inefficient it is a microbat.; int6 & int7 -> hypothesis;
the fact that the lamplight is non-biosystematic thing that is not a wolffish does not hold.
sent11 -> int8: if the organ-grinder is a kind of a scattering then it is not non-biosystematic.;
$hypothesis$ = the openbill is a microbat. ; $context$ = sent1: there is something such that the fact that it is not a nimbus and does levitate does not hold. sent2: if there is something such that the fact that it is dural is correct then the organ-grinder is a kind of a sample and is a scattering. sent3: something is a microbat if it is not a kind of a sample and it is not inefficient. sent4: if there is something such that the fact that it is not an active and is not a isometric does not hold then the openbill is not inefficient. sent5: that the plowshare is not an active and it is not isometric is false. sent6: there exists something such that that it is not a Danaidae and does not expire firm is wrong. sent7: there is something such that the fact that it accretes Hemerocallis and is not a smell is not right. sent8: if there is something such that the fact that it is not a Danaidae and does not expire firm is incorrect then the organ-grinder does not scatter. sent9: if something is not a kind of a scattering and it is not inefficient it is a microbat. sent10: if there is something such that it is biosystematic that the lamplight is biosystematic thing that is not a wolffish is false. sent11: if something does scatter then it is biosystematic. sent12: if the organ-grinder does not scatter then the openbill is not a sample and it is not dural. ; $proof$ = 
sent6 & sent8 -> int1: the organ-grinder is not a scattering.; int1 & sent12 -> int2: the openbill does not sample and it is not dural.; int2 -> int3: the openbill is not a sample.; sent5 -> int4: there is something such that that that it is not an active and it is not isometric is true is not correct.; int4 & sent4 -> int5: the openbill is not inefficient.; int3 & int5 -> int6: the openbill is not a sample and it is not inefficient.; sent3 -> int7: if the openbill is both not a sample and not inefficient it is a microbat.; int6 & int7 -> hypothesis; __PROVED__