the carangid is not unconventional and it does not concern gonad.
sent1: the woodcarver is a kind of a xanthoma if it is a kind of a captive. sent2: if the convert is not auxinic the carangid is not unconventional and does not concern gonad. sent3: the woodcarver is not a kind of a xanthoma. sent4: if the convert is Bismarckian thing that is not a kind of a Hydrobatidae it is not auxinic. sent5: if the strafer is a kind of a Hydrobatidae the convert is Bismarckian but not a Hydrobatidae.
void -> assump1: Let's assume that the woodcarver is a captive.; sent1 & assump1 -> int1: the woodcarver is a xanthoma.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the woodcarver is not a captive.;
$hypothesis$ = the carangid is not unconventional and it does not concern gonad. ; $context$ = sent1: the woodcarver is a kind of a xanthoma if it is a kind of a captive. sent2: if the convert is not auxinic the carangid is not unconventional and does not concern gonad. sent3: the woodcarver is not a kind of a xanthoma. sent4: if the convert is Bismarckian thing that is not a kind of a Hydrobatidae it is not auxinic. sent5: if the strafer is a kind of a Hydrobatidae the convert is Bismarckian but not a Hydrobatidae. ; $proof$ = 
void -> assump1: Let's assume that the woodcarver is a captive.; sent1 & assump1 -> int1: the woodcarver is a xanthoma.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the woodcarver is not a captive.; __UNKNOWN__