The bear is green. The bear likes the rabbit. The bear likes the tiger. The lion is green. The lion is rough. The lion sees the bear. The rabbit likes the lion. The tiger likes the bear. The tiger likes the lion. The tiger likes the rabbit. The tiger sees the bear. The tiger visits the rabbit. If the rabbit likes the bear then the bear is red.
The bear is green.
("bear" "is" "green" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
If the rabbit likes the bear then the bear is red.
((("rabbit" "likes" "bear" "+")) -> ("bear" "is" "red" "+"))
The lion is rough.
True
1
proof
[(triple5)]
("lion" "is" "rough" "+")
triple5
The tiger does not see the bear.
False
1
inv-proof
[(triple11)]
("tiger" "sees" "bear" "-")
triple11
The bear is not red.
Unknown
inv-rconc
[@1: The bear is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "red" "-")
The bear is rough.
Unknown
random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "+")
@0: The bear is green.[(triple1)] The bear likes the rabbit.[(triple2)] The bear likes the tiger.[(triple3)] The lion is green.[(triple4)] The lion is rough.[(triple5)] The lion sees the bear.[(triple6)] The rabbit likes the lion.[(triple7)] The tiger likes the bear.[(triple8)] The tiger likes the lion.[(triple9)] The tiger likes the rabbit.[(triple10)] The tiger sees the bear.[(triple11)] The tiger visits the rabbit.[(triple12)]
The bear is green.
("bear" "is" "green" "+")
triple1
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple2
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple3
The lion is green.
("lion" "is" "green" "+")
triple4
The lion is rough.
("lion" "is" "rough" "+")
triple5
The lion sees the bear.
("lion" "sees" "bear" "+")
triple6
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple7
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple8
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple9
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple10
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple11
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
triple12