The bald eagle chases the tiger. The bald eagle is young. The bald eagle likes the bear. The bald eagle needs the bear. The bear is rough. The lion chases the bear. The lion is blue. The lion is green. The tiger chases the bald eagle. The tiger chases the lion. The tiger likes the lion. The tiger needs the lion. If someone needs the bald eagle and the bald eagle needs the bear then they are young. If someone chases the bald eagle then the bald eagle likes the tiger. If someone needs the lion then the lion is blue. If the bald eagle likes the lion and the lion chases the bald eagle then the lion is round. If someone chases the lion then they need the bald eagle. If the tiger chases the lion then the lion likes the bear.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bear is rough.
("bear" "is" "rough" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is green.
("lion" "is" "green" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
If someone needs the bald eagle and the bald eagle needs the bear then they are young.
((("someone" "needs" "bald eagle" "+") ("bald eagle" "needs" "bear" "+")) -> ("someone" "is" "young" "+"))
If someone chases the bald eagle then the bald eagle likes the tiger.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "likes" "tiger" "+"))
If someone needs the lion then the lion is blue.
((("someone" "needs" "lion" "+")) -> ("lion" "is" "blue" "+"))
If the bald eagle likes the lion and the lion chases the bald eagle then the lion is round.
((("bald eagle" "likes" "lion" "+") ("lion" "chases" "bald eagle" "+")) -> ("lion" "is" "round" "+"))
If someone chases the lion then they need the bald eagle.
((("someone" "chases" "lion" "+")) -> ("someone" "needs" "bald eagle" "+"))
If the tiger chases the lion then the lion likes the bear.
((("tiger" "chases" "lion" "+")) -> ("lion" "likes" "bear" "+"))
The tiger needs the lion.
True
1
proof
[(triple12)]
("tiger" "needs" "lion" "+")
triple12
The bear is not rough.
False
1
inv-proof
[(triple5)]
("bear" "is" "rough" "-")
triple5
The tiger needs the bald eagle.
True
2
proof
[(((triple10) -> rule5))]
("tiger" "needs" "bald eagle" "+")
((triple10) -> (rule5 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The bald eagle does not like the tiger.
False
2
inv-proof
[(((triple9) -> rule2))]
("bald eagle" "likes" "tiger" "-")
((triple9) -> (rule2 % int1))
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int1
The tiger is young.
True
4
proof
[(((((triple10) -> rule5) triple4) -> rule1))]
("tiger" "is" "young" "+")
((((triple10) -> (rule5 % int2)) triple4) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int2
The tiger is not young.
False
4
inv-proof
[(((((triple10) -> rule5) triple4) -> rule1))]
("tiger" "is" "young" "-")
((((triple10) -> (rule5 % int2)) triple4) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int2
The bald eagle does not need the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The lion needs the bald eagle.
Unknown
rconc
[@1: The lion needs the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "needs" "bald eagle" "+")
The bear does not need the bald eagle.
Unknown
inv-rconc
[@1: The bear needs the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "needs" "bald eagle" "-")
The lion chases the tiger.
Unknown
random
[@0: The lion chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "tiger" "+")
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the bear.[(triple3)] The bald eagle needs the bear.[(triple4)] The bear is rough.[(triple5)] The lion chases the bear.[(triple6)] The lion is blue.[(triple7 OR ((triple12) -> rule3))] The lion is green.[(triple8)] The tiger chases the bald eagle.[(triple9)] The tiger chases the lion.[(triple10)] The tiger likes the lion.[(triple11)] The tiger needs the lion.[(triple12)] @1: The bald eagle likes the tiger.[(((triple9) -> rule2))] The lion likes the bear.[(((triple10) -> rule6))] The tiger needs the bald eagle.[(((triple10) -> rule5))] @2: The tiger is young.[(((((triple10) -> rule5) triple4) -> rule1))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple3
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The lion chases the bear.
("lion" "chases" "bear" "+")
triple6
The lion is blue.
("lion" "is" "blue" "+")
triple7
((triple12) -> (rule3 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is green.
("lion" "is" "green" "+")
triple8
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple9
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple10
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple11
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple12
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
((triple9) -> (rule2 % int1))
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
((triple10) -> (rule6 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
((triple10) -> (rule5 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
((((triple10) -> (rule5 % int2)) triple4) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int2