The bear likes the lion. The bear visits the rabbit. The bear visits the tiger. The lion eats the bear. The lion is cold. The lion likes the tiger. The rabbit is cold. The tiger eats the lion. The tiger likes the bear. The tiger likes the rabbit. If something eats the bear and the bear is not nice then the bear visits the lion. If the lion visits the tiger then the tiger is not nice.
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
If something eats the bear and the bear is not nice then the bear visits the lion.
((("something" "eats" "bear" "+") ("bear" "is" "nice" "~")) -> ("bear" "visits" "lion" "+"))
If the lion visits the tiger then the tiger is not nice.
((("lion" "visits" "tiger" "+")) -> ("tiger" "is" "nice" "-"))
The rabbit is cold.
True
1
proof
[(triple7)]
("rabbit" "is" "cold" "+")
triple7
The tiger does not eat the lion.
False
1
inv-proof
[(triple8)]
("tiger" "eats" "lion" "-")
triple8
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 rabbit is round.
Unknown
random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "+")
@0: The bear likes the lion.[(triple1)] The bear visits the rabbit.[(triple2)] The bear visits the tiger.[(triple3)] The lion eats the bear.[(triple4)] The lion is cold.[(triple5)] The lion likes the tiger.[(triple6)] The rabbit is cold.[(triple7)] The tiger eats the lion.[(triple8)] The tiger likes the bear.[(triple9)] The tiger likes the rabbit.[(triple10)]
The bear likes the lion.
("bear" "likes" "lion" "+")
triple1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple2
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple3
The lion eats the bear.
("lion" "eats" "bear" "+")
triple4
The lion is cold.
("lion" "is" "cold" "+")
triple5
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple6
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple7
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple8
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple9
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple10