# Generated with http://www.agfa.com/w3c/euler/#28.063 on Mon Dec 03 20:41:18 GMT+01:00 2001
# for query file:/euler/russell.lemma.n3
# given [file:/euler/russell.axiom.n3]

# No proof found for file:/euler/russell.lemma.n3 in 3 steps (218 steps/sec)