the interface is not a kind of a hob and does not housekeep Beethoven.
sent1: an antibiotic is not a kind of a hob and does not housekeep Beethoven. sent2: if the knob is not a kind of a plantlet but it is a kind of a sunspot the interface is not antibiotic. sent3: if the fluff is balsamic then the fact that the knob is nonadhesive and is not diaphyseal is not true. sent4: the fact that the interface is an antibiotic if the knob is a plantlet is true. sent5: the knob is a kind of a plantlet. sent6: that something is not a kind of a hob and does not housekeep Beethoven is wrong if it is not an antibiotic. sent7: if that something is nonadhesive but it is not diaphyseal is not correct then it is not nonadhesive. sent8: if something is not nonadhesive that it is not a Ido and approaches alpha-tocopheral is incorrect. sent9: the interface is not a plantlet and does not housekeep Beethoven. sent10: if something is not non-antibiotic it does not housekeep Beethoven. sent11: the interface is a eardrum. sent12: something does not housekeep Beethoven and it is not a plantlet if it is a kind of a hob. sent13: if the interface is an antibiotic then it does not housekeep Beethoven. sent14: something is not a plantlet and is a sunspot if it does not approach alpha-tocopheral. sent15: if the fact that something is not a kind of a Ido but it approaches alpha-tocopheral does not hold then it does not approaches alpha-tocopheral. sent16: the interface is not icosahedral and does not freeze-dry equipment. sent17: the knob is not antibiotic.
sent1 -> int1: the interface is not a hob and does not housekeep Beethoven if it is an antibiotic.; sent4 & sent5 -> int2: the interface is an antibiotic.; int1 & int2 -> hypothesis;
the fact that the interface is not a hob and does not housekeep Beethoven is not right.
sent6 -> int3: that the interface is not a kind of a hob and it does not housekeep Beethoven does not hold if the fact that it is not a kind of an antibiotic is right.; sent14 -> int4: the knob is not a plantlet but it is a kind of a sunspot if it does not approach alpha-tocopheral.; sent15 -> int5: the knob does not approach alpha-tocopheral if the fact that it is not a Ido and does approach alpha-tocopheral does not hold.; sent8 -> int6: if the knob is not nonadhesive then the fact that it is not a Ido and it does approach alpha-tocopheral is wrong.; sent7 -> int7: the knob is not nonadhesive if the fact that it is nonadhesive and it is not diaphyseal is not correct.;
$hypothesis$ = the interface is not a kind of a hob and does not housekeep Beethoven. ; $context$ = sent1: an antibiotic is not a kind of a hob and does not housekeep Beethoven. sent2: if the knob is not a kind of a plantlet but it is a kind of a sunspot the interface is not antibiotic. sent3: if the fluff is balsamic then the fact that the knob is nonadhesive and is not diaphyseal is not true. sent4: the fact that the interface is an antibiotic if the knob is a plantlet is true. sent5: the knob is a kind of a plantlet. sent6: that something is not a kind of a hob and does not housekeep Beethoven is wrong if it is not an antibiotic. sent7: if that something is nonadhesive but it is not diaphyseal is not correct then it is not nonadhesive. sent8: if something is not nonadhesive that it is not a Ido and approaches alpha-tocopheral is incorrect. sent9: the interface is not a plantlet and does not housekeep Beethoven. sent10: if something is not non-antibiotic it does not housekeep Beethoven. sent11: the interface is a eardrum. sent12: something does not housekeep Beethoven and it is not a plantlet if it is a kind of a hob. sent13: if the interface is an antibiotic then it does not housekeep Beethoven. sent14: something is not a plantlet and is a sunspot if it does not approach alpha-tocopheral. sent15: if the fact that something is not a kind of a Ido but it approaches alpha-tocopheral does not hold then it does not approaches alpha-tocopheral. sent16: the interface is not icosahedral and does not freeze-dry equipment. sent17: the knob is not antibiotic. ; $proof$ = 
sent1 -> int1: the interface is not a hob and does not housekeep Beethoven if it is an antibiotic.; sent4 & sent5 -> int2: the interface is an antibiotic.; int1 & int2 -> hypothesis; __PROVED__