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