Facebook's AI Riddle 1 [Reverse Script]

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

input(where is $John?)
  => sayIfTrue($John is $in_the_playground)