the bohrium is a CAD.
sent1: if something is fashionable it is behavioristic and is not a sorption. sent2: that the use is not a sorption is correct if the morocco is not behavioristic. sent3: the use is not a sorption if the fact that the morocco is behavioristic and it is a kind of a sorption is not correct. sent4: if something is not a kind of a sorption then the fact that it is a polypore that does not cast use is not correct. sent5: the bohrium is not a kind of a CAD if the use casts use. sent6: if something is behavioristic and not a sorption it is a kind of a CAD. sent7: that the morocco is behavioristic and it is a kind of a sorption is not right. sent8: the fact that something is a polypore and it does cast use is wrong if it is not a sorption. sent9: the goulash does not discuss. sent10: the bohrium is not a CAD if the fact that the use is a polypore but it does not cast use is incorrect. sent11: if the bohrium does cast use that the use is not a kind of a CAD is correct. sent12: if the fact that the goulash does not discuss is not wrong then the fact that the swallowwort does not loot morocco but it is a kind of a cold is not correct. sent13: the fact that the use is a kind of a polypore and it does cast use is not correct. sent14: the fact that the use is a kind of a polypore and it is a CAD does not hold if the fact that it does not cast use is true. sent15: that something does cast use and is not behavioristic does not hold if it is not a kind of a sorption. sent16: that the use is a kind of a polypore that does cast use does not hold if it is not a sorption.
sent4 -> int1: that the use is a polypore but it does not cast use is wrong if it is not a sorption.; sent3 & sent7 -> int2: the use is not a sorption.; int1 & int2 -> int3: the fact that the use is a kind of a polypore but it does not cast use is wrong.; int3 & sent10 -> hypothesis;
the bohrium is a CAD.
sent6 -> int4: the bohrium is a CAD if it is both behavioristic and not a sorption.; sent1 -> int5: if the bohrium is fashionable it is behavioristic and it is not a sorption.; sent12 & sent9 -> int6: the fact that the swallowwort does not loot morocco and is cold does not hold.; int6 -> int7: there is something such that that it does not loot morocco and is a cold does not hold.;
$hypothesis$ = the bohrium is a CAD. ; $context$ = sent1: if something is fashionable it is behavioristic and is not a sorption. sent2: that the use is not a sorption is correct if the morocco is not behavioristic. sent3: the use is not a sorption if the fact that the morocco is behavioristic and it is a kind of a sorption is not correct. sent4: if something is not a kind of a sorption then the fact that it is a polypore that does not cast use is not correct. sent5: the bohrium is not a kind of a CAD if the use casts use. sent6: if something is behavioristic and not a sorption it is a kind of a CAD. sent7: that the morocco is behavioristic and it is a kind of a sorption is not right. sent8: the fact that something is a polypore and it does cast use is wrong if it is not a sorption. sent9: the goulash does not discuss. sent10: the bohrium is not a CAD if the fact that the use is a polypore but it does not cast use is incorrect. sent11: if the bohrium does cast use that the use is not a kind of a CAD is correct. sent12: if the fact that the goulash does not discuss is not wrong then the fact that the swallowwort does not loot morocco but it is a kind of a cold is not correct. sent13: the fact that the use is a kind of a polypore and it does cast use is not correct. sent14: the fact that the use is a kind of a polypore and it is a CAD does not hold if the fact that it does not cast use is true. sent15: that something does cast use and is not behavioristic does not hold if it is not a kind of a sorption. sent16: that the use is a kind of a polypore that does cast use does not hold if it is not a sorption. ; $proof$ = 
sent4 -> int1: that the use is a polypore but it does not cast use is wrong if it is not a sorption.; sent3 & sent7 -> int2: the use is not a sorption.; int1 & int2 -> int3: the fact that the use is a kind of a polypore but it does not cast use is wrong.; int3 & sent10 -> hypothesis; __DISPROVED__