The bear eats the mouse. The bear is cold. The bear likes the dog. The bear likes the squirrel. The bear does not see the squirrel. The dog eats the bear. The dog sees the bear. The mouse eats the dog. The mouse eats the squirrel. The mouse likes the dog. The mouse sees the dog. The squirrel eats the bear. The squirrel is big. The squirrel sees the bear. The squirrel sees the dog. If the squirrel does not see the dog then the dog sees the bear. Cold people are not red. If someone eats the mouse then they like the dog. If the squirrel is big and the squirrel sees the mouse then the squirrel eats the bear. If someone eats the bear and the bear likes the mouse then they are not blue. If someone sees the dog then the dog sees the mouse.
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear does not see the squirrel.
("bear" "sees" "squirrel" "-")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If the squirrel does not see the dog then the dog sees the bear.
((("squirrel" "sees" "dog" "~")) -> ("dog" "sees" "bear" "+"))
Cold people are not red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "-"))
If someone eats the mouse then they like the dog.
((("someone" "eats" "mouse" "+")) -> ("someone" "likes" "dog" "+"))
If the squirrel is big and the squirrel sees the mouse then the squirrel eats the bear.
((("squirrel" "is" "big" "+") ("squirrel" "sees" "mouse" "+")) -> ("squirrel" "eats" "bear" "+"))
If someone eats the bear and the bear likes the mouse then they are not blue.
((("someone" "eats" "bear" "+") ("bear" "likes" "mouse" "+")) -> ("someone" "is" "blue" "-"))
If someone sees the dog then the dog sees the mouse.
((("someone" "sees" "dog" "+")) -> ("dog" "sees" "mouse" "+"))
The squirrel sees the bear.
True
1
proof
[(triple14)]
("squirrel" "sees" "bear" "+")
triple14
The squirrel is not big.
False
1
inv-proof
[(triple13)]
("squirrel" "is" "big" "-")
triple13
The dog does not like the dog.
Unknown
inv-rconc
[@1: The dog likes the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "likes" "dog" "-")
The dog is big.
Unknown
random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "+")
@0: The bear does not see the squirrel.[(triple5)] The bear eats the mouse.[(triple1)] The bear is cold.[(triple2)] The bear likes the dog.[(triple3 OR ((triple1) -> rule3))] The bear likes the squirrel.[(triple4)] The dog eats the bear.[(triple6)] The dog sees the bear.[(triple7)] The mouse eats the dog.[(triple8)] The mouse eats the squirrel.[(triple9)] The mouse likes the dog.[(triple10)] The mouse sees the dog.[(triple11)] The squirrel eats the bear.[(triple12)] The squirrel is big.[(triple13)] The squirrel sees the bear.[(triple14)] The squirrel sees the dog.[(triple15)] @1: The bear is not red.[(((triple2) -> rule2))] The dog sees the mouse.[(((triple11) -> rule6) OR ((triple15) -> rule6))]
The bear does not see the squirrel.
("bear" "sees" "squirrel" "-")
triple5
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear likes the dog.
("bear" "likes" "dog" "+")
triple3
((triple1) -> (rule3 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple4
The dog eats the bear.
("dog" "eats" "bear" "+")
triple6
The dog sees the bear.
("dog" "sees" "bear" "+")
triple7
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple8
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple9
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple10
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple11
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple12
The squirrel is big.
("squirrel" "is" "big" "+")
triple13
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple14
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple15
The bear is not red.
("bear" "is" "red" "-")
((triple2) -> (rule2 % int1))
The bear is not red.
("bear" "is" "red" "-")
int1
The dog sees the mouse.
("dog" "sees" "mouse" "+")
((triple11) -> (rule6 % int1))
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int1
((triple15) -> (rule6 % int1))
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int1