The bald eagle visits the mouse. The bear is rough. The mouse eats the tiger. The tiger eats the bear. If something visits the bald eagle then it is kind. If something chases the bear then the bear is green. If something eats the bald eagle then the bald eagle visits the tiger. If something is kind and it eats the mouse then it is green. If something eats the bear then the bear visits the mouse. If something eats the bald eagle and the bald eagle visits the tiger then the bald eagle chases the tiger. If the bear is kind and the bear is cold then the bear chases the bald eagle. If the bear is rough and the bear visits the mouse then the mouse eats the bald eagle.
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The bear is rough.
("bear" "is" "rough" "+")
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
If something visits the bald eagle then it is kind.
((("something" "visits" "bald eagle" "+")) -> ("something" "is" "kind" "+"))
If something chases the bear then the bear is green.
((("something" "chases" "bear" "+")) -> ("bear" "is" "green" "+"))
If something eats the bald eagle then the bald eagle visits the tiger.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "visits" "tiger" "+"))
If something is kind and it eats the mouse then it is green.
((("something" "is" "kind" "+") ("something" "eats" "mouse" "+")) -> ("something" "is" "green" "+"))
If something eats the bear then the bear visits the mouse.
((("something" "eats" "bear" "+")) -> ("bear" "visits" "mouse" "+"))
If something eats the bald eagle and the bald eagle visits the tiger then the bald eagle chases the tiger.
((("something" "eats" "bald eagle" "+") ("bald eagle" "visits" "tiger" "+")) -> ("bald eagle" "chases" "tiger" "+"))
If the bear is kind and the bear is cold then the bear chases the bald eagle.
((("bear" "is" "kind" "+") ("bear" "is" "cold" "+")) -> ("bear" "chases" "bald eagle" "+"))
If the bear is rough and the bear visits the mouse then the mouse eats the bald eagle.
((("bear" "is" "rough" "+") ("bear" "visits" "mouse" "+")) -> ("mouse" "eats" "bald eagle" "+"))
The mouse eats the tiger.
True
1
proof
[(triple3)]
("mouse" "eats" "tiger" "+")
triple3
The bald eagle does not visit the mouse.
False
1
inv-proof
[(triple1)]
("bald eagle" "visits" "mouse" "-")
triple1
The bear visits the mouse.
True
2
proof
[(((triple4) -> rule5))]
("bear" "visits" "mouse" "+")
((triple4) -> (rule5 % int1))
The bear visits the mouse.
("bear" "visits" "mouse" "+")
int1
The bear does not visit the mouse.
False
2
inv-proof
[(((triple4) -> rule5))]
("bear" "visits" "mouse" "-")
((triple4) -> (rule5 % int1))
The bear visits the mouse.
("bear" "visits" "mouse" "+")
int1
The mouse eats the bald eagle.
True
4
proof
[(((triple2 ((triple4) -> rule5)) -> rule8))]
("mouse" "eats" "bald eagle" "+")
((triple2 ((triple4) -> (rule5 % int2))) -> (rule8 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The bear visits the mouse.
("bear" "visits" "mouse" "+")
int2
The mouse does not eat the bald eagle.
False
4
inv-proof
[(((triple2 ((triple4) -> rule5)) -> rule8))]
("mouse" "eats" "bald eagle" "-")
((triple2 ((triple4) -> (rule5 % int2))) -> (rule8 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The bear visits the mouse.
("bear" "visits" "mouse" "+")
int2
The bald eagle visits the tiger.
True
5
proof
[(((((triple2 ((triple4) -> rule5)) -> rule8)) -> rule3))]
("bald eagle" "visits" "tiger" "+")
((((triple2 ((triple4) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The bear visits the mouse.
("bear" "visits" "mouse" "+")
int3
The bald eagle does not visit the tiger.
False
5
inv-proof
[(((((triple2 ((triple4) -> rule5)) -> rule8)) -> rule3))]
("bald eagle" "visits" "tiger" "-")
((((triple2 ((triple4) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The bear visits the mouse.
("bear" "visits" "mouse" "+")
int3
The mouse is not kind.
Unknown
inv-rconc
[@1: The mouse is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "kind" "-")
The bald eagle is kind.
Unknown
rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "kind" "+")
The bear is not kind.
Unknown
inv-rconc
[@1: The bear is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "kind" "-")
The bear is green.
Unknown
rconc
[@1: The bear is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "green" "+")
The tiger is not big.
Unknown
inv-random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The bald eagle does not visit the bear.
Unknown
inv-random
[@0: The bald eagle visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bear" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bald eagle visits the mouse.[(triple1)] The bear is rough.[(triple2)] The mouse eats the tiger.[(triple3)] The tiger eats the bear.[(triple4)] @1: The bear visits the mouse.[(((triple4) -> rule5))] @2: The mouse eats the bald eagle.[(((triple2 ((triple4) -> rule5)) -> rule8))] @3: The bald eagle visits the tiger.[(((((triple2 ((triple4) -> rule5)) -> rule8)) -> rule3))] @4: The bald eagle chases the tiger.[(((((triple2 ((triple4) -> rule5)) -> rule8) ((((triple2 ((triple4) -> rule5)) -> rule8)) -> rule3)) -> rule6))]
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple3
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple4
The bear visits the mouse.
("bear" "visits" "mouse" "+")
((triple4) -> (rule5 % int1))
The bear visits the mouse.
("bear" "visits" "mouse" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
((triple2 ((triple4) -> (rule5 % int2))) -> (rule8 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The bear visits the mouse.
("bear" "visits" "mouse" "+")
int2
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
((((triple2 ((triple4) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The bear visits the mouse.
("bear" "visits" "mouse" "+")
int3
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
((((triple2 ((triple4) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple2 ((triple4) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int2
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int3
The bear visits the mouse.
("bear" "visits" "mouse" "+")
int4