The bald eagle visits the dog. The dog visits the bald eagle. The rabbit chases the bald eagle. The tiger chases the dog. If someone chases the bald eagle then they visit the tiger. If someone visits the rabbit and they are young then the rabbit chases the bald eagle. If someone likes the dog then they chase the dog. If the bald eagle likes the tiger then the tiger visits the bald eagle. If someone chases the rabbit then the rabbit chases the bald eagle. If the bald eagle is rough then the bald eagle visits the dog. If someone is red and they chase the dog then they chase the rabbit. If the dog visits the tiger then the tiger is red.
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
If someone chases the bald eagle then they visit the tiger.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "visits" "tiger" "+"))
If someone visits the rabbit and they are young then the rabbit chases the bald eagle.
((("someone" "visits" "rabbit" "+") ("someone" "is" "young" "+")) -> ("rabbit" "chases" "bald eagle" "+"))
If someone likes the dog then they chase the dog.
((("someone" "likes" "dog" "+")) -> ("someone" "chases" "dog" "+"))
If the bald eagle likes the tiger then the tiger visits the bald eagle.
((("bald eagle" "likes" "tiger" "+")) -> ("tiger" "visits" "bald eagle" "+"))
If someone chases the rabbit then the rabbit chases the bald eagle.
((("someone" "chases" "rabbit" "+")) -> ("rabbit" "chases" "bald eagle" "+"))
If the bald eagle is rough then the bald eagle visits the dog.
((("bald eagle" "is" "rough" "+")) -> ("bald eagle" "visits" "dog" "+"))
If someone is red and they chase the dog then they chase the rabbit.
((("someone" "is" "red" "+") ("someone" "chases" "dog" "+")) -> ("someone" "chases" "rabbit" "+"))
If the dog visits the tiger then the tiger is red.
((("dog" "visits" "tiger" "+")) -> ("tiger" "is" "red" "+"))
The tiger chases the dog.
True
1
proof
[(triple4)]
("tiger" "chases" "dog" "+")
triple4
The tiger does not chase the dog.
False
1
inv-proof
[(triple4)]
("tiger" "chases" "dog" "-")
triple4
The tiger does not visit the tiger.
Unknown
inv-rconc
[@1: The tiger visits the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "visits" "tiger" "-")
The tiger likes the rabbit.
Unknown
random
[@0: The tiger likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "rabbit" "+")
@0: The bald eagle visits the dog.[(triple1)] The dog visits the bald eagle.[(triple2)] The rabbit chases the bald eagle.[(triple3)] The tiger chases the dog.[(triple4)] @1: The rabbit visits the tiger.[(((triple3) -> rule1))]
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple2
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple3
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple4
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
((triple3) -> (rule1 % int1))
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
int1