#!/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/ccd/train_data.n3 https://eyereasoner.github.io/eye/reasoning/ccd/background_rules.n3 https://eyereasoner.github.io/eye/reasoning/ccd/train_rules.n3 --query https://eyereasoner.github.io/eye/reasoning/ccd/train_query.n3 --output train_model.n3
eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. https://eyereasoner.github.io/eye/reasoning/ccd/train_data.n3 https://eyereasoner.github.io/eye/reasoning/ccd/background_rules.n3 https://eyereasoner.github.io/eye/reasoning/ccd/train_rules.n3 --query https://eyereasoner.github.io/eye/reasoning/ccd/train_query.n3 --output train_model_proof.n3

eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --nope https://eyereasoner.github.io/eye/reasoning/ccd/test_data.n3 https://eyereasoner.github.io/eye/reasoning/ccd/train_model.n3 https://eyereasoner.github.io/eye/reasoning/ccd/background_rules.n3 https://eyereasoner.github.io/eye/reasoning/ccd/ccd_rules.n3 --query https://eyereasoner.github.io/eye/reasoning/ccd/test_query.n3 --output test_answer.n3
eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. https://eyereasoner.github.io/eye/reasoning/ccd/test_data.n3 https://eyereasoner.github.io/eye/reasoning/ccd/train_model.n3 https://eyereasoner.github.io/eye/reasoning/ccd/background_rules.n3 https://eyereasoner.github.io/eye/reasoning/ccd/ccd_rules.n3 --query https://eyereasoner.github.io/eye/reasoning/ccd/test_query.n3 --output test_proof.n3
