The bald eagle eats the bear. The bald eagle eats the tiger. The bear eats the rabbit. The bear eats the tiger. The bear needs the rabbit. The rabbit eats the bald eagle. The rabbit needs the bear. The tiger eats the bear. The tiger is big. The tiger is nice. The tiger likes the bear. The tiger needs the bear. If someone eats the bear then the bear eats the rabbit. If someone needs the tiger and they need the bald eagle then the bald eagle likes the bear. If someone is big and they need the tiger then the tiger is nice. If someone needs the tiger and they are big then the tiger is red. If the bear is big and the bear likes the tiger then the tiger needs the rabbit. If someone is red then they eat the rabbit.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
If someone eats the bear then the bear eats the rabbit.
((("someone" "eats" "bear" "+")) -> ("bear" "eats" "rabbit" "+"))
If someone needs the tiger and they need the bald eagle then the bald eagle likes the bear.
((("someone" "needs" "tiger" "+") ("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "likes" "bear" "+"))
If someone is big and they need the tiger then the tiger is nice.
((("someone" "is" "big" "+") ("someone" "needs" "tiger" "+")) -> ("tiger" "is" "nice" "+"))
If someone needs the tiger and they are big then the tiger is red.
((("someone" "needs" "tiger" "+") ("someone" "is" "big" "+")) -> ("tiger" "is" "red" "+"))
If the bear is big and the bear likes the tiger then the tiger needs the rabbit.
((("bear" "is" "big" "+") ("bear" "likes" "tiger" "+")) -> ("tiger" "needs" "rabbit" "+"))
If someone is red then they eat the rabbit.
((("someone" "is" "red" "+")) -> ("someone" "eats" "rabbit" "+"))
The bear eats the tiger.
True
1
proof
[(triple4)]
("bear" "eats" "tiger" "+")
triple4
The bear does not need the rabbit.
False
1
inv-proof
[(triple5)]
("bear" "needs" "rabbit" "-")
triple5
The tiger does not need the rabbit.
Unknown
inv-rconc
[@1: The tiger needs the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "needs" "rabbit" "-")
The rabbit eats the bear.
Unknown
random
[@0: The rabbit eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "bear" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bear eats the rabbit.[(triple3 OR ((triple1) -> rule1) OR ((triple8) -> rule1))] The bear eats the tiger.[(triple4)] The bear needs the rabbit.[(triple5)] The rabbit eats the bald eagle.[(triple6)] The rabbit needs the bear.[(triple7)] The tiger eats the bear.[(triple8)] The tiger is big.[(triple9)] The tiger is nice.[(triple10)] The tiger likes the bear.[(triple11)] The tiger needs the bear.[(triple12)]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple3
((triple1) -> (rule1 % int1))
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int1
((triple8) -> (rule1 % int1))
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple4
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple5
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple6
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple7
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple8
The tiger is big.
("tiger" "is" "big" "+")
triple9
The tiger is nice.
("tiger" "is" "nice" "+")
triple10
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple11
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple12