The bear chases the cow. The bear chases the lion. The bear chases the squirrel. The bear is kind. The bear is red. The bear is young. The bear visits the lion. The bear visits the squirrel. The cow eats the lion. The cow is kind. The cow is red. The cow visits the bear. The lion chases the squirrel. The lion is young. The squirrel visits the cow. The squirrel visits the lion. If the squirrel chases the bear and the bear is young then the bear is blue.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is young.
("bear" "is" "young" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is red.
("cow" "is" "red" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion is young.
("lion" "is" "young" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If the squirrel chases the bear and the bear is young then the bear is blue.
((("squirrel" "chases" "bear" "+") ("bear" "is" "young" "+")) -> ("bear" "is" "blue" "+"))
The bear chases the cow.
True
1
proof
[(triple1)]
("bear" "chases" "cow" "+")
triple1
The squirrel does not visit the cow.
False
1
inv-proof
[(triple15)]
("squirrel" "visits" "cow" "-")
triple15
The bear is not blue.
Unknown
inv-rconc
[@1: The bear is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "blue" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
@0: The bear chases the cow.[(triple1)] The bear chases the lion.[(triple2)] The bear chases the squirrel.[(triple3)] The bear is kind.[(triple4)] The bear is red.[(triple5)] The bear is young.[(triple6)] The bear visits the lion.[(triple7)] The bear visits the squirrel.[(triple8)] The cow eats the lion.[(triple9)] The cow is kind.[(triple10)] The cow is red.[(triple11)] The cow visits the bear.[(triple12)] The lion chases the squirrel.[(triple13)] The lion is young.[(triple14)] The squirrel visits the cow.[(triple15)] The squirrel visits the lion.[(triple16)]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear chases the lion.
("bear" "chases" "lion" "+")
triple2
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear is red.
("bear" "is" "red" "+")
triple5
The bear is young.
("bear" "is" "young" "+")
triple6
The bear visits the lion.
("bear" "visits" "lion" "+")
triple7
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple8
The cow eats the lion.
("cow" "eats" "lion" "+")
triple9
The cow is kind.
("cow" "is" "kind" "+")
triple10
The cow is red.
("cow" "is" "red" "+")
triple11
The cow visits the bear.
("cow" "visits" "bear" "+")
triple12
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple13
The lion is young.
("lion" "is" "young" "+")
triple14
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple15
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple16