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