The cat eats the squirrel. The cat needs the lion. The cat needs the squirrel. The lion eats the squirrel. The lion is not young. The lion likes the squirrel. The lion needs the squirrel. The squirrel eats the lion. The squirrel is young. The squirrel likes the lion. If something is blue then it does not like the lion. If something needs the cat then the cat is not blue. If something is rough then it does not need the lion. If the squirrel is cold then the squirrel eats the cat. If the squirrel does not need the lion then the lion likes the cat. If the squirrel eats the lion and the lion likes the cat then the cat is cold.
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion is not young.
("lion" "is" "young" "-")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
If something is blue then it does not like the lion.
((("something" "is" "blue" "+")) -> ("something" "likes" "lion" "-"))
If something needs the cat then the cat is not blue.
((("something" "needs" "cat" "+")) -> ("cat" "is" "blue" "-"))
If something is rough then it does not need the lion.
((("something" "is" "rough" "+")) -> ("something" "needs" "lion" "-"))
If the squirrel is cold then the squirrel eats the cat.
((("squirrel" "is" "cold" "+")) -> ("squirrel" "eats" "cat" "+"))
If the squirrel does not need the lion then the lion likes the cat.
((("squirrel" "needs" "lion" "~")) -> ("lion" "likes" "cat" "+"))
If the squirrel eats the lion and the lion likes the cat then the cat is cold.
((("squirrel" "eats" "lion" "+") ("lion" "likes" "cat" "+")) -> ("cat" "is" "cold" "+"))
The lion eats the squirrel.
True
1
proof
[(triple4)]
("lion" "eats" "squirrel" "+")
triple4
The cat does not need the lion.
False
1
inv-proof
[(triple2)]
("cat" "needs" "lion" "-")
triple2
The cat is not cold.
Unknown
inv-rconc
[@2: The cat is cold.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("cat" "is" "cold" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
@0: The cat eats the squirrel.[(triple1)] The cat needs the lion.[(triple2)] The cat needs the squirrel.[(triple3)] The lion eats the squirrel.[(triple4)] The lion is not young.[(triple5)] The lion likes the squirrel.[(triple6)] The lion needs the squirrel.[(triple7)] The squirrel eats the lion.[(triple8)] The squirrel is young.[(triple9)] The squirrel likes the lion.[(triple10)]
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple1
The cat needs the lion.
("cat" "needs" "lion" "+")
triple2
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple3
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple4
The lion is not young.
("lion" "is" "young" "-")
triple5
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple6
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple7
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple8
The squirrel is young.
("squirrel" "is" "young" "+")
triple9
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple10