The bear is big. The bear is blue. The bear likes the dog. The bear visits the dog. The dog chases the bear. The dog is not big. The dog visits the bear. The lion does not chase the dog. The lion likes the bear. The lion likes the dog. The lion visits the bear. The lion visits the dog. If the dog visits the lion and the lion is rough then the dog does not chase the bear. If something likes the dog and the dog chases the lion then it visits the bear. If something chases the lion and it visits the lion then the lion visits the dog.
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog is not big.
("dog" "is" "big" "-")
The dog visits the bear.
("dog" "visits" "bear" "+")
The lion does not chase the dog.
("lion" "chases" "dog" "-")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
If the dog visits the lion and the lion is rough then the dog does not chase the bear.
((("dog" "visits" "lion" "+") ("lion" "is" "rough" "+")) -> ("dog" "chases" "bear" "-"))
If something likes the dog and the dog chases the lion then it visits the bear.
((("something" "likes" "dog" "+") ("dog" "chases" "lion" "+")) -> ("something" "visits" "bear" "+"))
If something chases the lion and it visits the lion then the lion visits the dog.
((("something" "chases" "lion" "+") ("something" "visits" "lion" "+")) -> ("lion" "visits" "dog" "+"))
The dog visits the bear.
True
1
proof
[(triple7)]
("dog" "visits" "bear" "+")
triple7
The lion does not visit the dog.
False
1
inv-proof
[(triple12)]
("lion" "visits" "dog" "-")
triple12
The bear does not visit the bear.
Unknown
inv-rconc
[@1: The bear visits the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "visits" "bear" "-")
The bear likes the lion.
Unknown
random
[@0: The bear likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "lion" "+")
@0: The bear is big.[(triple1)] The bear is blue.[(triple2)] The bear likes the dog.[(triple3)] The bear visits the dog.[(triple4)] The dog chases the bear.[(triple5)] The dog is not big.[(triple6)] The dog visits the bear.[(triple7)] The lion does not chase the dog.[(triple8)] The lion likes the bear.[(triple9)] The lion likes the dog.[(triple10)] The lion visits the bear.[(triple11)] The lion visits the dog.[(triple12)]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear likes the dog.
("bear" "likes" "dog" "+")
triple3
The bear visits the dog.
("bear" "visits" "dog" "+")
triple4
The dog chases the bear.
("dog" "chases" "bear" "+")
triple5
The dog is not big.
("dog" "is" "big" "-")
triple6
The dog visits the bear.
("dog" "visits" "bear" "+")
triple7
The lion does not chase the dog.
("lion" "chases" "dog" "-")
triple8
The lion likes the bear.
("lion" "likes" "bear" "+")
triple9
The lion likes the dog.
("lion" "likes" "dog" "+")
triple10
The lion visits the bear.
("lion" "visits" "bear" "+")
triple11
The lion visits the dog.
("lion" "visits" "dog" "+")
triple12