the gangplank is faucal.
sent1: if something summarizes melanoderma it is not non-faucal. sent2: the fakir is a Gasterophilus.
sent1 -> int1: the gangplank is faucal if it summarizes melanoderma.;
$hypothesis$ = the gangplank is faucal. ; $context$ = sent1: if something summarizes melanoderma it is not non-faucal. sent2: the fakir is a Gasterophilus. ; $proof$ = 
sent1 -> int1: the gangplank is faucal if it summarizes melanoderma.; __UNKNOWN__