The bald eagle eats the mouse. The bald eagle does not eat the tiger. The bald eagle sees the tiger. The bear eats the mouse. The bear sees the mouse. The bear does not visit the bald eagle. The mouse is cold. The tiger eats the mouse. The tiger is cold. The tiger is young. The tiger sees the bear. The tiger sees the mouse. If someone visits the tiger then the tiger eats the bald eagle. If someone is cold then they visit the tiger. If someone sees the bald eagle then they are young. If the tiger is cold then the tiger does not visit the bear. If someone sees the bear and the bear visits the bald eagle then the bald eagle visits the mouse. If someone sees the bald eagle and the bald eagle does not visit the bear then the bald eagle does not visit the mouse. If someone sees the mouse then the mouse sees the bear. If someone eats the bald eagle then the bald eagle eats the bear.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The bear does not visit the bald eagle.
("bear" "visits" "bald eagle" "-")
The mouse is cold.
("mouse" "is" "cold" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
If someone visits the tiger then the tiger eats the bald eagle.
((("someone" "visits" "tiger" "+")) -> ("tiger" "eats" "bald eagle" "+"))
If someone is cold then they visit the tiger.
((("someone" "is" "cold" "+")) -> ("someone" "visits" "tiger" "+"))
If someone sees the bald eagle then they are young.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "is" "young" "+"))
If the tiger is cold then the tiger does not visit the bear.
((("tiger" "is" "cold" "+")) -> ("tiger" "visits" "bear" "-"))
If someone sees the bear and the bear visits the bald eagle then the bald eagle visits the mouse.
((("someone" "sees" "bear" "+") ("bear" "visits" "bald eagle" "+")) -> ("bald eagle" "visits" "mouse" "+"))
If someone sees the bald eagle and the bald eagle does not visit the bear then the bald eagle does not visit the mouse.
((("someone" "sees" "bald eagle" "+") ("bald eagle" "visits" "bear" "~")) -> ("bald eagle" "visits" "mouse" "-"))
If someone sees the mouse then the mouse sees the bear.
((("someone" "sees" "mouse" "+")) -> ("mouse" "sees" "bear" "+"))
If someone eats the bald eagle then the bald eagle eats the bear.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "bear" "+"))
The bear sees the mouse.
True
1
proof
[(triple5)]
("bear" "sees" "mouse" "+")
triple5
The bald eagle does not eat the mouse.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "mouse" "-")
triple1
The tiger does not visit the bear.
True
2
proof
[(((triple9) -> rule4))]
("tiger" "visits" "bear" "-")
((triple9) -> (rule4 % int1))
The tiger does not visit the bear.
("tiger" "visits" "bear" "-")
int1
The tiger does not visit the tiger.
False
2
inv-proof
[(((triple9) -> rule2))]
("tiger" "visits" "tiger" "-")
((triple9) -> (rule2 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger eats the bald eagle.
True
3
proof
[(((((triple7) -> rule2)) -> rule1) OR ((((triple9) -> rule2)) -> rule1))]
("tiger" "eats" "bald eagle" "+")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int2
((((triple9) -> (rule2 % int2))) -> (rule1 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger does not eat the bald eagle.
False
3
inv-proof
[(((((triple7) -> rule2)) -> rule1) OR ((((triple9) -> rule2)) -> rule1))]
("tiger" "eats" "bald eagle" "-")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int2
((((triple9) -> (rule2 % int2))) -> (rule1 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The bald eagle eats the bear.
True
4
proof
[(((((((triple7) -> rule2)) -> rule1)) -> rule8) OR ((((((triple9) -> rule2)) -> rule1)) -> rule8))]
("bald eagle" "eats" "bear" "+")
((((((triple7) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int2
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int3
((((((triple9) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int2
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int3
The bald eagle does not eat the bear.
False
4
inv-proof
[(((((((triple7) -> rule2)) -> rule1)) -> rule8) OR ((((((triple9) -> rule2)) -> rule1)) -> rule8))]
("bald eagle" "eats" "bear" "-")
((((((triple7) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int2
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int3
((((((triple9) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int2
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int3
The bald eagle does not visit the mouse.
Unknown
inv-rconc
[@1: The bald eagle visits the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "visits" "mouse" "-")
The bald eagle is young.
Unknown
rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "young" "+")
The mouse is not young.
Unknown
inv-rconc
[@1: The mouse is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "is" "young" "-")
The bear is young.
Unknown
rconc
[@1: The bear is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "young" "+")
The mouse does not see the mouse.
Unknown
inv-random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The mouse eats the tiger.
Unknown
random
[@0: The mouse eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "tiger" "+")
@0: The bald eagle does not eat the tiger.[(triple2)] The bald eagle eats the mouse.[(triple1)] The bald eagle sees the tiger.[(triple3)] The bear does not visit the bald eagle.[(triple6)] The bear eats the mouse.[(triple4)] The bear sees the mouse.[(triple5)] The mouse is cold.[(triple7)] The tiger eats the mouse.[(triple8)] The tiger is cold.[(triple9)] The tiger is young.[(triple10)] The tiger sees the bear.[(triple11)] The tiger sees the mouse.[(triple12)] @1: The mouse sees the bear.[(((triple12) -> rule7) OR ((triple5) -> rule7))] The mouse visits the tiger.[(((triple7) -> rule2))] The tiger does not visit the bear.[(((triple9) -> rule4))] The tiger visits the tiger.[(((triple9) -> rule2))] @2: The tiger eats the bald eagle.[(((((triple7) -> rule2)) -> rule1) OR ((((triple9) -> rule2)) -> rule1))] @3: The bald eagle eats the bear.[(((((((triple7) -> rule2)) -> rule1)) -> rule8) OR ((((((triple9) -> rule2)) -> rule1)) -> rule8))]
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
triple2
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple3
The bear does not visit the bald eagle.
("bear" "visits" "bald eagle" "-")
triple6
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple4
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple5
The mouse is cold.
("mouse" "is" "cold" "+")
triple7
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple8
The tiger is cold.
("tiger" "is" "cold" "+")
triple9
The tiger is young.
("tiger" "is" "young" "+")
triple10
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple11
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
triple12
The mouse sees the bear.
("mouse" "sees" "bear" "+")
((triple12) -> (rule7 % int1))
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int1
((triple5) -> (rule7 % int1))
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int1
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
((triple7) -> (rule2 % int1))
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int1
The tiger does not visit the bear.
("tiger" "visits" "bear" "-")
((triple9) -> (rule4 % int1))
The tiger does not visit the bear.
("tiger" "visits" "bear" "-")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
((triple9) -> (rule2 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int2
((((triple9) -> (rule2 % int2))) -> (rule1 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
((((((triple7) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int2
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int3
((((((triple9) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int2
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int3