The bald eagle eats the bear. The bald eagle does not like the bear. The bald eagle needs the bear. The bald eagle needs the tiger. The bear likes the tiger. The bear needs the bald eagle. The lion does not eat the tiger. The lion likes the bald eagle. The tiger is green. The tiger likes the bear. The tiger likes the lion. If something needs the bear then the bear needs the tiger. If something likes the tiger and it is round then the tiger needs the lion. If something is nice then it eats the bear. If something eats the bald eagle then the bald eagle is not big. If the lion is round and the lion needs the bald eagle then the lion eats the bald eagle. If something likes the tiger and the tiger needs the lion then the lion eats the bald eagle. If something needs the tiger then it is round. If something eats the bald eagle then it does not like the bear.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle does not like the bear.
("bald eagle" "likes" "bear" "-")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The lion does not eat the tiger.
("lion" "eats" "tiger" "-")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
If something needs the bear then the bear needs the tiger.
((("something" "needs" "bear" "+")) -> ("bear" "needs" "tiger" "+"))
If something likes the tiger and it is round then the tiger needs the lion.
((("something" "likes" "tiger" "+") ("something" "is" "round" "+")) -> ("tiger" "needs" "lion" "+"))
If something is nice then it eats the bear.
((("something" "is" "nice" "+")) -> ("something" "eats" "bear" "+"))
If something eats the bald eagle then the bald eagle is not big.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "big" "-"))
If the lion is round and the lion needs the bald eagle then the lion eats the bald eagle.
((("lion" "is" "round" "+") ("lion" "needs" "bald eagle" "+")) -> ("lion" "eats" "bald eagle" "+"))
If something likes the tiger and the tiger needs the lion then the lion eats the bald eagle.
((("something" "likes" "tiger" "+") ("tiger" "needs" "lion" "+")) -> ("lion" "eats" "bald eagle" "+"))
If something needs the tiger then it is round.
((("something" "needs" "tiger" "+")) -> ("something" "is" "round" "+"))
If something eats the bald eagle then it does not like the bear.
((("something" "eats" "bald eagle" "+")) -> ("something" "likes" "bear" "-"))
The bald eagle needs the bear.
True
1
proof
[(triple3)]
("bald eagle" "needs" "bear" "+")
triple3
The tiger does not like the lion.
False
1
inv-proof
[(triple11)]
("tiger" "likes" "lion" "-")
triple11
The bear needs the tiger.
True
2
proof
[(((triple3) -> rule1))]
("bear" "needs" "tiger" "+")
((triple3) -> (rule1 % int1))
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int1
The bear does not need the tiger.
False
2
inv-proof
[(((triple3) -> rule1))]
("bear" "needs" "tiger" "-")
((triple3) -> (rule1 % int1))
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int1
The bear is round.
True
3
proof
[(((((triple3) -> rule1)) -> rule7))]
("bear" "is" "round" "+")
((((triple3) -> (rule1 % int2))) -> (rule7 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int2
The bear is not round.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule7))]
("bear" "is" "round" "-")
((((triple3) -> (rule1 % int2))) -> (rule7 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int2
The tiger needs the lion.
True
5
proof
[(((triple5 ((((triple3) -> rule1)) -> rule7)) -> rule2))]
("tiger" "needs" "lion" "+")
((triple5 ((((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int3
The tiger does not need the lion.
False
5
inv-proof
[(((triple5 ((((triple3) -> rule1)) -> rule7)) -> rule2))]
("tiger" "needs" "lion" "-")
((triple5 ((((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int3
The lion eats the bald eagle.
True
7
proof
[(((triple5 ((triple5 ((((triple3) -> rule1)) -> rule7)) -> rule2)) -> rule6))]
("lion" "eats" "bald eagle" "+")
((triple5 ((triple5 ((((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int4
The lion does not eat the bald eagle.
False
7
inv-proof
[(((triple5 ((triple5 ((((triple3) -> rule1)) -> rule7)) -> rule2)) -> rule6))]
("lion" "eats" "bald eagle" "-")
((triple5 ((triple5 ((((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int4
The lion does not like the bear.
True
8
proof
[(((((triple5 ((triple5 ((((triple3) -> rule1)) -> rule7)) -> rule2)) -> rule6)) -> rule8))]
("lion" "likes" "bear" "-")
((((triple5 ((triple5 ((((triple3) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The lion does not like the bear.
("lion" "likes" "bear" "-")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int3
The bear is round.
("bear" "is" "round" "+")
int4
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int5
The bald eagle is big.
False
8
inv-proof
[(((((triple5 ((triple5 ((((triple3) -> rule1)) -> rule7)) -> rule2)) -> rule6)) -> rule4))]
("bald eagle" "is" "big" "+")
((((triple5 ((triple5 ((((triple3) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle is not big.
("bald eagle" "is" "big" "-")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int3
The bear is round.
("bear" "is" "round" "+")
int4
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int5
The bear does not eat the bear.
Unknown
inv-rconc
[@1: The bear eats the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "eats" "bear" "-")
The tiger eats the bear.
Unknown
rconc
[@1: The tiger eats the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "eats" "bear" "+")
The lion is not round.
Unknown
inv-rconc
[@1: The lion is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "is" "round" "-")
The tiger is round.
Unknown
rconc
[@1: The tiger is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("tiger" "is" "round" "+")
The lion does not eat the bear.
Unknown
inv-rconc
[@1: The lion eats the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "eats" "bear" "-")
The bald eagle eats the tiger.
Unknown
random
[@0: The bald eagle eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "tiger" "+")
The bear does not like the bald eagle.
Unknown
inv-random
[@0: The bear likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bald eagle" "-")
The tiger likes the bald eagle.
Unknown
random
[@0: The tiger likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "bald eagle" "+")
The lion is not green.
Unknown
inv-random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
The bear does not eat the bald eagle.
Unknown
inv-random
[@0: The bear eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bald eagle" "-")
The tiger eats the lion.
Unknown
random
[@0: The tiger eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "lion" "+")
@0: The bald eagle does not like the bear.[(triple2)] The bald eagle eats the bear.[(triple1)] The bald eagle needs the bear.[(triple3)] The bald eagle needs the tiger.[(triple4)] The bear likes the tiger.[(triple5)] The bear needs the bald eagle.[(triple6)] The lion does not eat the tiger.[(triple7)] The lion likes the bald eagle.[(triple8)] The tiger is green.[(triple9)] The tiger likes the bear.[(triple10)] The tiger likes the lion.[(triple11)] @1: The bald eagle is round.[(((triple4) -> rule7))] The bear needs the tiger.[(((triple3) -> rule1))] @2: The bear is round.[(((((triple3) -> rule1)) -> rule7))] @3: The tiger needs the lion.[(((triple5 ((((triple3) -> rule1)) -> rule7)) -> rule2))] @4: The lion eats the bald eagle.[(((triple5 ((triple5 ((((triple3) -> rule1)) -> rule7)) -> rule2)) -> rule6))] @5: The bald eagle is not big.[(((((triple5 ((triple5 ((((triple3) -> rule1)) -> rule7)) -> rule2)) -> rule6)) -> rule4))] The lion does not like the bear.[(((((triple5 ((triple5 ((((triple3) -> rule1)) -> rule7)) -> rule2)) -> rule6)) -> rule8))]
The bald eagle does not like the bear.
("bald eagle" "likes" "bear" "-")
triple2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple3
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple4
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple5
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple6
The lion does not eat the tiger.
("lion" "eats" "tiger" "-")
triple7
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple8
The tiger is green.
("tiger" "is" "green" "+")
triple9
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple10
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple11
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple4) -> (rule7 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bear needs the tiger.
("bear" "needs" "tiger" "+")
((triple3) -> (rule1 % int1))
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int1
The bear is round.
("bear" "is" "round" "+")
((((triple3) -> (rule1 % int2))) -> (rule7 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int2
The tiger needs the lion.
("tiger" "needs" "lion" "+")
((triple5 ((((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int3
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
((triple5 ((triple5 ((((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int4
The bald eagle is not big.
("bald eagle" "is" "big" "-")
((((triple5 ((triple5 ((((triple3) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle is not big.
("bald eagle" "is" "big" "-")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int3
The bear is round.
("bear" "is" "round" "+")
int4
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int5
The lion does not like the bear.
("lion" "likes" "bear" "-")
((((triple5 ((triple5 ((((triple3) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The lion does not like the bear.
("lion" "likes" "bear" "-")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int3
The bear is round.
("bear" "is" "round" "+")
int4
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int5