the pteridologist is a rutherford.
sent1: the chromate is a Dneprodzerzhinsk if there is something such that the fact that it does coat bandwidth and shines Lot is incorrect. sent2: the balsam does coat Feynman if the corbel does not coat Feynman. sent3: something is a leer and a dhal. sent4: if there exists something such that that it does approve is correct then that either the corbel is not a nursing or it reproduces or both is not right. sent5: the trousseau is a Erysiphe. sent6: if something is not a Dneprodzerzhinsk then the fact that it is not a rutherford is true. sent7: there is something such that the fact that it does coat bandwidth and does shine Lot is not right. sent8: the chromate reproduces. sent9: that the chromate either does not reproduce or does not coat Feynman or both is not true. sent10: if the balsam coats Feynman it does sass. sent11: if that the chromate is not a dhal and not a stinkpot is wrong then that the pteridologist does not leer is not false. sent12: something does coat Callistephus if it is a kind of a stinkpot. sent13: if the trousseau is a Erysiphe then it approves. sent14: the pteridologist is a rutherford if the trousseau sasses. sent15: the chromate does leer if it is a Dneprodzerzhinsk. sent16: the corbel is a primary if the balsam coats Callistephus. sent17: the chromate is a kind of a Dneprodzerzhinsk if there is something such that it does not coat bandwidth. sent18: if a leer is not a dhal the balsam is a kind of a stinkpot. sent19: that something is not a dhal and is not a stinkpot does not hold if it does coat Callistephus. sent20: if the fact that something is not a nursing or does reproduce or both is incorrect it does not coat Feynman. sent21: something is a leer. sent22: if that the chromate does not reproduce and/or does not coat Feynman is not correct then it is not a kind of a dhal.
sent7 & sent1 -> int1: the chromate is a kind of a Dneprodzerzhinsk.; int1 & sent15 -> int2: the chromate does leer.; sent22 & sent9 -> int3: the chromate is not a kind of a dhal.; int2 & int3 -> int4: the chromate is a leer but it is not a dhal.; int4 -> int5: something is both a leer and not a dhal.; int5 & sent18 -> int6: the balsam is a stinkpot.; sent12 -> int7: the balsam does coat Callistephus if it is a stinkpot.; int6 & int7 -> int8: that the balsam coats Callistephus hold.; int8 & sent16 -> int9: the corbel is a primary.;
that the pteridologist is not a rutherford is right.
sent6 -> int10: the pteridologist is not a kind of a rutherford if it is not a Dneprodzerzhinsk.; sent19 -> int11: if the chromate does coat Callistephus then that it is both not a dhal and not a stinkpot does not hold.; sent20 -> int12: the corbel does not coat Feynman if the fact that either it is not a nursing or it does reproduce or both is wrong.; sent13 & sent5 -> int13: the trousseau approves.; int13 -> int14: there exists something such that it does approve.; int14 & sent4 -> int15: that the corbel is not a kind of a nursing and/or it does reproduce does not hold.; int12 & int15 -> int16: the corbel does not coat Feynman.; sent2 & int16 -> int17: the balsam does coat Feynman.; sent10 & int17 -> int18: that the balsam is a sass hold.; int18 -> int19: there is something such that it is a sass.;
$hypothesis$ = the pteridologist is a rutherford. ; $context$ = sent1: the chromate is a Dneprodzerzhinsk if there is something such that the fact that it does coat bandwidth and shines Lot is incorrect. sent2: the balsam does coat Feynman if the corbel does not coat Feynman. sent3: something is a leer and a dhal. sent4: if there exists something such that that it does approve is correct then that either the corbel is not a nursing or it reproduces or both is not right. sent5: the trousseau is a Erysiphe. sent6: if something is not a Dneprodzerzhinsk then the fact that it is not a rutherford is true. sent7: there is something such that the fact that it does coat bandwidth and does shine Lot is not right. sent8: the chromate reproduces. sent9: that the chromate either does not reproduce or does not coat Feynman or both is not true. sent10: if the balsam coats Feynman it does sass. sent11: if that the chromate is not a dhal and not a stinkpot is wrong then that the pteridologist does not leer is not false. sent12: something does coat Callistephus if it is a kind of a stinkpot. sent13: if the trousseau is a Erysiphe then it approves. sent14: the pteridologist is a rutherford if the trousseau sasses. sent15: the chromate does leer if it is a Dneprodzerzhinsk. sent16: the corbel is a primary if the balsam coats Callistephus. sent17: the chromate is a kind of a Dneprodzerzhinsk if there is something such that it does not coat bandwidth. sent18: if a leer is not a dhal the balsam is a kind of a stinkpot. sent19: that something is not a dhal and is not a stinkpot does not hold if it does coat Callistephus. sent20: if the fact that something is not a nursing or does reproduce or both is incorrect it does not coat Feynman. sent21: something is a leer. sent22: if that the chromate does not reproduce and/or does not coat Feynman is not correct then it is not a kind of a dhal. ; $proof$ = 
sent7 & sent1 -> int1: the chromate is a kind of a Dneprodzerzhinsk.; int1 & sent15 -> int2: the chromate does leer.; sent22 & sent9 -> int3: the chromate is not a kind of a dhal.; int2 & int3 -> int4: the chromate is a leer but it is not a dhal.; int4 -> int5: something is both a leer and not a dhal.; int5 & sent18 -> int6: the balsam is a stinkpot.; sent12 -> int7: the balsam does coat Callistephus if it is a stinkpot.; int6 & int7 -> int8: that the balsam coats Callistephus hold.; int8 & sent16 -> int9: the corbel is a primary.; __UNKNOWN__