The bald eagle chases the lion. The bald eagle is red. The bald eagle likes the tiger. The bear chases the bald eagle. The bear chases the lion. The bear is round. The bear likes the bald eagle. The bear likes the tiger. The bear needs the lion. The lion is big. The lion is round. The lion likes the tiger. The lion needs the bear. The tiger chases the bald eagle. The tiger is big. The tiger likes the lion. If the bear needs the tiger and the bear chases the tiger then the bear needs the lion. If someone needs the bald eagle and they chase the lion then the bald eagle is kind.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The bear needs the lion.
("bear" "needs" "lion" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is round.
("lion" "is" "round" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
If the bear needs the tiger and the bear chases the tiger then the bear needs the lion.
((("bear" "needs" "tiger" "+") ("bear" "chases" "tiger" "+")) -> ("bear" "needs" "lion" "+"))
If someone needs the bald eagle and they chase the lion then the bald eagle is kind.
((("someone" "needs" "bald eagle" "+") ("someone" "chases" "lion" "+")) -> ("bald eagle" "is" "kind" "+"))
The tiger chases the bald eagle.
True
1
proof
[(triple14)]
("tiger" "chases" "bald eagle" "+")
triple14
The tiger is not big.
False
1
inv-proof
[(triple15)]
("tiger" "is" "big" "-")
triple15
The bald eagle is not kind.
Unknown
inv-rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "kind" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bear chases the bald eagle.[(triple4)] The bear chases the lion.[(triple5)] The bear is round.[(triple6)] The bear likes the bald eagle.[(triple7)] The bear likes the tiger.[(triple8)] The bear needs the lion.[(triple9)] The lion is big.[(triple10)] The lion is round.[(triple11)] The lion likes the tiger.[(triple12)] The lion needs the bear.[(triple13)] The tiger chases the bald eagle.[(triple14)] The tiger is big.[(triple15)] The tiger likes the lion.[(triple16)]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple3
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple4
The bear chases the lion.
("bear" "chases" "lion" "+")
triple5
The bear is round.
("bear" "is" "round" "+")
triple6
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple7
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple8
The bear needs the lion.
("bear" "needs" "lion" "+")
triple9
The lion is big.
("lion" "is" "big" "+")
triple10
The lion is round.
("lion" "is" "round" "+")
triple11
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple12
The lion needs the bear.
("lion" "needs" "bear" "+")
triple13
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple14
The tiger is big.
("tiger" "is" "big" "+")
triple15
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple16