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