The bear eats the lion. The lion eats the tiger. The tiger eats the lion. If someone visits the lion then the lion likes the tiger. If someone is cold then they like the tiger. If the bear is round and the bear visits the tiger then the bear visits the lion.
The bear eats the lion.
("bear" "eats" "lion" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
If someone visits the lion then the lion likes the tiger.
((("someone" "visits" "lion" "+")) -> ("lion" "likes" "tiger" "+"))
If someone is cold then they like the tiger.
((("someone" "is" "cold" "+")) -> ("someone" "likes" "tiger" "+"))
If the bear is round and the bear visits the tiger then the bear visits the lion.
((("bear" "is" "round" "+") ("bear" "visits" "tiger" "+")) -> ("bear" "visits" "lion" "+"))
The tiger eats the lion.
True
1
proof
[(triple3)]
("tiger" "eats" "lion" "+")
triple3
The tiger does not eat the lion.
False
1
inv-proof
[(triple3)]
("tiger" "eats" "lion" "-")
triple3
The lion does not like the tiger.
Unknown
inv-rconc
[@2: The lion likes the tiger.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("lion" "likes" "tiger" "-")
The bear is green.
Unknown
random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "+")
@0: The bear eats the lion.[(triple1)] The lion eats the tiger.[(triple2)] The tiger eats the lion.[(triple3)]
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple2
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple3