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