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