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