The lion likes the mouse. The mouse likes the lion. The mouse visits the lion. The squirrel is red. The squirrel is young. The squirrel does not like the mouse. The squirrel does not visit the lion. The tiger does not eat the squirrel. The tiger is not nice. The tiger is red. If the lion likes the tiger and the lion eats the tiger then the tiger visits the mouse.
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel does not like the mouse.
("squirrel" "likes" "mouse" "-")
The squirrel does not visit the lion.
("squirrel" "visits" "lion" "-")
The tiger does not eat the squirrel.
("tiger" "eats" "squirrel" "-")
The tiger is not nice.
("tiger" "is" "nice" "-")
The tiger is red.
("tiger" "is" "red" "+")
If the lion likes the tiger and the lion eats the tiger then the tiger visits the mouse.
((("lion" "likes" "tiger" "+") ("lion" "eats" "tiger" "+")) -> ("tiger" "visits" "mouse" "+"))
The tiger is red.
True
1
proof
[(triple10)]
("tiger" "is" "red" "+")
triple10
The squirrel likes the mouse.
False
1
inv-proof
[(triple6)]
("squirrel" "likes" "mouse" "+")
triple6
The tiger does not visit the mouse.
Unknown
inv-rconc
[@1: The tiger visits the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "visits" "mouse" "-")
The lion eats the tiger.
Unknown
random
[@0: The lion eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "tiger" "+")
@0: The lion likes the mouse.[(triple1)] The mouse likes the lion.[(triple2)] The mouse visits the lion.[(triple3)] The squirrel does not like the mouse.[(triple6)] The squirrel does not visit the lion.[(triple7)] The squirrel is red.[(triple4)] The squirrel is young.[(triple5)] The tiger does not eat the squirrel.[(triple8)] The tiger is not nice.[(triple9)] The tiger is red.[(triple10)]
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple1
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple2
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple3
The squirrel does not like the mouse.
("squirrel" "likes" "mouse" "-")
triple6
The squirrel does not visit the lion.
("squirrel" "visits" "lion" "-")
triple7
The squirrel is red.
("squirrel" "is" "red" "+")
triple4
The squirrel is young.
("squirrel" "is" "young" "+")
triple5
The tiger does not eat the squirrel.
("tiger" "eats" "squirrel" "-")
triple8
The tiger is not nice.
("tiger" "is" "nice" "-")
triple9
The tiger is red.
("tiger" "is" "red" "+")
triple10