the consumption is muscular.
sent1: the shipbuilder does bethink if either the hotbox is not veinal or it does not ravel or both. sent2: if something is a gusset then it is not veinal or it does not covet portability or both. sent3: if the shipbuilder bethinks then the consumption is muscular. sent4: something is not a gusset. sent5: the fact that something is not veinal and not a gusset does not hold if it does not ravel.
the consumption is not muscular.
sent5 -> int1: if the consumption does not ravel then the fact that it is non-veinal and it is not a gusset does not hold.;
$hypothesis$ = the consumption is muscular. ; $context$ = sent1: the shipbuilder does bethink if either the hotbox is not veinal or it does not ravel or both. sent2: if something is a gusset then it is not veinal or it does not covet portability or both. sent3: if the shipbuilder bethinks then the consumption is muscular. sent4: something is not a gusset. sent5: the fact that something is not veinal and not a gusset does not hold if it does not ravel. ; $proof$ = 
__UNKNOWN__