The bald eagle chases the cow. The cow does not like the rabbit. The rabbit chases the squirrel. The squirrel likes the bald eagle. If something chases the cow and it does not visit the squirrel then it chases the squirrel. If something likes the cow and the cow does not like the rabbit then it likes the squirrel.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The cow does not like the rabbit.
("cow" "likes" "rabbit" "-")
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
If something chases the cow and it does not visit the squirrel then it chases the squirrel.
((("something" "chases" "cow" "+") ("something" "visits" "squirrel" "~")) -> ("something" "chases" "squirrel" "+"))
If something likes the cow and the cow does not like the rabbit then it likes the squirrel.
((("something" "likes" "cow" "+") ("cow" "likes" "rabbit" "~")) -> ("something" "likes" "squirrel" "+"))
The squirrel likes the bald eagle.
True
1
proof
[(triple4)]
("squirrel" "likes" "bald eagle" "+")
triple4
The rabbit does not chase the squirrel.
False
1
inv-proof
[(triple3)]
("rabbit" "chases" "squirrel" "-")
triple3
The squirrel does not like the squirrel.
Unknown
inv-rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "likes" "squirrel" "-")
The cow visits the rabbit.
Unknown
random
[@0: The cow visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "rabbit" "+")
@0: The bald eagle chases the cow.[(triple1)] The cow does not like the rabbit.[(triple2)] The rabbit chases the squirrel.[(triple3)] The squirrel likes the bald eagle.[(triple4)]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The cow does not like the rabbit.
("cow" "likes" "rabbit" "-")
triple2
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple3
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple4