the fact that the dace compacts petite hold.
sent1: the wreckfish is a gipsywort if there exists something such that it is a gipsywort and/or it is not a finery. sent2: the wreckfish is not a gipsywort if it is not a marri. sent3: the wreckfish does not compact petite. sent4: if the fact that the dace is not gonadotropic and/or is a raider is not true it compacts petite. sent5: that the dace is non-gonadotropic and/or is a kind of a raider is incorrect if the fact that the wreckfish is not a kind of a raider is true. sent6: something is a gipsywort and/or it is not a finery. sent7: there is something such that that it is a kind of a gipsywort that is gonadotropic does not hold. sent8: if the klutz is not non-gonadotropic and does compact petite then the fact that the dace is not a kind of a gipsywort is true.
void -> assump1: Let's assume that the wreckfish is a raider.; sent6 & sent1 -> int1: the wreckfish is a kind of a gipsywort.;
the edentate is not a raider.
$hypothesis$ = the fact that the dace compacts petite hold. ; $context$ = sent1: the wreckfish is a gipsywort if there exists something such that it is a gipsywort and/or it is not a finery. sent2: the wreckfish is not a gipsywort if it is not a marri. sent3: the wreckfish does not compact petite. sent4: if the fact that the dace is not gonadotropic and/or is a raider is not true it compacts petite. sent5: that the dace is non-gonadotropic and/or is a kind of a raider is incorrect if the fact that the wreckfish is not a kind of a raider is true. sent6: something is a gipsywort and/or it is not a finery. sent7: there is something such that that it is a kind of a gipsywort that is gonadotropic does not hold. sent8: if the klutz is not non-gonadotropic and does compact petite then the fact that the dace is not a kind of a gipsywort is true. ; $proof$ = 
void -> assump1: Let's assume that the wreckfish is a raider.; sent6 & sent1 -> int1: the wreckfish is a kind of a gipsywort.; __UNKNOWN__