the Barber is a replacement.
sent1: the doctor is not a Scirpus but it does accredit clogged. sent2: the dug is not a lotus if there is something such that that it is a paste and it proposes leg-pull is not correct. sent3: if that the Wight accredits blackbeetle but it is not a lotus is not wrong then the dug is a lotus. sent4: if there exists something such that it is not a kind of a paste then the fact that the dug is not a lotus is not false. sent5: there exists something such that the fact that it is a kind of a paste and it proposes leg-pull is not right. sent6: if something is not limbless it is not non-antiseptic and it is not asclepiadaceous. sent7: the dug does paste. sent8: the Wight is not a lotus if that the cradle accredits strainer and is holographic is not true. sent9: if the fact that the Wight is not disjunct hold it does accredit blackbeetle and is not permissible. sent10: that the trident is strange thing that does not defrost is false. sent11: that the cradle does accredit strainer and is holographic is false if the quartering is not a Camus. sent12: if the Wight is a lotus the Barber is a kind of a replacement. sent13: the Barber is not a replacement if the dug is a lotus. sent14: if something that is not a Scirpus accredits clogged then it is not limbless. sent15: the Wight is a kind of a lotus and accredits strainer if the dug is not a lotus. sent16: if the dug is not a lotus then the Wight accredits strainer. sent17: there exists something such that it is a kind of a paste that does propose leg-pull.
sent5 & sent2 -> int1: the dug is not a lotus.; sent15 & int1 -> int2: the Wight is a kind of a lotus and it accredits strainer.; int2 -> int3: the Wight is a lotus.; sent12 & int3 -> hypothesis;
the fact that the Barber is a kind of a replacement does not hold.
sent10 -> int4: there exists something such that the fact that it is strange and does not defrost does not hold.; sent6 -> int5: the doctor is a kind of an antiseptic that is non-asclepiadaceous if it is not limbless.; sent14 -> int6: the doctor is not limbless if it is not a Scirpus and accredits clogged.; int6 & sent1 -> int7: the doctor is not limbless.; int5 & int7 -> int8: the doctor is antiseptic but not asclepiadaceous.; int8 -> int9: something is an antiseptic but it is not asclepiadaceous.;
$hypothesis$ = the Barber is a replacement. ; $context$ = sent1: the doctor is not a Scirpus but it does accredit clogged. sent2: the dug is not a lotus if there is something such that that it is a paste and it proposes leg-pull is not correct. sent3: if that the Wight accredits blackbeetle but it is not a lotus is not wrong then the dug is a lotus. sent4: if there exists something such that it is not a kind of a paste then the fact that the dug is not a lotus is not false. sent5: there exists something such that the fact that it is a kind of a paste and it proposes leg-pull is not right. sent6: if something is not limbless it is not non-antiseptic and it is not asclepiadaceous. sent7: the dug does paste. sent8: the Wight is not a lotus if that the cradle accredits strainer and is holographic is not true. sent9: if the fact that the Wight is not disjunct hold it does accredit blackbeetle and is not permissible. sent10: that the trident is strange thing that does not defrost is false. sent11: that the cradle does accredit strainer and is holographic is false if the quartering is not a Camus. sent12: if the Wight is a lotus the Barber is a kind of a replacement. sent13: the Barber is not a replacement if the dug is a lotus. sent14: if something that is not a Scirpus accredits clogged then it is not limbless. sent15: the Wight is a kind of a lotus and accredits strainer if the dug is not a lotus. sent16: if the dug is not a lotus then the Wight accredits strainer. sent17: there exists something such that it is a kind of a paste that does propose leg-pull. ; $proof$ = 
sent5 & sent2 -> int1: the dug is not a lotus.; sent15 & int1 -> int2: the Wight is a kind of a lotus and it accredits strainer.; int2 -> int3: the Wight is a lotus.; sent12 & int3 -> hypothesis; __PROVED__