The cow is not kind. The cow is nice. The cow is round. The cow likes the mouse. The cow does not visit the dog. The dog chases the mouse. The dog is nice. The dog visits the mouse. The mouse chases the cow. The mouse does not chase the dog. The mouse is big. The mouse is kind. The mouse likes the cow. The mouse likes the dog. The mouse visits the cow. The mouse visits the dog. If something visits the mouse and the mouse does not visit the cow then it does not like the dog. If something likes the dog and it is blue then the dog likes the mouse.
The cow is not kind.
("cow" "is" "kind" "-")
The cow is nice.
("cow" "is" "nice" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The cow does not visit the dog.
("cow" "visits" "dog" "-")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse does not chase the dog.
("mouse" "chases" "dog" "-")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
If something visits the mouse and the mouse does not visit the cow then it does not like the dog.
((("something" "visits" "mouse" "+") ("mouse" "visits" "cow" "~")) -> ("something" "likes" "dog" "-"))
If something likes the dog and it is blue then the dog likes the mouse.
((("something" "likes" "dog" "+") ("something" "is" "blue" "+")) -> ("dog" "likes" "mouse" "+"))
The mouse likes the dog.
True
1
proof
[(triple14)]
("mouse" "likes" "dog" "+")
triple14
The dog does not chase the mouse.
False
1
inv-proof
[(triple6)]
("dog" "chases" "mouse" "-")
triple6
The dog does not like the mouse.
Unknown
inv-rconc
[@1: The dog likes the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "likes" "mouse" "-")
The dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
@0: The cow does not visit the dog.[(triple5)] The cow is nice.[(triple2)] The cow is not kind.[(triple1)] The cow is round.[(triple3)] The cow likes the mouse.[(triple4)] The dog chases the mouse.[(triple6)] The dog is nice.[(triple7)] The dog visits the mouse.[(triple8)] The mouse chases the cow.[(triple9)] The mouse does not chase the dog.[(triple10)] The mouse is big.[(triple11)] The mouse is kind.[(triple12)] The mouse likes the cow.[(triple13)] The mouse likes the dog.[(triple14)] The mouse visits the cow.[(triple15)] The mouse visits the dog.[(triple16)]
The cow does not visit the dog.
("cow" "visits" "dog" "-")
triple5
The cow is nice.
("cow" "is" "nice" "+")
triple2
The cow is not kind.
("cow" "is" "kind" "-")
triple1
The cow is round.
("cow" "is" "round" "+")
triple3
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple4
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple6
The dog is nice.
("dog" "is" "nice" "+")
triple7
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple8
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple9
The mouse does not chase the dog.
("mouse" "chases" "dog" "-")
triple10
The mouse is big.
("mouse" "is" "big" "+")
triple11
The mouse is kind.
("mouse" "is" "kind" "+")
triple12
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple13
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple14
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple15
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple16