#!/bin/bash
eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --no-distinct-output --nope https://eyereasoner.github.io/eye/reasoning/superdense-coding/sdcoding.n3 --query https://eyereasoner.github.io/eye/reasoning/superdense-coding/sdcoding-q.n3 --output sdcoding-a.n3
eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --no-distinct-output https://eyereasoner.github.io/eye/reasoning/superdense-coding/sdcoding.n3 --query https://eyereasoner.github.io/eye/reasoning/superdense-coding/sdcoding-q.n3 --output sdcoding-a-proof.n3

eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --no-distinct-input --nope https://eyereasoner.github.io/eye/reasoning/superdense-coding/sdcoding-a.n3 --query https://eyereasoner.github.io/eye/reasoning/superdense-coding/sdcoding-query.n3 --output sdcoding-answer.n3
eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --no-distinct-input https://eyereasoner.github.io/eye/reasoning/superdense-coding/sdcoding-a.n3 --query https://eyereasoner.github.io/eye/reasoning/superdense-coding/sdcoding-query.n3 --output sdcoding-proof.n3
