The bald eagle is not young. The bald eagle likes the bear. The bald eagle needs the bear. The bear likes the bald eagle. The bear likes the tiger. The bear needs the tiger. The bear visits the bald eagle. The tiger is rough. The tiger needs the bald eagle. The tiger visits the bald eagle. If someone is big then they need the tiger. If someone visits the bald eagle then the bald eagle is rough. If the bald eagle needs the tiger then the bald eagle is rough. If someone visits the tiger and they do not like the bear then the bear likes the bald eagle. If the tiger likes the bald eagle and the tiger does not need the bald eagle then the tiger is young. If someone needs the bear then they do not visit the tiger. If someone likes the bear then the bear needs the bald eagle. If someone is rough then they need the bear.
The bald eagle is not 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 likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If someone is big then they need the tiger.
((("someone" "is" "big" "+")) -> ("someone" "needs" "tiger" "+"))
If someone visits the bald eagle then the bald eagle is rough.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
If the bald eagle needs the tiger then the bald eagle is rough.
((("bald eagle" "needs" "tiger" "+")) -> ("bald eagle" "is" "rough" "+"))
If someone visits the tiger and they do not like the bear then the bear likes the bald eagle.
((("someone" "visits" "tiger" "+") ("someone" "likes" "bear" "~")) -> ("bear" "likes" "bald eagle" "+"))
If the tiger likes the bald eagle and the tiger does not need the bald eagle then the tiger is young.
((("tiger" "likes" "bald eagle" "+") ("tiger" "needs" "bald eagle" "~")) -> ("tiger" "is" "young" "+"))
If someone needs the bear then they do not visit the tiger.
((("someone" "needs" "bear" "+")) -> ("someone" "visits" "tiger" "-"))
If someone likes the bear then the bear needs the bald eagle.
((("someone" "likes" "bear" "+")) -> ("bear" "needs" "bald eagle" "+"))
If someone is rough then they need the bear.
((("someone" "is" "rough" "+")) -> ("someone" "needs" "bear" "+"))
The bear visits the bald eagle.
True
1
proof
[(triple7)]
("bear" "visits" "bald eagle" "+")
triple7
The tiger does not visit the bald eagle.
False
1
inv-proof
[(triple10)]
("tiger" "visits" "bald eagle" "-")
triple10
The tiger needs the bear.
True
2
proof
[(((triple8) -> rule8))]
("tiger" "needs" "bear" "+")
((triple8) -> (rule8 % int1))
The tiger needs the bear.
("tiger" "needs" "bear" "+")
int1
The bald eagle is not rough.
False
2
inv-proof
[(((triple10) -> rule2) OR ((triple7) -> rule2))]
("bald eagle" "is" "rough" "-")
((triple10) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
((triple7) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The tiger does not visit the tiger.
True
3
proof
[(((((triple8) -> rule8)) -> rule6))]
("tiger" "visits" "tiger" "-")
((((triple8) -> (rule8 % int2))) -> (rule6 % int1))
The tiger does not visit the tiger.
("tiger" "visits" "tiger" "-")
int1
The tiger needs the bear.
("tiger" "needs" "bear" "+")
int2
The tiger visits the tiger.
False
3
inv-proof
[(((((triple8) -> rule8)) -> rule6))]
("tiger" "visits" "tiger" "+")
((((triple8) -> (rule8 % int2))) -> (rule6 % int1))
The tiger does not visit the tiger.
("tiger" "visits" "tiger" "-")
int1
The tiger needs the bear.
("tiger" "needs" "bear" "+")
int2
The tiger does not need the tiger.
Unknown
inv-rconc
[@1: The tiger needs the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "needs" "tiger" "-")
The tiger is young.
Unknown
rconc
[@1: The tiger is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "is" "young" "+")
The bald eagle does not need the tiger.
Unknown
inv-rconc
[@1: The bald eagle needs the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "needs" "tiger" "-")
The tiger likes the bear.
Unknown
random
[@0: The tiger likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "bear" "+")
The bear is not round.
Unknown
inv-random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bald eagle is not young.[(triple1)] The bald eagle likes the bear.[(triple2)] The bald eagle needs the bear.[(triple3 OR ((((triple10) -> rule2)) -> rule8) OR ((((triple7) -> rule2)) -> rule8))] The bear likes the bald eagle.[(triple4)] The bear likes the tiger.[(triple5)] The bear needs the tiger.[(triple6)] The bear visits the bald eagle.[(triple7)] The tiger is rough.[(triple8)] The tiger needs the bald eagle.[(triple9)] The tiger visits the bald eagle.[(triple10)] @1: The bald eagle does not visit the tiger.[(((triple3) -> rule6) OR ((((((triple10) -> rule2)) -> rule8)) -> rule6) OR ((((((triple7) -> rule2)) -> rule8)) -> rule6))] The bald eagle is rough.[(((triple10) -> rule2) OR ((triple7) -> rule2))] The bear needs the bald eagle.[(((triple2) -> rule7))] The tiger needs the bear.[(((triple8) -> rule8))] @2: The tiger does not visit the tiger.[(((((triple8) -> rule8)) -> rule6))]
The bald eagle is not young.
("bald eagle" "is" "young" "-")
triple1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple3
((((triple10) -> (rule2 % int2))) -> (rule8 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
((((triple7) -> (rule2 % int2))) -> (rule8 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple4
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple5
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple6
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple7
The tiger is rough.
("tiger" "is" "rough" "+")
triple8
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple9
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple10
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
((triple3) -> (rule6 % int1))
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
int1
((((((triple10) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
((((((triple7) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple10) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
((triple7) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
((triple2) -> (rule7 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The tiger needs the bear.
("tiger" "needs" "bear" "+")
((triple8) -> (rule8 % int1))
The tiger needs the bear.
("tiger" "needs" "bear" "+")
int1
The tiger does not visit the tiger.
("tiger" "visits" "tiger" "-")
((((triple8) -> (rule8 % int2))) -> (rule6 % int1))
The tiger does not visit the tiger.
("tiger" "visits" "tiger" "-")
int1
The tiger needs the bear.
("tiger" "needs" "bear" "+")
int2