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

:case1 :input1 "xyz"; :input3 (0 1); :input4 :v4; :input5 "b"; :output1 1.
:case2 :input1 "abc"; :input2 60; :input4 :v3; :input5 "a"; :output1 0.
:case3 :input1 "xyz"; :input2 40; :input5 "a"; :input9 8; :output1 1.
:case4 :input1 "def"; :input2 50; :input3 (0 1); :input4 :v3; :output1 0.
