The cow likes the mouse. The cow visits the mouse. The cow does not visit the rabbit. The dog is red. The dog does not like the mouse. The mouse does not like the rabbit. The mouse sees the cow. The mouse visits the dog. The rabbit likes the mouse. The rabbit does not visit the cow. If someone sees the cow and they are not green then they do not visit the cow. If someone is nice and they like the cow then they see the rabbit. If someone sees the dog and they like the mouse then they do not see the rabbit.
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The cow does not visit the rabbit.
("cow" "visits" "rabbit" "-")
The dog is red.
("dog" "is" "red" "+")
The dog does not like the mouse.
("dog" "likes" "mouse" "-")
The mouse does not like the rabbit.
("mouse" "likes" "rabbit" "-")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
The rabbit does not visit the cow.
("rabbit" "visits" "cow" "-")
If someone sees the cow and they are not green then they do not visit the cow.
((("someone" "sees" "cow" "+") ("someone" "is" "green" "~")) -> ("someone" "visits" "cow" "-"))
If someone is nice and they like the cow then they see the rabbit.
((("someone" "is" "nice" "+") ("someone" "likes" "cow" "+")) -> ("someone" "sees" "rabbit" "+"))
If someone sees the dog and they like the mouse then they do not see the rabbit.
((("someone" "sees" "dog" "+") ("someone" "likes" "mouse" "+")) -> ("someone" "sees" "rabbit" "-"))
The cow does not visit the rabbit.
True
1
proof
[(triple3)]
("cow" "visits" "rabbit" "-")
triple3
The mouse likes the rabbit.
False
1
inv-proof
[(triple6)]
("mouse" "likes" "rabbit" "+")
triple6
The cow does not see the rabbit.
Unknown
inv-rconc
[@1: The cow sees the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "sees" "rabbit" "-")
The mouse is blue.
Unknown
random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "+")
@0: The cow does not visit the rabbit.[(triple3)] The cow likes the mouse.[(triple1)] The cow visits the mouse.[(triple2)] The dog does not like the mouse.[(triple5)] The dog is red.[(triple4)] The mouse does not like the rabbit.[(triple6)] The mouse sees the cow.[(triple7)] The mouse visits the dog.[(triple8)] The rabbit does not visit the cow.[(triple10)] The rabbit likes the mouse.[(triple9)]
The cow does not visit the rabbit.
("cow" "visits" "rabbit" "-")
triple3
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple1
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple2
The dog does not like the mouse.
("dog" "likes" "mouse" "-")
triple5
The dog is red.
("dog" "is" "red" "+")
triple4
The mouse does not like the rabbit.
("mouse" "likes" "rabbit" "-")
triple6
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple7
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple8
The rabbit does not visit the cow.
("rabbit" "visits" "cow" "-")
triple10
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple9