there exists something such that it is secretory and indexes bearer.
sent1: something is a approver that indexes bearer. sent2: the luminescence is a kind of a approver. sent3: there exists something such that it does color Hull and it does culture monarchist. sent4: if the plasm is not a kind of a snowshoe and is not unawares the Key is unawares. sent5: if something does not culture monarchist the luminescence is secretory. sent6: the luminescence is supernatural a approver. sent7: something that is not conscientious does not index Buxus. sent8: the luminescence is not conscientious if the Key is both conscientious and not a slave-maker. sent9: the luminescence is secretory if there exists something such that that it colors Hull and does culture monarchist is wrong. sent10: the fact that something indexes bearer hold. sent11: something is a kind of an urging if it does not index Buxus. sent12: if something does not index bearer it does color Hull and is secretory. sent13: that the effervescence does not index bearer but it is a approver is true if the luminescence urges. sent14: there exists something such that that it is a Pauling and it tastes is not right. sent15: the plasm is not a snowshoe if that the beetle is not a foil but it is Gallican is not correct. sent16: the plasm is not unawares. sent17: there are secretory things. sent18: there exists something such that the fact that it does color Hull and it does culture monarchist is not correct. sent19: something is conscientious but it is not a slave-maker if that it is not unawares is right. sent20: that the beetle is not a foil but it is Gallican is false. sent21: if there exists something such that that it is a approver and indexes bearer is incorrect then the Key is secretory. sent22: the luminescence does index bearer if the Key is a approver. sent23: if there exists something such that that it is secretory and it does index bearer is not right then the luminescence is a kind of a approver.
sent18 & sent9 -> int1: the luminescence is secretory.;
the effervescence colors Hull.
sent12 -> int2: if the effervescence does not index bearer it does color Hull and it is not non-secretory.; sent11 -> int3: if the luminescence does not index Buxus it is a kind of an urging.; sent7 -> int4: the luminescence does not index Buxus if it is not conscientious.; sent19 -> int5: the fact that the Key is not unconscientious but it is not the slave-maker if the Key is not unawares is not wrong.; sent15 & sent20 -> int6: the plasm does not snowshoe.; int6 & sent16 -> int7: the plasm is not a snowshoe and it is not unawares.; sent4 & int7 -> int8: the Key is non-unawares.; int5 & int8 -> int9: the Key is both conscientious and not a slave-maker.; sent8 & int9 -> int10: the luminescence is not conscientious.; int4 & int10 -> int11: the luminescence does not index Buxus.; int3 & int11 -> int12: the luminescence is an urging.; sent13 & int12 -> int13: the effervescence does not index bearer and is a approver.; int13 -> int14: the fact that the effervescence does not index bearer is not incorrect.; int2 & int14 -> int15: the effervescence does color Hull and is secretory.; int15 -> hypothesis;
$hypothesis$ = there exists something such that it is secretory and indexes bearer. ; $context$ = sent1: something is a approver that indexes bearer. sent2: the luminescence is a kind of a approver. sent3: there exists something such that it does color Hull and it does culture monarchist. sent4: if the plasm is not a kind of a snowshoe and is not unawares the Key is unawares. sent5: if something does not culture monarchist the luminescence is secretory. sent6: the luminescence is supernatural a approver. sent7: something that is not conscientious does not index Buxus. sent8: the luminescence is not conscientious if the Key is both conscientious and not a slave-maker. sent9: the luminescence is secretory if there exists something such that that it colors Hull and does culture monarchist is wrong. sent10: the fact that something indexes bearer hold. sent11: something is a kind of an urging if it does not index Buxus. sent12: if something does not index bearer it does color Hull and is secretory. sent13: that the effervescence does not index bearer but it is a approver is true if the luminescence urges. sent14: there exists something such that that it is a Pauling and it tastes is not right. sent15: the plasm is not a snowshoe if that the beetle is not a foil but it is Gallican is not correct. sent16: the plasm is not unawares. sent17: there are secretory things. sent18: there exists something such that the fact that it does color Hull and it does culture monarchist is not correct. sent19: something is conscientious but it is not a slave-maker if that it is not unawares is right. sent20: that the beetle is not a foil but it is Gallican is false. sent21: if there exists something such that that it is a approver and indexes bearer is incorrect then the Key is secretory. sent22: the luminescence does index bearer if the Key is a approver. sent23: if there exists something such that that it is secretory and it does index bearer is not right then the luminescence is a kind of a approver. ; $proof$ = 
sent18 & sent9 -> int1: the luminescence is secretory.; __UNKNOWN__