The cow is green. The cow does not see the dog. The cow does not visit the mouse. The dog does not see the cow. The dog visits the mouse. The mouse sees the squirrel. The squirrel visits the dog. If someone sees the mouse then the mouse visits the dog. If the squirrel visits the dog and the dog does not visit the squirrel then the squirrel does not see the mouse. If someone sees the squirrel and they are big then they visit the mouse. If someone sees the dog then the dog visits the mouse. If someone sees the dog and they do not see the mouse then the mouse does not chase the cow. If someone chases the squirrel and they chase the cow then the squirrel chases the cow.
The cow is green.
("cow" "is" "green" "+")
The cow does not see the dog.
("cow" "sees" "dog" "-")
The cow does not visit the mouse.
("cow" "visits" "mouse" "-")
The dog does not see the cow.
("dog" "sees" "cow" "-")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If someone sees the mouse then the mouse visits the dog.
((("someone" "sees" "mouse" "+")) -> ("mouse" "visits" "dog" "+"))
If the squirrel visits the dog and the dog does not visit the squirrel then the squirrel does not see the mouse.
((("squirrel" "visits" "dog" "+") ("dog" "visits" "squirrel" "~")) -> ("squirrel" "sees" "mouse" "-"))
If someone sees the squirrel and they are big then they visit the mouse.
((("someone" "sees" "squirrel" "+") ("someone" "is" "big" "+")) -> ("someone" "visits" "mouse" "+"))
If someone sees the dog then the dog visits the mouse.
((("someone" "sees" "dog" "+")) -> ("dog" "visits" "mouse" "+"))
If someone sees the dog and they do not see the mouse then the mouse does not chase the cow.
((("someone" "sees" "dog" "+") ("someone" "sees" "mouse" "~")) -> ("mouse" "chases" "cow" "-"))
If someone chases the squirrel and they chase the cow then the squirrel chases the cow.
((("someone" "chases" "squirrel" "+") ("someone" "chases" "cow" "+")) -> ("squirrel" "chases" "cow" "+"))
The cow does not visit the mouse.
True
1
proof
[(triple3)]
("cow" "visits" "mouse" "-")
triple3
The dog sees the cow.
False
1
inv-proof
[(triple4)]
("dog" "sees" "cow" "+")
triple4
The mouse does not visit the mouse.
Unknown
inv-rconc
[@1: The mouse visits the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "visits" "mouse" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
@0: The cow does not see the dog.[(triple2)] The cow does not visit the mouse.[(triple3)] The cow is green.[(triple1)] The dog does not see the cow.[(triple4)] The dog visits the mouse.[(triple5)] The mouse sees the squirrel.[(triple6)] The squirrel visits the dog.[(triple7)]
The cow does not see the dog.
("cow" "sees" "dog" "-")
triple2
The cow does not visit the mouse.
("cow" "visits" "mouse" "-")
triple3
The cow is green.
("cow" "is" "green" "+")
triple1
The dog does not see the cow.
("dog" "sees" "cow" "-")
triple4
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple5
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple6
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple7