# Generated with http://www.agfa.com/w3c/euler/#28.061 on Sat Dec 01 02:19:39 GMT+01:00 2001
# for query http://www.agfa.com/w3c/euler/russell.lemma.n3
# given [http://www.agfa.com/w3c/euler/russell.axiom.n3]

# No proof found for http://www.agfa.com/w3c/euler/russell.lemma.n3 in 3 steps (187 steps/sec)