The bald eagle chases the rabbit. The dog chases the tiger. The rabbit chases the tiger. The tiger needs the bald eagle. If someone needs the rabbit then they like the dog. If someone chases the rabbit then they are round. If someone needs the tiger then they chase the rabbit. If someone chases the rabbit then the rabbit needs the bald eagle. If someone likes the dog and the dog needs the bald eagle then the dog likes the tiger. If someone likes the rabbit then they are round.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
If someone needs the rabbit then they like the dog.
((("someone" "needs" "rabbit" "+")) -> ("someone" "likes" "dog" "+"))
If someone chases the rabbit then they are round.
((("someone" "chases" "rabbit" "+")) -> ("someone" "is" "round" "+"))
If someone needs the tiger then they chase the rabbit.
((("someone" "needs" "tiger" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone chases the rabbit then the rabbit needs the bald eagle.
((("someone" "chases" "rabbit" "+")) -> ("rabbit" "needs" "bald eagle" "+"))
If someone likes the dog and the dog needs the bald eagle then the dog likes the tiger.
((("someone" "likes" "dog" "+") ("dog" "needs" "bald eagle" "+")) -> ("dog" "likes" "tiger" "+"))
If someone likes the rabbit then they are round.
((("someone" "likes" "rabbit" "+")) -> ("someone" "is" "round" "+"))
The dog chases the tiger.
True
1
proof
[(triple2)]
("dog" "chases" "tiger" "+")
triple2
The bald eagle does not chase the rabbit.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "rabbit" "-")
triple1
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 tiger is young.
Unknown
random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The dog chases the tiger.[(triple2)] The rabbit chases the tiger.[(triple3)] The tiger needs the bald eagle.[(triple4)] @1: The bald eagle is round.[(((triple1) -> rule2))] The rabbit needs the bald eagle.[(((triple1) -> rule4))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple2
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple3
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple4
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple1) -> (rule2 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
((triple1) -> (rule4 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1