#!/bin/bash
eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --nope https://eyereasoner.github.io/eye/reasoning/backward-more/backward-more.n3 --query https://eyereasoner.github.io/eye/reasoning/backward-more/backward-more-query1.n3 --output backward-more-answer1.n3
eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. https://eyereasoner.github.io/eye/reasoning/backward-more/backward-more.n3 --query https://eyereasoner.github.io/eye/reasoning/backward-more/backward-more-query1.n3 --output backward-more-proof1.n3

eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --nope https://eyereasoner.github.io/eye/reasoning/backward-more/backward-more.n3 --query https://eyereasoner.github.io/eye/reasoning/backward-more/backward-more-query2.n3 --output backward-more-answer2.n3
eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. https://eyereasoner.github.io/eye/reasoning/backward-more/backward-more.n3 --query https://eyereasoner.github.io/eye/reasoning/backward-more/backward-more-query2.n3 --output backward-more-proof2.n3

eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --nope https://eyereasoner.github.io/eye/reasoning/backward-more/backward-more.n3 --query https://eyereasoner.github.io/eye/reasoning/backward-more/backward-more-query3.n3 --output backward-more-answer3.n3
eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. https://eyereasoner.github.io/eye/reasoning/backward-more/backward-more.n3 --query https://eyereasoner.github.io/eye/reasoning/backward-more/backward-more-query3.n3 --output backward-more-proof3.n3

eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --nope https://eyereasoner.github.io/eye/reasoning/backward-more/backward-more.n3 --query https://eyereasoner.github.io/eye/reasoning/backward-more/backward-more-query4.n3 --output backward-more-answer4.n3
eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. https://eyereasoner.github.io/eye/reasoning/backward-more/backward-more.n3 --query https://eyereasoner.github.io/eye/reasoning/backward-more/backward-more-query4.n3 --output backward-more-proof4.n3

eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --nope https://eyereasoner.github.io/eye/reasoning/backward-more/backward-more.n3 --query https://eyereasoner.github.io/eye/reasoning/backward-more/backward-more-query5.n3 --output backward-more-answer5.n3
eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. https://eyereasoner.github.io/eye/reasoning/backward-more/backward-more.n3 --query https://eyereasoner.github.io/eye/reasoning/backward-more/backward-more-query5.n3 --output backward-more-proof5.n3

eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --nope https://eyereasoner.github.io/eye/reasoning/backward-more/backward-more.n3 --query https://eyereasoner.github.io/eye/reasoning/backward-more/backward-more-query6.n3 --output backward-more-answer6.n3
eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. https://eyereasoner.github.io/eye/reasoning/backward-more/backward-more.n3 --query https://eyereasoner.github.io/eye/reasoning/backward-more/backward-more-query6.n3 --output backward-more-proof6.n3

