The bear likes the dog. The dog sees the bear. The mouse is blue. If something is red then it visits the dog.
The bear likes the dog.
("bear" "likes" "dog" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
If something is red then it visits the dog.
((("something" "is" "red" "+")) -> ("something" "visits" "dog" "+"))
The bear likes the dog.
True
1
proof
[(triple1)]
("bear" "likes" "dog" "+")
triple1
The dog does not see the bear.
False
1
inv-proof
[(triple2)]
("dog" "sees" "bear" "-")
triple2
The mouse does not visit the dog.
Unknown
inv-rconc
[@1: The mouse visits the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "visits" "dog" "-")
The mouse visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
@0: The bear likes the dog.[(triple1)] The dog sees the bear.[(triple2)] The mouse is blue.[(triple3)]
The bear likes the dog.
("bear" "likes" "dog" "+")
triple1
The dog sees the bear.
("dog" "sees" "bear" "+")
triple2
The mouse is blue.
("mouse" "is" "blue" "+")
triple3