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