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