the gee-gee is nonaddictive.
sent1: if that the carbonado is nonaddictive is correct the gee-gee is not a kind of a band. sent2: if that the carbonado is eager is true the courbaril is eager. sent3: the fact that the carbonado is not a kind of a rational is not false. sent4: that the carbonado is a kind of a band hold. sent5: the carbonado is small and not a invariability. sent6: the windjammer is a kind of a rational. sent7: the pouch is not stoloniferous. sent8: if the carbonado is a band it is not uneager. sent9: the fact that the courbaril is a kind of a rational but it is not environmental is not true. sent10: if something is stoloniferous it is not a rational. sent11: if the courbaril is not a kind of a rational that the carbonado is not a kind of a band and is eager does not hold. sent12: the courbaril is not uneager. sent13: the courbaril is eager but it is irrational if that the carbonado is eager hold.
sent8 & sent4 -> int1: the carbonado is eager.; int1 & sent13 -> int2: the courbaril is not uneager but irrational.;
the gee-gee is not nonaddictive.
sent10 -> int3: if the courbaril is stoloniferous it is irrational.;
$hypothesis$ = the gee-gee is nonaddictive. ; $context$ = sent1: if that the carbonado is nonaddictive is correct the gee-gee is not a kind of a band. sent2: if that the carbonado is eager is true the courbaril is eager. sent3: the fact that the carbonado is not a kind of a rational is not false. sent4: that the carbonado is a kind of a band hold. sent5: the carbonado is small and not a invariability. sent6: the windjammer is a kind of a rational. sent7: the pouch is not stoloniferous. sent8: if the carbonado is a band it is not uneager. sent9: the fact that the courbaril is a kind of a rational but it is not environmental is not true. sent10: if something is stoloniferous it is not a rational. sent11: if the courbaril is not a kind of a rational that the carbonado is not a kind of a band and is eager does not hold. sent12: the courbaril is not uneager. sent13: the courbaril is eager but it is irrational if that the carbonado is eager hold. ; $proof$ = 
sent8 & sent4 -> int1: the carbonado is eager.; int1 & sent13 -> int2: the courbaril is not uneager but irrational.; __UNKNOWN__