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