the Amazon is not a Brickellia but it is a kind of a kurus.
sent1: if the crackle equalizes then the Amazon is a kurus. sent2: the push is multiphase but it is not striate. sent3: something does impart slant if that it does not distrain and it does not dock is not right. sent4: that something does not distrain and it is not a kind of a dock is not correct if it does sleep cere. sent5: something forecasts and is not insatiate if it does not sublime. sent6: if something is not diplomatic then it is not non-ballistics and it is not a hoard. sent7: the Amazon is a kind of a kurus if the crackle is not a hoard. sent8: the push does striate if it does impart slant. sent9: the fern does not equalize if the crackle is ballistics but it is not a hoard. sent10: the fact that something either equalizes or is not a hoard or both is not incorrect if it does impart slant. sent11: if the fact that something is ballistics and it is diplomatic does not hold it is not a kind of a Brickellia. sent12: the freestone does impart slant and distrains if the fern does not equalize. sent13: if the freestone does dock then the fact that the Amazon is not a Brickellia and is a kind of a kurus does not hold. sent14: something that distrains does dock. sent15: if something that is multiphase does not striate then the crackle is not diplomatic. sent16: everything is not a Gloucester.
sent2 -> int1: something is multiphase but it does not striate.; int1 & sent15 -> int2: the crackle is not diplomatic.; sent6 -> int3: the crackle is ballistics but it is not a hoard if it is not diplomatic.; int2 & int3 -> int4: the fact that the crackle is ballistics but it does not hoard is not wrong.; int4 & sent9 -> int5: the fern does not equalize.; int5 & sent12 -> int6: the freestone imparts slant and distrains.; int6 -> int7: the freestone does distrain.; sent14 -> int8: if the freestone distrains the fact that it does dock is correct.; int7 & int8 -> int9: the freestone docks.; int9 & sent13 -> hypothesis;
the Amazon is not a Brickellia and is a kurus.
sent10 -> int10: the crackle does equalize or it is not a kind of a hoard or both if it does impart slant.; sent4 -> int11: the fact that the freestone does not distrain and it does not dock is not correct if it does sleep cere.; sent3 -> int12: if the fact that the crackle does not distrain and it is not a dock is wrong it does impart slant.; sent11 -> int13: if the fact that the fact that the Amazon is ballistics but not undiplomatic is true is not true it is not a Brickellia.; sent16 -> int14: the fern is not a Gloucester.;
$hypothesis$ = the Amazon is not a Brickellia but it is a kind of a kurus. ; $context$ = sent1: if the crackle equalizes then the Amazon is a kurus. sent2: the push is multiphase but it is not striate. sent3: something does impart slant if that it does not distrain and it does not dock is not right. sent4: that something does not distrain and it is not a kind of a dock is not correct if it does sleep cere. sent5: something forecasts and is not insatiate if it does not sublime. sent6: if something is not diplomatic then it is not non-ballistics and it is not a hoard. sent7: the Amazon is a kind of a kurus if the crackle is not a hoard. sent8: the push does striate if it does impart slant. sent9: the fern does not equalize if the crackle is ballistics but it is not a hoard. sent10: the fact that something either equalizes or is not a hoard or both is not incorrect if it does impart slant. sent11: if the fact that something is ballistics and it is diplomatic does not hold it is not a kind of a Brickellia. sent12: the freestone does impart slant and distrains if the fern does not equalize. sent13: if the freestone does dock then the fact that the Amazon is not a Brickellia and is a kind of a kurus does not hold. sent14: something that distrains does dock. sent15: if something that is multiphase does not striate then the crackle is not diplomatic. sent16: everything is not a Gloucester. ; $proof$ = 
sent2 -> int1: something is multiphase but it does not striate.; int1 & sent15 -> int2: the crackle is not diplomatic.; sent6 -> int3: the crackle is ballistics but it is not a hoard if it is not diplomatic.; int2 & int3 -> int4: the fact that the crackle is ballistics but it does not hoard is not wrong.; int4 & sent9 -> int5: the fern does not equalize.; int5 & sent12 -> int6: the freestone imparts slant and distrains.; int6 -> int7: the freestone does distrain.; sent14 -> int8: if the freestone distrains the fact that it does dock is correct.; int7 & int8 -> int9: the freestone docks.; int9 & sent13 -> hypothesis; __DISPROVED__