The cat is big. The cat likes the squirrel. The lion is kind. The lion likes the squirrel. The lion needs the mouse. The lion visits the mouse. The mouse is cold. The mouse visits the squirrel. The squirrel is big. The squirrel needs the lion. The squirrel visits the lion. The squirrel visits the mouse. If something needs the cat and it is cold then the cat likes the mouse. If something needs the squirrel and it needs the lion then the squirrel likes the cat. If something needs the mouse and it is round then it likes the lion.
The cat is big.
("cat" "is" "big" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If something needs the cat and it is cold then the cat likes the mouse.
((("something" "needs" "cat" "+") ("something" "is" "cold" "+")) -> ("cat" "likes" "mouse" "+"))
If something needs the squirrel and it needs the lion then the squirrel likes the cat.
((("something" "needs" "squirrel" "+") ("something" "needs" "lion" "+")) -> ("squirrel" "likes" "cat" "+"))
If something needs the mouse and it is round then it likes the lion.
((("something" "needs" "mouse" "+") ("something" "is" "round" "+")) -> ("something" "likes" "lion" "+"))
The mouse visits the squirrel.
True
1
proof
[(triple8)]
("mouse" "visits" "squirrel" "+")
triple8
The mouse does not visit the squirrel.
False
1
inv-proof
[(triple8)]
("mouse" "visits" "squirrel" "-")
triple8
The lion does not like the lion.
Unknown
inv-rconc
[@1: The lion likes the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "likes" "lion" "-")
The squirrel needs the mouse.
Unknown
random
[@0: The squirrel needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "mouse" "+")
@0: The cat is big.[(triple1)] The cat likes the squirrel.[(triple2)] The lion is kind.[(triple3)] The lion likes the squirrel.[(triple4)] The lion needs the mouse.[(triple5)] The lion visits the mouse.[(triple6)] The mouse is cold.[(triple7)] The mouse visits the squirrel.[(triple8)] The squirrel is big.[(triple9)] The squirrel needs the lion.[(triple10)] The squirrel visits the lion.[(triple11)] The squirrel visits the mouse.[(triple12)]
The cat is big.
("cat" "is" "big" "+")
triple1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple2
The lion is kind.
("lion" "is" "kind" "+")
triple3
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple4
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple5
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple6
The mouse is cold.
("mouse" "is" "cold" "+")
triple7
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple8
The squirrel is big.
("squirrel" "is" "big" "+")
triple9
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple10
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple11
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple12