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