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