The bear chases the squirrel. The bear is blue. The bear sees the cow. The bear sees the squirrel. The cow eats the bear. The cow is blue. The cow is young. The cow sees the rabbit. The rabbit chases the bear. The rabbit eats the cow. The rabbit is not nice. The rabbit sees the bear. The squirrel chases the cow. The squirrel eats the cow. The squirrel is rough. The squirrel does not see the rabbit. If something eats the squirrel and it is not blue then the squirrel does not see the bear. If something eats the rabbit and the rabbit is rough then the rabbit is red.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is young.
("cow" "is" "young" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit is not nice.
("rabbit" "is" "nice" "-")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel does not see the rabbit.
("squirrel" "sees" "rabbit" "-")
If something eats the squirrel and it is not blue then the squirrel does not see the bear.
((("something" "eats" "squirrel" "+") ("something" "is" "blue" "~")) -> ("squirrel" "sees" "bear" "-"))
If something eats the rabbit and the rabbit is rough then the rabbit is red.
((("something" "eats" "rabbit" "+") ("rabbit" "is" "rough" "+")) -> ("rabbit" "is" "red" "+"))
The squirrel chases the cow.
True
1
proof
[(triple13)]
("squirrel" "chases" "cow" "+")
triple13
The bear does not see the cow.
False
1
inv-proof
[(triple3)]
("bear" "sees" "cow" "-")
triple3
The rabbit is not red.
Unknown
inv-rconc
[@1: The rabbit is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "red" "-")
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 squirrel.[(triple1)] The bear is blue.[(triple2)] The bear sees the cow.[(triple3)] The bear sees the squirrel.[(triple4)] The cow eats the bear.[(triple5)] The cow is blue.[(triple6)] The cow is young.[(triple7)] The cow sees the rabbit.[(triple8)] The rabbit chases the bear.[(triple9)] The rabbit eats the cow.[(triple10)] The rabbit is not nice.[(triple11)] The rabbit sees the bear.[(triple12)] The squirrel chases the cow.[(triple13)] The squirrel does not see the rabbit.[(triple16)] The squirrel eats the cow.[(triple14)] The squirrel is rough.[(triple15)]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear sees the cow.
("bear" "sees" "cow" "+")
triple3
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple4
The cow eats the bear.
("cow" "eats" "bear" "+")
triple5
The cow is blue.
("cow" "is" "blue" "+")
triple6
The cow is young.
("cow" "is" "young" "+")
triple7
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple8
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple9
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple10
The rabbit is not nice.
("rabbit" "is" "nice" "-")
triple11
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple12
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple13
The squirrel does not see the rabbit.
("squirrel" "sees" "rabbit" "-")
triple16
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple14
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple15