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