if the joiner does not crank Hemachatus then the gasoline is not a testcross and it is not Haitian.
sent1: if the joiner is not a watermeal the gasoline is not a testcross and is not a kind of a Haitian.
void -> assump2: Let's assume that the joiner is a kind of a watermeal.;
$hypothesis$ = if the joiner does not crank Hemachatus then the gasoline is not a testcross and it is not Haitian. ; $context$ = sent1: if the joiner is not a watermeal the gasoline is not a testcross and is not a kind of a Haitian. ; $proof$ = 
void -> assump2: Let's assume that the joiner is a kind of a watermeal.; __UNKNOWN__