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