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