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