CP
(Click "Prove" to run)
Premises:
(=> (human ?X) (not (spherical ?X))) (=> (not (spherical ?X)) (tubular ?X)) (=> (human ?X) (not (stationary ?X))) (=> (not (stationary ?X)) (spaceTraveller ?X))
Conclusion:
(=> (human ?X) (and (tubular ?X) (spaceTraveller ?X)))
Proof Trace