The bald eagle likes the mouse. The mouse chases the bald eagle. The mouse likes the bald eagle. If something chases the bald eagle then the bald eagle chases the mouse. If something chases the mouse and the mouse eats the bald eagle then it is young. If something eats the bald eagle then it is green. If something chases the bald eagle and the bald eagle chases the mouse then the mouse eats the bald eagle. If something chases the mouse and the mouse eats the bald eagle then the mouse chases the bald eagle. If something chases the mouse then it is kind.
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
If something chases the bald eagle then the bald eagle chases the mouse.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "mouse" "+"))
If something chases the mouse and the mouse eats the bald eagle then it is young.
((("something" "chases" "mouse" "+") ("mouse" "eats" "bald eagle" "+")) -> ("something" "is" "young" "+"))
If something eats the bald eagle then it is green.
((("something" "eats" "bald eagle" "+")) -> ("something" "is" "green" "+"))
If something chases the bald eagle and the bald eagle chases the mouse then the mouse eats the bald eagle.
((("something" "chases" "bald eagle" "+") ("bald eagle" "chases" "mouse" "+")) -> ("mouse" "eats" "bald eagle" "+"))
If something chases the mouse and the mouse eats the bald eagle then the mouse chases the bald eagle.
((("something" "chases" "mouse" "+") ("mouse" "eats" "bald eagle" "+")) -> ("mouse" "chases" "bald eagle" "+"))
If something chases the mouse then it is kind.
((("something" "chases" "mouse" "+")) -> ("something" "is" "kind" "+"))
The mouse likes the bald eagle.
True
1
proof
[(triple3)]
("mouse" "likes" "bald eagle" "+")
triple3
The bald eagle does not like the mouse.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "mouse" "-")
triple1
The mouse is not kind.
Unknown
inv-rconc
[@1: The mouse is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "is" "kind" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
@0: The bald eagle likes the mouse.[(triple1)] The mouse chases the bald eagle.[(triple2)] The mouse likes the bald eagle.[(triple3)] @1: The bald eagle chases the mouse.[(((triple2) -> rule1))] @2: The bald eagle is kind.[(((((triple2) -> rule1)) -> rule6))] The mouse eats the bald eagle.[(((triple2 ((triple2) -> rule1)) -> rule4))] @3: The bald eagle is young.[(((((triple2) -> rule1) ((triple2 ((triple2) -> rule1)) -> rule4)) -> rule2))] The mouse is green.[(((((triple2 ((triple2) -> rule1)) -> rule4)) -> rule3))]
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple2
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple3
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
((triple2) -> (rule1 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int2
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
((triple2 ((triple2) -> (rule1 % int2))) -> (rule4 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
((((triple2) -> (rule1 % int3)) ((triple2 ((triple2) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int3
The mouse is green.
("mouse" "is" "green" "+")
((((triple2 ((triple2) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int3