the fact that there exists something such that if it does not pulse it does not eulogize pictograph and it renders Spock does not hold.
sent1: something that does not stifle egg-and-dart does not render Spock and is a cheesecake. sent2: there exists something such that if the fact that it does pulse is not wrong it does not eulogize pictograph and renders Spock. sent3: the cryptomonad does not eulogize pictograph and renders Spock if it does pulse. sent4: if the cryptomonad is not a pulse then it does not eulogize pictograph and it renders Spock.
sent4 -> hypothesis;
if the lightship does not stifle egg-and-dart it does not render Spock and it is a cheesecake.
sent1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it does not pulse it does not eulogize pictograph and it renders Spock does not hold. ; $context$ = sent1: something that does not stifle egg-and-dart does not render Spock and is a cheesecake. sent2: there exists something such that if the fact that it does pulse is not wrong it does not eulogize pictograph and renders Spock. sent3: the cryptomonad does not eulogize pictograph and renders Spock if it does pulse. sent4: if the cryptomonad is not a pulse then it does not eulogize pictograph and it renders Spock. ; $proof$ = 
sent4 -> hypothesis; __DISPROVED__