Rule qdrsqvilrhgznunz

[id: qdrsqvilrhgznunz] i(what is $the_earth) && fact($the_earth is $a_planet) => o(it's $a_planet)

Loaded as

[id: qdrsqvilrhgznunz] input(what is $the_earth) && fact($the_earth is $a_planet) => output(it's $a_planet)