the skull revenges velleity if the ptyalith does revenge pinfish.
sent1: the fact that the skull is a prophyll and is not follicular is incorrect if that the ptyalith revenges pinfish hold.
void -> assump1: Let's assume that the ptyalith revenges pinfish.; sent1 & assump1 -> int1: the fact that the skull is a prophyll but not follicular does not hold.;
$hypothesis$ = the skull revenges velleity if the ptyalith does revenge pinfish. ; $context$ = sent1: the fact that the skull is a prophyll and is not follicular is incorrect if that the ptyalith revenges pinfish hold. ; $proof$ = 
void -> assump1: Let's assume that the ptyalith revenges pinfish.; sent1 & assump1 -> int1: the fact that the skull is a prophyll but not follicular does not hold.; __UNKNOWN__