Some test rules

[id: mdsjsojnaarowlrb]
fact(in my room there is a fly)
  => newID($fly)
  && fact($fly is a fly)
  && fact($fly is in my room)