the chondrin does not furrow daintiness and/or is not a kind of a chantry.
sent1: the fact that the chondrin is non-actuarial and does not proposition promenade does not hold if it enlivens garbage. sent2: if the fact that the storybook is tearless hold it is a trivet. sent3: if that something is not actuarial and does not proposition promenade is not true the fact that it is actuarial is right. sent4: the chondrin does enliven blister if that it does not enliven blister and does not leer is incorrect. sent5: if a leer is actuarial then it does not furrow daintiness. sent6: the fact that the chondrin leers is not wrong if the castaway does enliven blister. sent7: if the fact that the fact that the castaway does not proposition promenade and it does not enliven garbage hold is wrong it proposition promenade. sent8: if the storybook is a kind of a trivet that the castaway does not proposition promenade and it does not enliven garbage is false. sent9: the castaway does enliven blister if something is a Melbourne but not a scar. sent10: that something does not furrow daintiness and/or is not a chantry is false if it does not enliven blister. sent11: something is a kind of a Melbourne but it does not scar. sent12: The garbage enlivens chondrin. sent13: the chondrin enlivens garbage.
sent11 & sent9 -> int1: the castaway enlivens blister.; int1 & sent6 -> int2: that the chondrin is a kind of a leer hold.; sent3 -> int3: the chondrin is actuarial if that it is not actuarial and does not proposition promenade does not hold.; sent1 & sent13 -> int4: the fact that the chondrin is a kind of non-actuarial thing that does not proposition promenade is wrong.; int3 & int4 -> int5: the chondrin is actuarial.; int2 & int5 -> int6: the chondrin is a leer and it is actuarial.; sent5 -> int7: if the chondrin does leer and it is actuarial then the fact that it does not furrow daintiness is not incorrect.; int6 & int7 -> int8: the chondrin does not furrow daintiness.; int8 -> hypothesis;
that the chondrin does not furrow daintiness or is not a chantry or both is wrong.
sent10 -> int9: if the chondrin does not enliven blister the fact that either it does not furrow daintiness or it is not a kind of a chantry or both is false.;
$hypothesis$ = the chondrin does not furrow daintiness and/or is not a kind of a chantry. ; $context$ = sent1: the fact that the chondrin is non-actuarial and does not proposition promenade does not hold if it enlivens garbage. sent2: if the fact that the storybook is tearless hold it is a trivet. sent3: if that something is not actuarial and does not proposition promenade is not true the fact that it is actuarial is right. sent4: the chondrin does enliven blister if that it does not enliven blister and does not leer is incorrect. sent5: if a leer is actuarial then it does not furrow daintiness. sent6: the fact that the chondrin leers is not wrong if the castaway does enliven blister. sent7: if the fact that the fact that the castaway does not proposition promenade and it does not enliven garbage hold is wrong it proposition promenade. sent8: if the storybook is a kind of a trivet that the castaway does not proposition promenade and it does not enliven garbage is false. sent9: the castaway does enliven blister if something is a Melbourne but not a scar. sent10: that something does not furrow daintiness and/or is not a chantry is false if it does not enliven blister. sent11: something is a kind of a Melbourne but it does not scar. sent12: The garbage enlivens chondrin. sent13: the chondrin enlivens garbage. ; $proof$ = 
sent11 & sent9 -> int1: the castaway enlivens blister.; int1 & sent6 -> int2: that the chondrin is a kind of a leer hold.; sent3 -> int3: the chondrin is actuarial if that it is not actuarial and does not proposition promenade does not hold.; sent1 & sent13 -> int4: the fact that the chondrin is a kind of non-actuarial thing that does not proposition promenade is wrong.; int3 & int4 -> int5: the chondrin is actuarial.; int2 & int5 -> int6: the chondrin is a leer and it is actuarial.; sent5 -> int7: if the chondrin does leer and it is actuarial then the fact that it does not furrow daintiness is not incorrect.; int6 & int7 -> int8: the chondrin does not furrow daintiness.; int8 -> hypothesis; __PROVED__