The bear is round. The cow does not see the mouse. The lion does not see the bear. The mouse sees the lion. If the cow is young and the lion does not visit the cow then the lion visits the bear. If someone sees the bear and the bear is blue then the bear sees the mouse. If someone is blue and not young then they see the lion. If someone visits the mouse and they like the cow then the mouse sees the cow. If someone is blue then they do not like the mouse. If someone likes the lion and they see the mouse then they like the bear. If someone is cold then they do not see the cow. If someone is cold and they do not like the mouse then the mouse does not visit the cow.
The bear is round.
("bear" "is" "round" "+")
The cow does not see the mouse.
("cow" "sees" "mouse" "-")
The lion does not see the bear.
("lion" "sees" "bear" "-")
The mouse sees the lion.
("mouse" "sees" "lion" "+")
If the cow is young and the lion does not visit the cow then the lion visits the bear.
((("cow" "is" "young" "+") ("lion" "visits" "cow" "~")) -> ("lion" "visits" "bear" "+"))
If someone sees the bear and the bear is blue then the bear sees the mouse.
((("someone" "sees" "bear" "+") ("bear" "is" "blue" "+")) -> ("bear" "sees" "mouse" "+"))
If someone is blue and not young then they see the lion.
((("someone" "is" "blue" "+") ("someone" "is" "young" "~")) -> ("someone" "sees" "lion" "+"))
If someone visits the mouse and they like the cow then the mouse sees the cow.
((("someone" "visits" "mouse" "+") ("someone" "likes" "cow" "+")) -> ("mouse" "sees" "cow" "+"))
If someone is blue then they do not like the mouse.
((("someone" "is" "blue" "+")) -> ("someone" "likes" "mouse" "-"))
If someone likes the lion and they see the mouse then they like the bear.
((("someone" "likes" "lion" "+") ("someone" "sees" "mouse" "+")) -> ("someone" "likes" "bear" "+"))
If someone is cold then they do not see the cow.
((("someone" "is" "cold" "+")) -> ("someone" "sees" "cow" "-"))
If someone is cold and they do not like the mouse then the mouse does not visit the cow.
((("someone" "is" "cold" "+") ("someone" "likes" "mouse" "~")) -> ("mouse" "visits" "cow" "-"))
The lion does not see the bear.
True
1
proof
[(triple3)]
("lion" "sees" "bear" "-")
triple3
The bear is not round.
False
1
inv-proof
[(triple1)]
("bear" "is" "round" "-")
triple1
The lion does not visit the bear.
Unknown
inv-rconc
[@1: The lion visits the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "visits" "bear" "-")
The mouse is round.
Unknown
random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "+")
@0: The bear is round.[(triple1)] The cow does not see the mouse.[(triple2)] The lion does not see the bear.[(triple3)] The mouse sees the lion.[(triple4)]
The bear is round.
("bear" "is" "round" "+")
triple1
The cow does not see the mouse.
("cow" "sees" "mouse" "-")
triple2
The lion does not see the bear.
("lion" "sees" "bear" "-")
triple3
The mouse sees the lion.
("mouse" "sees" "lion" "+")
triple4