the fact that the fact that the cannikin does stampede quadriplegic and it strays is not wrong is not true if the Jeroboam is not a Saintpaulia.
sent1: something is not occlusive if it is not a Saintpaulia. sent2: if the epiphyllum is not a Alepisaurus it does not stampede quadriplegic. sent3: the cannikin does stampede quadriplegic and it is a stray if the Jeroboam is not a kind of a Saintpaulia. sent4: the fact that something does not stampede quadriplegic is correct.
void -> assump1: Let's assume that the Jeroboam is not a Saintpaulia.; assump1 -> int1: there is something such that it is not a Saintpaulia.;
there exists something such that it is not occlusive.
sent1 -> int2: if the cannikin is not a Saintpaulia then the fact that it is not occlusive is not wrong.;
$hypothesis$ = the fact that the fact that the cannikin does stampede quadriplegic and it strays is not wrong is not true if the Jeroboam is not a Saintpaulia. ; $context$ = sent1: something is not occlusive if it is not a Saintpaulia. sent2: if the epiphyllum is not a Alepisaurus it does not stampede quadriplegic. sent3: the cannikin does stampede quadriplegic and it is a stray if the Jeroboam is not a kind of a Saintpaulia. sent4: the fact that something does not stampede quadriplegic is correct. ; $proof$ = 
void -> assump1: Let's assume that the Jeroboam is not a Saintpaulia.; assump1 -> int1: there is something such that it is not a Saintpaulia.; __UNKNOWN__