The dog likes the rabbit. The mouse is cold. The rabbit likes the mouse. If someone sees the rabbit and they eat the mouse then they like the dog.
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
If someone sees the rabbit and they eat the mouse then they like the dog.
((("someone" "sees" "rabbit" "+") ("someone" "eats" "mouse" "+")) -> ("someone" "likes" "dog" "+"))
The rabbit likes the mouse.
True
1
proof
[(triple3)]
("rabbit" "likes" "mouse" "+")
triple3
The rabbit does not like the mouse.
False
1
inv-proof
[(triple3)]
("rabbit" "likes" "mouse" "-")
triple3
The rabbit does not like the dog.
Unknown
inv-rconc
[@1: The rabbit likes the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "likes" "dog" "-")
The dog is nice.
Unknown
random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "+")
@0: The dog likes the rabbit.[(triple1)] The mouse is cold.[(triple2)] The rabbit likes the mouse.[(triple3)]
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple1
The mouse is cold.
("mouse" "is" "cold" "+")
triple2
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple3