The bald eagle chases the lion. The bald eagle chases the mouse. The bald eagle is red. The bald eagle likes the bear. The bald eagle likes the lion. The bald eagle likes the mouse. The bald eagle visits the mouse. The bear is big. The lion is blue. The lion likes the bald eagle. The lion likes the bear. The lion visits the bald eagle. The lion visits the bear. The mouse chases the lion. The mouse is blue. The mouse likes the bald eagle. If something likes the bald eagle then the bald eagle chases the lion. If something likes the bear and the bear is red then it visits the lion. If something is big and it chases the lion then it likes the mouse. If the bear is big and the bear is blue then the bear visits the lion. If something is red then it chases the mouse. If something visits the bald eagle then it chases the bear.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The bear is big.
("bear" "is" "big" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
If something likes the bald eagle then the bald eagle chases the lion.
((("something" "likes" "bald eagle" "+")) -> ("bald eagle" "chases" "lion" "+"))
If something likes the bear and the bear is red then it visits the lion.
((("something" "likes" "bear" "+") ("bear" "is" "red" "+")) -> ("something" "visits" "lion" "+"))
If something is big and it chases the lion then it likes the mouse.
((("something" "is" "big" "+") ("something" "chases" "lion" "+")) -> ("something" "likes" "mouse" "+"))
If the bear is big and the bear is blue then the bear visits the lion.
((("bear" "is" "big" "+") ("bear" "is" "blue" "+")) -> ("bear" "visits" "lion" "+"))
If something is red then it chases the mouse.
((("something" "is" "red" "+")) -> ("something" "chases" "mouse" "+"))
If something visits the bald eagle then it chases the bear.
((("something" "visits" "bald eagle" "+")) -> ("something" "chases" "bear" "+"))
The lion likes the bear.
True
1
proof
[(triple11)]
("lion" "likes" "bear" "+")
triple11
The bald eagle does not chase the mouse.
False
1
inv-proof
[(triple2 OR ((triple3) -> rule5))]
("bald eagle" "chases" "mouse" "-")
triple2
((triple3) -> (rule5 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The lion chases the bear.
True
2
proof
[(((triple12) -> rule6))]
("lion" "chases" "bear" "+")
((triple12) -> (rule6 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion does not chase the bear.
False
2
inv-proof
[(((triple12) -> rule6))]
("lion" "chases" "bear" "-")
((triple12) -> (rule6 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The bald eagle does not chase the bear.
Unknown
inv-rconc
[@1: The bald eagle chases the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "chases" "bear" "-")
The mouse chases the bear.
Unknown
rconc
[@1: The mouse chases the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "chases" "bear" "+")
The lion does not visit the mouse.
Unknown
inv-random
[@0: The lion visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "mouse" "-")
The mouse visits the bald eagle.
Unknown
random
[@0: The mouse visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "bald eagle" "+")
@0: The bald eagle chases the lion.[(triple1 OR ((triple10) -> rule1) OR ((triple16) -> rule1))] The bald eagle chases the mouse.[(triple2 OR ((triple3) -> rule5))] The bald eagle is red.[(triple3)] The bald eagle likes the bear.[(triple4)] The bald eagle likes the lion.[(triple5)] The bald eagle likes the mouse.[(triple6)] The bald eagle visits the mouse.[(triple7)] The bear is big.[(triple8)] The lion is blue.[(triple9)] The lion likes the bald eagle.[(triple10)] The lion likes the bear.[(triple11)] The lion visits the bald eagle.[(triple12)] The lion visits the bear.[(triple13)] The mouse chases the lion.[(triple14)] The mouse is blue.[(triple15)] The mouse likes the bald eagle.[(triple16)] @1: The lion chases the bear.[(((triple12) -> rule6))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
((triple10) -> (rule1 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
((triple16) -> (rule1 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple2
((triple3) -> (rule5 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple4
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple5
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple6
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple7
The bear is big.
("bear" "is" "big" "+")
triple8
The lion is blue.
("lion" "is" "blue" "+")
triple9
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple10
The lion likes the bear.
("lion" "likes" "bear" "+")
triple11
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple12
The lion visits the bear.
("lion" "visits" "bear" "+")
triple13
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple14
The mouse is blue.
("mouse" "is" "blue" "+")
triple15
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple16
The lion chases the bear.
("lion" "chases" "bear" "+")
((triple12) -> (rule6 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1