The bear chases the lion. The bear is kind. The bear is round. The bear visits the tiger. The cat is blue. The cat is round. The cat visits the lion. The lion chases the tiger. The lion is blue. The lion visits the bear. The lion visits the tiger. The tiger visits the cat. If someone visits the bear and they like the lion then the bear visits the lion. If the bear likes the cat and the bear chases the lion then the cat chases the bear. If someone visits the lion then the lion likes the bear. If someone is big and they visit the bear then they chase the bear. If someone chases the bear and they visit the tiger then the bear is young. If someone visits the cat and the cat likes the tiger then the tiger visits the bear.
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is round.
("bear" "is" "round" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is round.
("cat" "is" "round" "+")
The cat visits the lion.
("cat" "visits" "lion" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If someone visits the bear and they like the lion then the bear visits the lion.
((("someone" "visits" "bear" "+") ("someone" "likes" "lion" "+")) -> ("bear" "visits" "lion" "+"))
If the bear likes the cat and the bear chases the lion then the cat chases the bear.
((("bear" "likes" "cat" "+") ("bear" "chases" "lion" "+")) -> ("cat" "chases" "bear" "+"))
If someone visits the lion then the lion likes the bear.
((("someone" "visits" "lion" "+")) -> ("lion" "likes" "bear" "+"))
If someone is big and they visit the bear then they chase the bear.
((("someone" "is" "big" "+") ("someone" "visits" "bear" "+")) -> ("someone" "chases" "bear" "+"))
If someone chases the bear and they visit the tiger then the bear is young.
((("someone" "chases" "bear" "+") ("someone" "visits" "tiger" "+")) -> ("bear" "is" "young" "+"))
If someone visits the cat and the cat likes the tiger then the tiger visits the bear.
((("someone" "visits" "cat" "+") ("cat" "likes" "tiger" "+")) -> ("tiger" "visits" "bear" "+"))
The lion visits the bear.
True
1
proof
[(triple10)]
("lion" "visits" "bear" "+")
triple10
The cat does not visit the lion.
False
1
inv-proof
[(triple7)]
("cat" "visits" "lion" "-")
triple7
The bear does not visit the lion.
Unknown
inv-rconc
[@1: The bear visits the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "visits" "lion" "-")
The bear likes the cat.
Unknown
random
[@0: The bear likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "cat" "+")
@0: The bear chases the lion.[(triple1)] The bear is kind.[(triple2)] The bear is round.[(triple3)] The bear visits the tiger.[(triple4)] The cat is blue.[(triple5)] The cat is round.[(triple6)] The cat visits the lion.[(triple7)] The lion chases the tiger.[(triple8)] The lion is blue.[(triple9)] The lion visits the bear.[(triple10)] The lion visits the tiger.[(triple11)] The tiger visits the cat.[(triple12)] @1: The lion likes the bear.[(((triple7) -> rule3))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple4
The cat is blue.
("cat" "is" "blue" "+")
triple5
The cat is round.
("cat" "is" "round" "+")
triple6
The cat visits the lion.
("cat" "visits" "lion" "+")
triple7
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple8
The lion is blue.
("lion" "is" "blue" "+")
triple9
The lion visits the bear.
("lion" "visits" "bear" "+")
triple10
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple11
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple12
The lion likes the bear.
("lion" "likes" "bear" "+")
((triple7) -> (rule3 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1