The lion is blue. The lion is not green. The lion does not like the rabbit. The lion likes the squirrel. The lion does not see the rabbit. The lion sees the squirrel. The lion visits the mouse. The lion visits the rabbit. The mouse is big. The mouse does not visit the squirrel. The rabbit is not red. The rabbit does not see the lion. The rabbit visits the mouse. The squirrel is blue. The squirrel is nice. The squirrel sees the mouse. If something visits the mouse and the mouse visits the lion then it does not see the squirrel. If something visits the lion and it sees the rabbit then the rabbit visits the squirrel. If something is red then it sees the mouse. If the squirrel likes the lion then the lion likes the rabbit. If something sees the lion then the lion likes the rabbit. If the squirrel is green and the squirrel does not see the mouse then the mouse visits the squirrel.
The lion is blue.
("lion" "is" "blue" "+")
The lion is not green.
("lion" "is" "green" "-")
The lion does not like the rabbit.
("lion" "likes" "rabbit" "-")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The lion does not see the rabbit.
("lion" "sees" "rabbit" "-")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse does not visit the squirrel.
("mouse" "visits" "squirrel" "-")
The rabbit is not red.
("rabbit" "is" "red" "-")
The rabbit does not see the lion.
("rabbit" "sees" "lion" "-")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
If something visits the mouse and the mouse visits the lion then it does not see the squirrel.
((("something" "visits" "mouse" "+") ("mouse" "visits" "lion" "+")) -> ("something" "sees" "squirrel" "-"))
If something visits the lion and it sees the rabbit then the rabbit visits the squirrel.
((("something" "visits" "lion" "+") ("something" "sees" "rabbit" "+")) -> ("rabbit" "visits" "squirrel" "+"))
If something is red then it sees the mouse.
((("something" "is" "red" "+")) -> ("something" "sees" "mouse" "+"))
If the squirrel likes the lion then the lion likes the rabbit.
((("squirrel" "likes" "lion" "+")) -> ("lion" "likes" "rabbit" "+"))
If something sees the lion then the lion likes the rabbit.
((("something" "sees" "lion" "+")) -> ("lion" "likes" "rabbit" "+"))
If the squirrel is green and the squirrel does not see the mouse then the mouse visits the squirrel.
((("squirrel" "is" "green" "+") ("squirrel" "sees" "mouse" "~")) -> ("mouse" "visits" "squirrel" "+"))
The lion does not like the rabbit.
True
1
proof
[(triple3)]
("lion" "likes" "rabbit" "-")
triple3
The lion does not like the squirrel.
False
1
inv-proof
[(triple4)]
("lion" "likes" "squirrel" "-")
triple4
The lion does not see the mouse.
Unknown
inv-rconc
[@1: The lion sees the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "sees" "mouse" "-")
The mouse is nice.
Unknown
random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "+")
@0: The lion does not like the rabbit.[(triple3)] The lion does not see the rabbit.[(triple5)] The lion is blue.[(triple1)] The lion is not green.[(triple2)] The lion likes the squirrel.[(triple4)] The lion sees the squirrel.[(triple6)] The lion visits the mouse.[(triple7)] The lion visits the rabbit.[(triple8)] The mouse does not visit the squirrel.[(triple10)] The mouse is big.[(triple9)] The rabbit does not see the lion.[(triple12)] The rabbit is not red.[(triple11)] The rabbit visits the mouse.[(triple13)] The squirrel is blue.[(triple14)] The squirrel is nice.[(triple15)] The squirrel sees the mouse.[(triple16)]
The lion does not like the rabbit.
("lion" "likes" "rabbit" "-")
triple3
The lion does not see the rabbit.
("lion" "sees" "rabbit" "-")
triple5
The lion is blue.
("lion" "is" "blue" "+")
triple1
The lion is not green.
("lion" "is" "green" "-")
triple2
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple4
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple6
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple7
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple8
The mouse does not visit the squirrel.
("mouse" "visits" "squirrel" "-")
triple10
The mouse is big.
("mouse" "is" "big" "+")
triple9
The rabbit does not see the lion.
("rabbit" "sees" "lion" "-")
triple12
The rabbit is not red.
("rabbit" "is" "red" "-")
triple11
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple13
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple14
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple15
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple16