The lion likes the mouse. The mouse does not like the tiger. The tiger is round. If someone visits the tiger and they do not need the lion then they like the mouse. If someone needs the tiger then the tiger is not blue. If the tiger needs the lion then the lion likes the mouse. If someone visits the lion then the lion does not like the mouse. If someone visits the lion then they visit the mouse. If the mouse visits the tiger and the mouse visits the lion then the tiger is not red. If someone needs the lion and they are not round then the lion is green. If the mouse is green and the mouse visits the tiger then the mouse does not visit the lion.
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The mouse does not like the tiger.
("mouse" "likes" "tiger" "-")
The tiger is round.
("tiger" "is" "round" "+")
If someone visits the tiger and they do not need the lion then they like the mouse.
((("someone" "visits" "tiger" "+") ("someone" "needs" "lion" "~")) -> ("someone" "likes" "mouse" "+"))
If someone needs the tiger then the tiger is not blue.
((("someone" "needs" "tiger" "+")) -> ("tiger" "is" "blue" "-"))
If the tiger needs the lion then the lion likes the mouse.
((("tiger" "needs" "lion" "+")) -> ("lion" "likes" "mouse" "+"))
If someone visits the lion then the lion does not like the mouse.
((("someone" "visits" "lion" "+")) -> ("lion" "likes" "mouse" "-"))
If someone visits the lion then they visit the mouse.
((("someone" "visits" "lion" "+")) -> ("someone" "visits" "mouse" "+"))
If the mouse visits the tiger and the mouse visits the lion then the tiger is not red.
((("mouse" "visits" "tiger" "+") ("mouse" "visits" "lion" "+")) -> ("tiger" "is" "red" "-"))
If someone needs the lion and they are not round then the lion is green.
((("someone" "needs" "lion" "+") ("someone" "is" "round" "~")) -> ("lion" "is" "green" "+"))
If the mouse is green and the mouse visits the tiger then the mouse does not visit the lion.
((("mouse" "is" "green" "+") ("mouse" "visits" "tiger" "+")) -> ("mouse" "visits" "lion" "-"))
The lion likes the mouse.
True
1
proof
[(triple1)]
("lion" "likes" "mouse" "+")
triple1
The tiger is not round.
False
1
inv-proof
[(triple3)]
("tiger" "is" "round" "-")
triple3
The mouse does not like the mouse.
Unknown
inv-rconc
[@1: The mouse likes the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "likes" "mouse" "-")
The lion is young.
Unknown
random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "+")
@0: The lion likes the mouse.[(triple1)] The mouse does not like the tiger.[(triple2)] The tiger is round.[(triple3)]
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple1
The mouse does not like the tiger.
("mouse" "likes" "tiger" "-")
triple2
The tiger is round.
("tiger" "is" "round" "+")
triple3