there exists something such that if it is pro-life then it is a A-bomb and it is not vegetal.
sent1: if something is pro-life it rakes razorblade and is not a Mallotus.
the panting does rake razorblade and is not a Mallotus if it is pro-life.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if it is pro-life then it is a A-bomb and it is not vegetal. ; $context$ = sent1: if something is pro-life it rakes razorblade and is not a Mallotus. ; $proof$ = 
__UNKNOWN__