The bald eagle chases the bear. The bear does not like the bald eagle. The dog chases the bald eagle. The mouse chases the dog. If something chases the bear then it chases the bald eagle. If something eats the bald eagle and the bald eagle does not eat the dog then it likes the mouse.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
If something chases the bear then it chases the bald eagle.
((("something" "chases" "bear" "+")) -> ("something" "chases" "bald eagle" "+"))
If something eats the bald eagle and the bald eagle does not eat the dog then it likes the mouse.
((("something" "eats" "bald eagle" "+") ("bald eagle" "eats" "dog" "~")) -> ("something" "likes" "mouse" "+"))
The bald eagle chases the bear.
True
1
proof
[(triple1)]
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle does not chase the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "bear" "-")
triple1
The bald eagle chases the bald eagle.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "chases" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle does not chase the bald eagle.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "chases" "bald eagle" "-")
((triple1) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The dog does not like the mouse.
Unknown
inv-rconc
[@1: The dog likes the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "likes" "mouse" "-")
The bear chases the bald eagle.
Unknown
rconc
[@1: The bear chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "chases" "bald eagle" "+")
The bear is not red.
Unknown
inv-random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
@0: The bald eagle chases the bear.[(triple1)] The bear does not like the bald eagle.[(triple2)] The dog chases the bald eagle.[(triple3)] The mouse chases the dog.[(triple4)] @1: The bald eagle chases the bald eagle.[(((triple1) -> rule1))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
triple2
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple3
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple4
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1