the bathyscaphe is not deficient but it is traceable.
sent1: the swagman is not a kind of a keyboardist and contributes craze if the biont is a kind of a rheumatic. sent2: if the biont is a rheumatic it contributes craze. sent3: that the swagman does not contribute Macropodidae and is deficient is not true. sent4: if that the biont is not a keyboardist and it is not a katharometer is incorrect then it is not deficient. sent5: the fact that the swagman is not a katharometer but it is millennial is not right. sent6: if something does contribute craze the fact that it is not a keyboardist and it is not a katharometer is not correct. sent7: something is a rheumatic if it is a booming. sent8: something is traceable if it is not millennial. sent9: that the swagman is a kind of non-traceable thing that does not contribute leaf-roller is not right if the bathyscaphe is deficient. sent10: that the bathyscaphe is not deficient is not false if the fact that the swagman is not a katharometer and not deficient is not correct. sent11: the leaf-roller is a centered. sent12: if the swagman is millennial then the fact that the bathyscaphe is not deficient but it is traceable is not correct. sent13: everything does contribute Macropodidae and does not contribute leaf-roller. sent14: if the biont is a kind of a keyboardist then the fact that the swagman is not a kind of a katharometer and it is not deficient is wrong. sent15: if the swagman is a kind of a katharometer the bathyscaphe is not a katharometer. sent16: the biont is a keyboardist. sent17: if the swagman is millennial that the bathyscaphe is non-traceable thing that is a kind of a katharometer is wrong.
sent13 -> int1: the bathyscaphe contributes Macropodidae and does not contribute leaf-roller.; sent8 -> int2: the fact that the bathyscaphe is traceable if the fact that the bathyscaphe is not millennial is not wrong is not wrong.; sent14 & sent16 -> int3: that the swagman is not a katharometer and is not deficient is not right.; sent10 & int3 -> int4: the bathyscaphe is not deficient.;
the bathyscaphe does extinguish Fomor.
sent6 -> int5: that the biont is not a keyboardist and it is not a katharometer does not hold if it does contribute craze.;
$hypothesis$ = the bathyscaphe is not deficient but it is traceable. ; $context$ = sent1: the swagman is not a kind of a keyboardist and contributes craze if the biont is a kind of a rheumatic. sent2: if the biont is a rheumatic it contributes craze. sent3: that the swagman does not contribute Macropodidae and is deficient is not true. sent4: if that the biont is not a keyboardist and it is not a katharometer is incorrect then it is not deficient. sent5: the fact that the swagman is not a katharometer but it is millennial is not right. sent6: if something does contribute craze the fact that it is not a keyboardist and it is not a katharometer is not correct. sent7: something is a rheumatic if it is a booming. sent8: something is traceable if it is not millennial. sent9: that the swagman is a kind of non-traceable thing that does not contribute leaf-roller is not right if the bathyscaphe is deficient. sent10: that the bathyscaphe is not deficient is not false if the fact that the swagman is not a katharometer and not deficient is not correct. sent11: the leaf-roller is a centered. sent12: if the swagman is millennial then the fact that the bathyscaphe is not deficient but it is traceable is not correct. sent13: everything does contribute Macropodidae and does not contribute leaf-roller. sent14: if the biont is a kind of a keyboardist then the fact that the swagman is not a kind of a katharometer and it is not deficient is wrong. sent15: if the swagman is a kind of a katharometer the bathyscaphe is not a katharometer. sent16: the biont is a keyboardist. sent17: if the swagman is millennial that the bathyscaphe is non-traceable thing that is a kind of a katharometer is wrong. ; $proof$ = 
sent13 -> int1: the bathyscaphe contributes Macropodidae and does not contribute leaf-roller.; sent8 -> int2: the fact that the bathyscaphe is traceable if the fact that the bathyscaphe is not millennial is not wrong is not wrong.; sent14 & sent16 -> int3: that the swagman is not a katharometer and is not deficient is not right.; sent10 & int3 -> int4: the bathyscaphe is not deficient.; __UNKNOWN__