Rule uqfhvbolkrcnouiq

i($John is $in_the_playground) && $John != what => fact($John is $in_the_playground)

Loaded as

[id: uqfhvbolkrcnouiq] input($John is $in_the_playground) && $John ! = what => fact($John is $in_the_playground)