The cat does not eat the lion. The cat is nice. The cat is young. The dog eats the cat. The dog is nice. The dog needs the cat. The dog sees the lion. The lion is red. The lion needs the cat. The tiger eats the dog. The tiger needs the lion. The tiger sees the lion. If someone sees the dog then they need the lion.
The cat does not eat the lion.
("cat" "eats" "lion" "-")
The cat is nice.
("cat" "is" "nice" "+")
The cat is young.
("cat" "is" "young" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The dog sees the lion.
("dog" "sees" "lion" "+")
The lion is red.
("lion" "is" "red" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
The tiger sees the lion.
("tiger" "sees" "lion" "+")
If someone sees the dog then they need the lion.
((("someone" "sees" "dog" "+")) -> ("someone" "needs" "lion" "+"))
The dog needs the cat.
True
1
proof
[(triple6)]
("dog" "needs" "cat" "+")
triple6
The tiger does not see the lion.
False
1
inv-proof
[(triple12)]
("tiger" "sees" "lion" "-")
triple12
The dog does not need the lion.
Unknown
inv-rconc
[@1: The dog needs the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "needs" "lion" "-")
The dog is round.
Unknown
random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "+")
@0: The cat does not eat the lion.[(triple1)] The cat is nice.[(triple2)] The cat is young.[(triple3)] The dog eats the cat.[(triple4)] The dog is nice.[(triple5)] The dog needs the cat.[(triple6)] The dog sees the lion.[(triple7)] The lion is red.[(triple8)] The lion needs the cat.[(triple9)] The tiger eats the dog.[(triple10)] The tiger needs the lion.[(triple11)] The tiger sees the lion.[(triple12)]
The cat does not eat the lion.
("cat" "eats" "lion" "-")
triple1
The cat is nice.
("cat" "is" "nice" "+")
triple2
The cat is young.
("cat" "is" "young" "+")
triple3
The dog eats the cat.
("dog" "eats" "cat" "+")
triple4
The dog is nice.
("dog" "is" "nice" "+")
triple5
The dog needs the cat.
("dog" "needs" "cat" "+")
triple6
The dog sees the lion.
("dog" "sees" "lion" "+")
triple7
The lion is red.
("lion" "is" "red" "+")
triple8
The lion needs the cat.
("lion" "needs" "cat" "+")
triple9
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple10
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple11
The tiger sees the lion.
("tiger" "sees" "lion" "+")
triple12