The bear chases the cow. The bear chases the mouse. The bear chases the rabbit. The bear does not eat the rabbit. The bear likes the mouse. The bear likes the rabbit. The cow chases the bear. The cow chases the mouse. The cow does not eat the bear. The cow is rough. The cow likes the bear. The mouse chases the bear. The mouse eats the cow. The rabbit chases the bear. The rabbit is blue. The rabbit likes the cow. If someone likes the mouse and they eat the rabbit then they do not eat the bear. If the cow eats the rabbit then the cow likes the mouse.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear does not eat the rabbit.
("bear" "eats" "rabbit" "-")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow does not eat the bear.
("cow" "eats" "bear" "-")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
If someone likes the mouse and they eat the rabbit then they do not eat the bear.
((("someone" "likes" "mouse" "+") ("someone" "eats" "rabbit" "+")) -> ("someone" "eats" "bear" "-"))
If the cow eats the rabbit then the cow likes the mouse.
((("cow" "eats" "rabbit" "+")) -> ("cow" "likes" "mouse" "+"))
The bear chases the cow.
True
1
proof
[(triple1)]
("bear" "chases" "cow" "+")
triple1
The rabbit does not like the cow.
False
1
inv-proof
[(triple16)]
("rabbit" "likes" "cow" "-")
triple16
The cow does not like the mouse.
Unknown
inv-rconc
[@1: The cow likes the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "likes" "mouse" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
@0: The bear chases the cow.[(triple1)] The bear chases the mouse.[(triple2)] The bear chases the rabbit.[(triple3)] The bear does not eat the rabbit.[(triple4)] The bear likes the mouse.[(triple5)] The bear likes the rabbit.[(triple6)] The cow chases the bear.[(triple7)] The cow chases the mouse.[(triple8)] The cow does not eat the bear.[(triple9)] The cow is rough.[(triple10)] The cow likes the bear.[(triple11)] The mouse chases the bear.[(triple12)] The mouse eats the cow.[(triple13)] The rabbit chases the bear.[(triple14)] The rabbit is blue.[(triple15)] The rabbit likes the cow.[(triple16)]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple2
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple3
The bear does not eat the rabbit.
("bear" "eats" "rabbit" "-")
triple4
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple5
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple6
The cow chases the bear.
("cow" "chases" "bear" "+")
triple7
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple8
The cow does not eat the bear.
("cow" "eats" "bear" "-")
triple9
The cow is rough.
("cow" "is" "rough" "+")
triple10
The cow likes the bear.
("cow" "likes" "bear" "+")
triple11
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple12
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple13
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple14
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple15
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple16