The cat visits the tiger. The dog is green. The dog likes the lion. The dog likes the tiger. The dog needs the cat. The dog visits the lion. The lion is red. The lion needs the cat. The tiger likes the lion. The tiger needs the dog. The tiger needs the lion. The tiger visits the cat. If someone likes the cat and the cat needs the lion then they are kind. If someone needs the lion and they are kind then the lion is green. If someone likes the cat and the cat needs the lion then they visit the cat. If someone visits the cat and they like the dog then the cat needs the tiger. If the lion needs the dog and the dog is rough then the lion likes the tiger. If someone likes the dog and the dog likes the cat then they are green. If someone is green then they like the lion. If someone likes the cat then they need the tiger.
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The dog is green.
("dog" "is" "green" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The dog visits the lion.
("dog" "visits" "lion" "+")
The lion is red.
("lion" "is" "red" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If someone likes the cat and the cat needs the lion then they are kind.
((("someone" "likes" "cat" "+") ("cat" "needs" "lion" "+")) -> ("someone" "is" "kind" "+"))
If someone needs the lion and they are kind then the lion is green.
((("someone" "needs" "lion" "+") ("someone" "is" "kind" "+")) -> ("lion" "is" "green" "+"))
If someone likes the cat and the cat needs the lion then they visit the cat.
((("someone" "likes" "cat" "+") ("cat" "needs" "lion" "+")) -> ("someone" "visits" "cat" "+"))
If someone visits the cat and they like the dog then the cat needs the tiger.
((("someone" "visits" "cat" "+") ("someone" "likes" "dog" "+")) -> ("cat" "needs" "tiger" "+"))
If the lion needs the dog and the dog is rough then the lion likes the tiger.
((("lion" "needs" "dog" "+") ("dog" "is" "rough" "+")) -> ("lion" "likes" "tiger" "+"))
If someone likes the dog and the dog likes the cat then they are green.
((("someone" "likes" "dog" "+") ("dog" "likes" "cat" "+")) -> ("someone" "is" "green" "+"))
If someone is green then they like the lion.
((("someone" "is" "green" "+")) -> ("someone" "likes" "lion" "+"))
If someone likes the cat then they need the tiger.
((("someone" "likes" "cat" "+")) -> ("someone" "needs" "tiger" "+"))
The dog visits the lion.
True
1
proof
[(triple6)]
("dog" "visits" "lion" "+")
triple6
The cat does not visit the tiger.
False
1
inv-proof
[(triple1)]
("cat" "visits" "tiger" "-")
triple1
The lion does not visit the cat.
Unknown
inv-rconc
[@1: The lion visits the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "visits" "cat" "-")
The cat visits the lion.
Unknown
random
[@0: The cat visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "lion" "+")
@0: The cat visits the tiger.[(triple1)] The dog is green.[(triple2)] The dog likes the lion.[(triple3 OR ((triple2) -> rule7))] The dog likes the tiger.[(triple4)] The dog needs the cat.[(triple5)] The dog visits the lion.[(triple6)] The lion is red.[(triple7)] The lion needs the cat.[(triple8)] The tiger likes the lion.[(triple9)] The tiger needs the dog.[(triple10)] The tiger needs the lion.[(triple11)] The tiger visits the cat.[(triple12)]
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
The dog likes the lion.
("dog" "likes" "lion" "+")
triple3
((triple2) -> (rule7 % int1))
The dog likes the lion.
("dog" "likes" "lion" "+")
int1
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple4
The dog needs the cat.
("dog" "needs" "cat" "+")
triple5
The dog visits the lion.
("dog" "visits" "lion" "+")
triple6
The lion is red.
("lion" "is" "red" "+")
triple7
The lion needs the cat.
("lion" "needs" "cat" "+")
triple8
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple9
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple10
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple11
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple12