The bear eats the lion. The bear eats the mouse. The bear likes the lion. The bear likes the mouse. The bear visits the mouse. The lion eats the bear. The lion eats the mouse. The lion does not like the bear. The lion likes the mouse. The lion visits the bear. The mouse eats the lion. The mouse is not red. If the bear visits the mouse then the mouse visits the lion. If someone likes the bear then they like the lion. If the bear likes the mouse and the mouse is green then the mouse does not like the lion.
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion does not like the bear.
("lion" "likes" "bear" "-")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse is not red.
("mouse" "is" "red" "-")
If the bear visits the mouse then the mouse visits the lion.
((("bear" "visits" "mouse" "+")) -> ("mouse" "visits" "lion" "+"))
If someone likes the bear then they like the lion.
((("someone" "likes" "bear" "+")) -> ("someone" "likes" "lion" "+"))
If the bear likes the mouse and the mouse is green then the mouse does not like the lion.
((("bear" "likes" "mouse" "+") ("mouse" "is" "green" "+")) -> ("mouse" "likes" "lion" "-"))
The bear eats the lion.
True
1
proof
[(triple1)]
("bear" "eats" "lion" "+")
triple1
The lion likes the bear.
False
1
inv-proof
[(triple8)]
("lion" "likes" "bear" "+")
triple8
The mouse visits the lion.
True
2
proof
[(((triple5) -> rule1))]
("mouse" "visits" "lion" "+")
((triple5) -> (rule1 % int1))
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int1
The mouse does not visit the lion.
False
2
inv-proof
[(((triple5) -> rule1))]
("mouse" "visits" "lion" "-")
((triple5) -> (rule1 % int1))
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int1
The mouse does not like the lion.
Unknown
inv-rconc
[@1: The mouse likes the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "likes" "lion" "-")
The lion likes the lion.
Unknown
rconc
[@1: The lion likes the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "likes" "lion" "+")
The lion is not green.
Unknown
inv-random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "-")
The bear is cold.
Unknown
random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "+")
@0: The bear eats the lion.[(triple1)] The bear eats the mouse.[(triple2)] The bear likes the lion.[(triple3)] The bear likes the mouse.[(triple4)] The bear visits the mouse.[(triple5)] The lion does not like the bear.[(triple8)] The lion eats the bear.[(triple6)] The lion eats the mouse.[(triple7)] The lion likes the mouse.[(triple9)] The lion visits the bear.[(triple10)] The mouse eats the lion.[(triple11)] The mouse is not red.[(triple12)] @1: The mouse visits the lion.[(((triple5) -> rule1))]
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple2
The bear likes the lion.
("bear" "likes" "lion" "+")
triple3
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple4
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple5
The lion does not like the bear.
("lion" "likes" "bear" "-")
triple8
The lion eats the bear.
("lion" "eats" "bear" "+")
triple6
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple7
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple9
The lion visits the bear.
("lion" "visits" "bear" "+")
triple10
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple11
The mouse is not red.
("mouse" "is" "red" "-")
triple12
The mouse visits the lion.
("mouse" "visits" "lion" "+")
((triple5) -> (rule1 % int1))
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int1