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