The bear chases the lion. The bear eats the mouse. The dog chases the bear. The dog does not eat the bear. The dog is blue. The lion eats the bear. The lion does not eat the mouse. The lion is blue. The lion does not like the dog. The lion likes the mouse. The mouse chases the bear. The mouse eats the dog. The mouse eats the lion. The mouse is red. The mouse likes the dog. The mouse likes the lion. If someone eats the mouse and the mouse chases the lion then they do not like the bear. If the dog likes the lion and the lion is green then the dog does not chase the bear. If someone eats the dog then they are red. If someone likes the bear and they do not chase the lion then the lion is red. If someone is red then they eat the dog. If someone likes the bear and they are red then they do not chase the mouse. If someone likes the mouse then the mouse is green. If someone likes the bear then they eat the mouse.
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog does not eat the bear.
("dog" "eats" "bear" "-")
The dog is blue.
("dog" "is" "blue" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion does not eat the mouse.
("lion" "eats" "mouse" "-")
The lion is blue.
("lion" "is" "blue" "+")
The lion does not like the dog.
("lion" "likes" "dog" "-")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
If someone eats the mouse and the mouse chases the lion then they do not like the bear.
((("someone" "eats" "mouse" "+") ("mouse" "chases" "lion" "+")) -> ("someone" "likes" "bear" "-"))
If the dog likes the lion and the lion is green then the dog does not chase the bear.
((("dog" "likes" "lion" "+") ("lion" "is" "green" "+")) -> ("dog" "chases" "bear" "-"))
If someone eats the dog then they are red.
((("someone" "eats" "dog" "+")) -> ("someone" "is" "red" "+"))
If someone likes the bear and they do not chase the lion then the lion is red.
((("someone" "likes" "bear" "+") ("someone" "chases" "lion" "~")) -> ("lion" "is" "red" "+"))
If someone is red then they eat the dog.
((("someone" "is" "red" "+")) -> ("someone" "eats" "dog" "+"))
If someone likes the bear and they are red then they do not chase the mouse.
((("someone" "likes" "bear" "+") ("someone" "is" "red" "+")) -> ("someone" "chases" "mouse" "-"))
If someone likes the mouse then the mouse is green.
((("someone" "likes" "mouse" "+")) -> ("mouse" "is" "green" "+"))
If someone likes the bear then they eat the mouse.
((("someone" "likes" "bear" "+")) -> ("someone" "eats" "mouse" "+"))
The dog does not eat the bear.
True
1
proof
[(triple4)]
("dog" "eats" "bear" "-")
triple4
The mouse is not red.
False
1
inv-proof
[(triple14 OR ((triple12) -> rule3))]
("mouse" "is" "red" "-")
triple14
((triple12) -> (rule3 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse is green.
True
2
proof
[(((triple10) -> rule7))]
("mouse" "is" "green" "+")
((triple10) -> (rule7 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is not green.
False
2
inv-proof
[(((triple10) -> rule7))]
("mouse" "is" "green" "-")
((triple10) -> (rule7 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse does not eat the mouse.
Unknown
inv-rconc
[@1: The mouse eats the mouse.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("mouse" "eats" "mouse" "-")
The bear is red.
Unknown
rconc
[@2: The bear is red.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("bear" "is" "red" "+")
The mouse does not chase the mouse.
Unknown
inv-random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "-")
The bear likes the dog.
Unknown
random
[@0: The bear likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "dog" "+")
@0: The bear chases the lion.[(triple1)] The bear eats the mouse.[(triple2)] The dog chases the bear.[(triple3)] The dog does not eat the bear.[(triple4)] The dog is blue.[(triple5)] The lion does not eat the mouse.[(triple7)] The lion does not like the dog.[(triple9)] The lion eats the bear.[(triple6)] The lion is blue.[(triple8)] The lion likes the mouse.[(triple10)] The mouse chases the bear.[(triple11)] The mouse eats the dog.[(triple12 OR ((triple14) -> rule5))] The mouse eats the lion.[(triple13)] The mouse is red.[(triple14 OR ((triple12) -> rule3))] The mouse likes the dog.[(triple15)] The mouse likes the lion.[(triple16)] @1: The mouse is green.[(((triple10) -> rule7))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple2
The dog chases the bear.
("dog" "chases" "bear" "+")
triple3
The dog does not eat the bear.
("dog" "eats" "bear" "-")
triple4
The dog is blue.
("dog" "is" "blue" "+")
triple5
The lion does not eat the mouse.
("lion" "eats" "mouse" "-")
triple7
The lion does not like the dog.
("lion" "likes" "dog" "-")
triple9
The lion eats the bear.
("lion" "eats" "bear" "+")
triple6
The lion is blue.
("lion" "is" "blue" "+")
triple8
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple10
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple11
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple12
((triple14) -> (rule5 % int1))
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int1
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple13
The mouse is red.
("mouse" "is" "red" "+")
triple14
((triple12) -> (rule3 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple15
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple16
The mouse is green.
("mouse" "is" "green" "+")
((triple10) -> (rule7 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1