the nursery is funicular.
sent1: if something is Carmelite that it outstares Coluber and is non-funicular does not hold. sent2: if something is not a kind of a Carmelite then that it does come sporangium and does outstare Coluber is not right. sent3: that the ola is not defiant is true. sent4: that something is a kind of a metaproterenol and it is Prakritic is false if it is not funicular. sent5: if there is something such that that the fact that it is defiant and/or it is a saddle is not wrong is incorrect the crape is not a Carmelite. sent6: the old-timer is not a kind of a mortgaged if there exists something such that the fact that it is a genie and it is not a strained is not true. sent7: the fact that the capybara is not defiant is right. sent8: there are non-defiant things. sent9: either something is defiant or it saddles or both. sent10: the fact that the ola is defiant and/or a saddle does not hold. sent11: there exists something such that it is not a saddle. sent12: the nursery is a funicular if the fact that the crape does outstare Coluber but it is funicular does not hold. sent13: if that the crape does come sporangium and it outstares Coluber is not correct the nursery is not a funicular. sent14: the adjuvant is not insensible. sent15: the fact that the adjuvant is a kind of a genie that is not a kind of a strained is incorrect if it is not insensible. sent16: if the crape does not come sporangium the nursery is not a funicular. sent17: something is a Macbeth but it is not a kind of a Richmond if it does not mortgage.
sent10 -> int1: there is something such that the fact that it is either defiant or a saddle or both is not true.; int1 & sent5 -> int2: the crape is not Carmelite.; sent2 -> int3: the fact that the crape comes sporangium and it outstares Coluber is not correct if it is not a Carmelite.; int2 & int3 -> int4: that the crape comes sporangium and it outstares Coluber is not correct.; int4 & sent13 -> hypothesis;
the nursery is a kind of a funicular.
sent1 -> int5: if the crape is Carmelite then the fact that it does outstare Coluber and is not a kind of a funicular is not correct.; sent17 -> int6: the old-timer is a Macbeth but it is not a Richmond if it is not a mortgaged.; sent15 & sent14 -> int7: the fact that the adjuvant is a genie but it does not strain is false.; int7 -> int8: there exists something such that the fact that it is both a genie and not a strained is not right.; int8 & sent6 -> int9: the old-timer is not a kind of a mortgaged.; int6 & int9 -> int10: the old-timer is a Macbeth but it is not a Richmond.; int10 -> int11: the old-timer is a kind of a Macbeth.; int11 -> int12: there is something such that it is a Macbeth.;
$hypothesis$ = the nursery is funicular. ; $context$ = sent1: if something is Carmelite that it outstares Coluber and is non-funicular does not hold. sent2: if something is not a kind of a Carmelite then that it does come sporangium and does outstare Coluber is not right. sent3: that the ola is not defiant is true. sent4: that something is a kind of a metaproterenol and it is Prakritic is false if it is not funicular. sent5: if there is something such that that the fact that it is defiant and/or it is a saddle is not wrong is incorrect the crape is not a Carmelite. sent6: the old-timer is not a kind of a mortgaged if there exists something such that the fact that it is a genie and it is not a strained is not true. sent7: the fact that the capybara is not defiant is right. sent8: there are non-defiant things. sent9: either something is defiant or it saddles or both. sent10: the fact that the ola is defiant and/or a saddle does not hold. sent11: there exists something such that it is not a saddle. sent12: the nursery is a funicular if the fact that the crape does outstare Coluber but it is funicular does not hold. sent13: if that the crape does come sporangium and it outstares Coluber is not correct the nursery is not a funicular. sent14: the adjuvant is not insensible. sent15: the fact that the adjuvant is a kind of a genie that is not a kind of a strained is incorrect if it is not insensible. sent16: if the crape does not come sporangium the nursery is not a funicular. sent17: something is a Macbeth but it is not a kind of a Richmond if it does not mortgage. ; $proof$ = 
sent10 -> int1: there is something such that the fact that it is either defiant or a saddle or both is not true.; int1 & sent5 -> int2: the crape is not Carmelite.; sent2 -> int3: the fact that the crape comes sporangium and it outstares Coluber is not correct if it is not a Carmelite.; int2 & int3 -> int4: that the crape comes sporangium and it outstares Coluber is not correct.; int4 & sent13 -> hypothesis; __DISPROVED__