Rule giqadrgbauxwurnb

[id: giqadrgbauxwurnb] fact($x is a former $athlete) => fact($x used to be an $athlete) && fact($x is not an $athlete now)

Loaded as

[id: giqadrgbauxwurnb] fact($x is a former $athlete|$x is an former $athlete) => fact($x used to be an $athlete) && fact($x is not an $athlete now)