the fact that the miniature is an oral hold.
sent1: the signboard does not grease davit. sent2: if the lochia does not publicize the caliphate is not a cubbyhole. sent3: if the propoxyphene is not breastless the fact that it is not a cubbyhole and it bonnets lovastatin is not wrong. sent4: the miniature is a kind of non-stoloniferous thing that is a chelation if it is non-oral. sent5: something that is a kind of non-stoloniferous thing that does bonnet lochia does not grease davit. sent6: the propoxyphene is breasted. sent7: if the tacker is not a chelation but it is bilious then the miniature is not non-oral. sent8: something is not an oral if that it is not stoloniferous or does bonnet lochia or both is incorrect. sent9: that the miniature does not bonnet lochia is correct if that the moonlight does not grease davit and is an oral is not correct. sent10: if the propoxyphene is not a cubbyhole and does bonnet lovastatin then the caliphate is a cubbyhole. sent11: if the moonlight greases davit and it bonnets lochia then the signboard is an oral. sent12: if the signboard does not bonnet lochia then that the moonlight is not stoloniferous and bonnet lochia is not wrong. sent13: if the fact that the tacker is not a chelation but bilious is not right then the signboard does not bonnet lochia. sent14: there is something such that it is breastless.
void -> assump1: Let's assume that the fact that the tacker is not a chelation but it is bilious does not hold.; sent13 & assump1 -> int1: the signboard does not bonnet lochia.; int1 & sent12 -> int2: the moonlight is a kind of non-stoloniferous thing that bonnets lochia.; sent5 -> int3: if the moonlight is non-stoloniferous and bonnets lochia then it does not grease davit.; int2 & int3 -> int4: that the moonlight does not grease davit is right.; sent3 & sent6 -> int5: the propoxyphene is not a cubbyhole and bonnets lovastatin.; sent10 & int5 -> int6: the caliphate is a cubbyhole.;
the fact that the miniature is not oral is true.
sent8 -> int7: the miniature is not an oral if the fact that either it is not stoloniferous or it does bonnet lochia or both is incorrect.;
$hypothesis$ = the fact that the miniature is an oral hold. ; $context$ = sent1: the signboard does not grease davit. sent2: if the lochia does not publicize the caliphate is not a cubbyhole. sent3: if the propoxyphene is not breastless the fact that it is not a cubbyhole and it bonnets lovastatin is not wrong. sent4: the miniature is a kind of non-stoloniferous thing that is a chelation if it is non-oral. sent5: something that is a kind of non-stoloniferous thing that does bonnet lochia does not grease davit. sent6: the propoxyphene is breasted. sent7: if the tacker is not a chelation but it is bilious then the miniature is not non-oral. sent8: something is not an oral if that it is not stoloniferous or does bonnet lochia or both is incorrect. sent9: that the miniature does not bonnet lochia is correct if that the moonlight does not grease davit and is an oral is not correct. sent10: if the propoxyphene is not a cubbyhole and does bonnet lovastatin then the caliphate is a cubbyhole. sent11: if the moonlight greases davit and it bonnets lochia then the signboard is an oral. sent12: if the signboard does not bonnet lochia then that the moonlight is not stoloniferous and bonnet lochia is not wrong. sent13: if the fact that the tacker is not a chelation but bilious is not right then the signboard does not bonnet lochia. sent14: there is something such that it is breastless. ; $proof$ = 
void -> assump1: Let's assume that the fact that the tacker is not a chelation but it is bilious does not hold.; sent13 & assump1 -> int1: the signboard does not bonnet lochia.; int1 & sent12 -> int2: the moonlight is a kind of non-stoloniferous thing that bonnets lochia.; sent5 -> int3: if the moonlight is non-stoloniferous and bonnets lochia then it does not grease davit.; int2 & int3 -> int4: that the moonlight does not grease davit is right.; sent3 & sent6 -> int5: the propoxyphene is not a cubbyhole and bonnets lovastatin.; sent10 & int5 -> int6: the caliphate is a cubbyhole.; __UNKNOWN__