The bear chases the tiger. The bear needs the dog. The bear needs the rabbit. The bear visits the dog. The dog needs the bear. The dog visits the bear. The rabbit is kind. The rabbit needs the tiger. The tiger needs the dog. The tiger visits the rabbit. If someone chases the rabbit then the rabbit is kind. If someone is cold and they chase the tiger then they visit the rabbit. If someone needs the rabbit and the rabbit is young then they need the bear. If the rabbit is rough and the rabbit needs the dog then the dog chases the bear. If someone visits the tiger then they visit the rabbit. If someone visits the tiger then the tiger is kind. If someone chases the tiger then the tiger is rough. If the dog is green then the dog visits the tiger.
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
If someone chases the rabbit then the rabbit is kind.
((("someone" "chases" "rabbit" "+")) -> ("rabbit" "is" "kind" "+"))
If someone is cold and they chase the tiger then they visit the rabbit.
((("someone" "is" "cold" "+") ("someone" "chases" "tiger" "+")) -> ("someone" "visits" "rabbit" "+"))
If someone needs the rabbit and the rabbit is young then they need the bear.
((("someone" "needs" "rabbit" "+") ("rabbit" "is" "young" "+")) -> ("someone" "needs" "bear" "+"))
If the rabbit is rough and the rabbit needs the dog then the dog chases the bear.
((("rabbit" "is" "rough" "+") ("rabbit" "needs" "dog" "+")) -> ("dog" "chases" "bear" "+"))
If someone visits the tiger then they visit the rabbit.
((("someone" "visits" "tiger" "+")) -> ("someone" "visits" "rabbit" "+"))
If someone visits the tiger then the tiger is kind.
((("someone" "visits" "tiger" "+")) -> ("tiger" "is" "kind" "+"))
If someone chases the tiger then the tiger is rough.
((("someone" "chases" "tiger" "+")) -> ("tiger" "is" "rough" "+"))
If the dog is green then the dog visits the tiger.
((("dog" "is" "green" "+")) -> ("dog" "visits" "tiger" "+"))
The rabbit needs the tiger.
True
1
proof
[(triple8)]
("rabbit" "needs" "tiger" "+")
triple8
The dog does not visit the bear.
False
1
inv-proof
[(triple6)]
("dog" "visits" "bear" "-")
triple6
The bear does not visit the rabbit.
Unknown
inv-rconc
[@1: The bear visits the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "visits" "rabbit" "-")
The dog chases the rabbit.
Unknown
random
[@0: The dog chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "rabbit" "+")
@0: The bear chases the tiger.[(triple1)] The bear needs the dog.[(triple2)] The bear needs the rabbit.[(triple3)] The bear visits the dog.[(triple4)] The dog needs the bear.[(triple5)] The dog visits the bear.[(triple6)] The rabbit is kind.[(triple7)] The rabbit needs the tiger.[(triple8)] The tiger needs the dog.[(triple9)] The tiger visits the rabbit.[(triple10)] @1: The tiger is rough.[(((triple1) -> rule7))]
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple1
The bear needs the dog.
("bear" "needs" "dog" "+")
triple2
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple3
The bear visits the dog.
("bear" "visits" "dog" "+")
triple4
The dog needs the bear.
("dog" "needs" "bear" "+")
triple5
The dog visits the bear.
("dog" "visits" "bear" "+")
triple6
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple7
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple8
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple9
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
triple10
The tiger is rough.
("tiger" "is" "rough" "+")
((triple1) -> (rule7 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1