The cat does not eat the lion. The cat is blue. The cat is cold. The cat is not kind. The cat is nice. The cat is red. The cat does not like the lion. The cat does not need the lion. The lion does not eat the cat. The lion is blue. The lion is cold. The lion is kind. The lion is red. The lion likes the cat. The lion needs the cat. If the cat eats the lion then the lion needs the cat. If someone eats the lion and the lion likes the cat then they need the cat.
The cat does not eat the lion.
("cat" "eats" "lion" "-")
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is not kind.
("cat" "is" "kind" "-")
The cat is nice.
("cat" "is" "nice" "+")
The cat is red.
("cat" "is" "red" "+")
The cat does not like the lion.
("cat" "likes" "lion" "-")
The cat does not need the lion.
("cat" "needs" "lion" "-")
The lion does not eat the cat.
("lion" "eats" "cat" "-")
The lion is blue.
("lion" "is" "blue" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is red.
("lion" "is" "red" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
If the cat eats the lion then the lion needs the cat.
((("cat" "eats" "lion" "+")) -> ("lion" "needs" "cat" "+"))
If someone eats the lion and the lion likes the cat then they need the cat.
((("someone" "eats" "lion" "+") ("lion" "likes" "cat" "+")) -> ("someone" "needs" "cat" "+"))
The cat is red.
True
1
proof
[(triple6)]
("cat" "is" "red" "+")
triple6
The cat likes the lion.
False
1
inv-proof
[(triple7)]
("cat" "likes" "lion" "+")
triple7
The cat does not need the cat.
Unknown
inv-rconc
[@1: The cat needs the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "needs" "cat" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The cat does not eat the lion.[(triple1)] The cat does not like the lion.[(triple7)] The cat does not need the lion.[(triple8)] The cat is blue.[(triple2)] The cat is cold.[(triple3)] The cat is nice.[(triple5)] The cat is not kind.[(triple4)] The cat is red.[(triple6)] The lion does not eat the cat.[(triple9)] The lion is blue.[(triple10)] The lion is cold.[(triple11)] The lion is kind.[(triple12)] The lion is red.[(triple13)] The lion likes the cat.[(triple14)] The lion needs the cat.[(triple15)]
The cat does not eat the lion.
("cat" "eats" "lion" "-")
triple1
The cat does not like the lion.
("cat" "likes" "lion" "-")
triple7
The cat does not need the lion.
("cat" "needs" "lion" "-")
triple8
The cat is blue.
("cat" "is" "blue" "+")
triple2
The cat is cold.
("cat" "is" "cold" "+")
triple3
The cat is nice.
("cat" "is" "nice" "+")
triple5
The cat is not kind.
("cat" "is" "kind" "-")
triple4
The cat is red.
("cat" "is" "red" "+")
triple6
The lion does not eat the cat.
("lion" "eats" "cat" "-")
triple9
The lion is blue.
("lion" "is" "blue" "+")
triple10
The lion is cold.
("lion" "is" "cold" "+")
triple11
The lion is kind.
("lion" "is" "kind" "+")
triple12
The lion is red.
("lion" "is" "red" "+")
triple13
The lion likes the cat.
("lion" "likes" "cat" "+")
triple14
The lion needs the cat.
("lion" "needs" "cat" "+")
triple15