The bald eagle sees the cow. The cow likes the rabbit. The cow sees the dog. The dog is red. The dog sees the rabbit. The dog visits the bald eagle. The rabbit does not like the dog. If something visits the rabbit and the rabbit does not like the dog then the rabbit visits the dog. If something sees the cow and the cow sees the bald eagle then the cow does not visit the dog.
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The dog is red.
("dog" "is" "red" "+")
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The rabbit does not like the dog.
("rabbit" "likes" "dog" "-")
If something visits the rabbit and the rabbit does not like the dog then the rabbit visits the dog.
((("something" "visits" "rabbit" "+") ("rabbit" "likes" "dog" "~")) -> ("rabbit" "visits" "dog" "+"))
If something sees the cow and the cow sees the bald eagle then the cow does not visit the dog.
((("something" "sees" "cow" "+") ("cow" "sees" "bald eagle" "+")) -> ("cow" "visits" "dog" "-"))
The dog is red.
True
1
proof
[(triple4)]
("dog" "is" "red" "+")
triple4
The dog does not visit the bald eagle.
False
1
inv-proof
[(triple6)]
("dog" "visits" "bald eagle" "-")
triple6
The rabbit does not visit the dog.
Unknown
inv-rconc
[@1: The rabbit visits the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "visits" "dog" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
@0: The bald eagle sees the cow.[(triple1)] The cow likes the rabbit.[(triple2)] The cow sees the dog.[(triple3)] The dog is red.[(triple4)] The dog sees the rabbit.[(triple5)] The dog visits the bald eagle.[(triple6)] The rabbit does not like the dog.[(triple7)]
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple1
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple2
The cow sees the dog.
("cow" "sees" "dog" "+")
triple3
The dog is red.
("dog" "is" "red" "+")
triple4
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple5
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple6
The rabbit does not like the dog.
("rabbit" "likes" "dog" "-")
triple7