The bear is kind. The lion likes the bear. The squirrel likes the lion. If someone eats the lion then the lion chases the bear. If someone is rough then they eat the bear.
The bear is kind.
("bear" "is" "kind" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
If someone eats the lion then the lion chases the bear.
((("someone" "eats" "lion" "+")) -> ("lion" "chases" "bear" "+"))
If someone is rough then they eat the bear.
((("someone" "is" "rough" "+")) -> ("someone" "eats" "bear" "+"))
The squirrel likes the lion.
True
1
proof
[(triple3)]
("squirrel" "likes" "lion" "+")
triple3
The bear is not kind.
False
1
inv-proof
[(triple1)]
("bear" "is" "kind" "-")
triple1
The lion does not chase the bear.
Unknown
inv-rconc
[@1: The lion chases the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "chases" "bear" "-")
The bear is rough.
Unknown
random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "+")
@0: The bear is kind.[(triple1)] The lion likes the bear.[(triple2)] The squirrel likes the lion.[(triple3)]
The bear is kind.
("bear" "is" "kind" "+")
triple1
The lion likes the bear.
("lion" "likes" "bear" "+")
triple2
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple3