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