@prefix : <http://josd.github.io/eye/reasoning#>.

{0 :fibonacci ?Y} => {0 :fibonacci ?Y}.
{1 :fibonacci ?Y} => {1 :fibonacci ?Y}.
{6 :fibonacci ?Y} => {6 :fibonacci ?Y}.
{91 :fibonacci ?Y} => {91 :fibonacci ?Y}.
{283 :fibonacci ?Y} => {283 :fibonacci ?Y}.
{3674 :fibonacci ?Y} => {3674 :fibonacci ?Y}.
