The bald eagle is nice. The bear is round. The bear likes the lion. The bear does not like the tiger. The bear does not need the lion. The bear visits the tiger. The lion is not blue. The lion likes the bear. The tiger is not kind. The tiger likes the lion. If someone needs the bald eagle and the bald eagle is kind then they like the lion. If someone is nice and they need the bald eagle then they visit the bear. If someone visits the bald eagle then the bald eagle needs the bear. If the bald eagle likes the bear and the bear needs the tiger then the bear is round. If someone needs the bear and they are nice then the bear likes the bald eagle. If someone visits the bald eagle then they are not red. If someone likes the tiger then they visit the bald eagle. If the lion likes the bear then the lion likes the tiger. If someone is round and they like the bald eagle then the bald eagle visits the bear.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear does not like the tiger.
("bear" "likes" "tiger" "-")
The bear does not need the lion.
("bear" "needs" "lion" "-")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The lion is not blue.
("lion" "is" "blue" "-")
The lion likes the bear.
("lion" "likes" "bear" "+")
The tiger is not kind.
("tiger" "is" "kind" "-")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
If someone needs the bald eagle and the bald eagle is kind then they like the lion.
((("someone" "needs" "bald eagle" "+") ("bald eagle" "is" "kind" "+")) -> ("someone" "likes" "lion" "+"))
If someone is nice and they need the bald eagle then they visit the bear.
((("someone" "is" "nice" "+") ("someone" "needs" "bald eagle" "+")) -> ("someone" "visits" "bear" "+"))
If someone visits the bald eagle then the bald eagle needs the bear.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "needs" "bear" "+"))
If the bald eagle likes the bear and the bear needs the tiger then the bear is round.
((("bald eagle" "likes" "bear" "+") ("bear" "needs" "tiger" "+")) -> ("bear" "is" "round" "+"))
If someone needs the bear and they are nice then the bear likes the bald eagle.
((("someone" "needs" "bear" "+") ("someone" "is" "nice" "+")) -> ("bear" "likes" "bald eagle" "+"))
If someone visits the bald eagle then they are not red.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "is" "red" "-"))
If someone likes the tiger then they visit the bald eagle.
((("someone" "likes" "tiger" "+")) -> ("someone" "visits" "bald eagle" "+"))
If the lion likes the bear then the lion likes the tiger.
((("lion" "likes" "bear" "+")) -> ("lion" "likes" "tiger" "+"))
If someone is round and they like the bald eagle then the bald eagle visits the bear.
((("someone" "is" "round" "+") ("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "visits" "bear" "+"))
The bear likes the lion.
True
1
proof
[(triple3)]
("bear" "likes" "lion" "+")
triple3
The bear does not visit the tiger.
False
1
inv-proof
[(triple6)]
("bear" "visits" "tiger" "-")
triple6
The lion likes the tiger.
True
2
proof
[(((triple8) -> rule8))]
("lion" "likes" "tiger" "+")
((triple8) -> (rule8 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The lion does not like the tiger.
False
2
inv-proof
[(((triple8) -> rule8))]
("lion" "likes" "tiger" "-")
((triple8) -> (rule8 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The lion visits the bald eagle.
True
3
proof
[(((((triple8) -> rule8)) -> rule7))]
("lion" "visits" "bald eagle" "+")
((((triple8) -> (rule8 % int2))) -> (rule7 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int2
The lion does not visit the bald eagle.
False
3
inv-proof
[(((((triple8) -> rule8)) -> rule7))]
("lion" "visits" "bald eagle" "-")
((((triple8) -> (rule8 % int2))) -> (rule7 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int2
The bald eagle needs the bear.
True
4
proof
[(((((((triple8) -> rule8)) -> rule7)) -> rule3))]
("bald eagle" "needs" "bear" "+")
((((((triple8) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int2
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int3
The lion is red.
False
4
inv-proof
[(((((((triple8) -> rule8)) -> rule7)) -> rule6))]
("lion" "is" "red" "+")
((((((triple8) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The lion is not red.
("lion" "is" "red" "-")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int2
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int3
The bear likes the bald eagle.
True
6
proof
[(((((((((triple8) -> rule8)) -> rule7)) -> rule3) triple1) -> rule5))]
("bear" "likes" "bald eagle" "+")
((((((((triple8) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple1) -> (rule5 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int4
The bear does not like the bald eagle.
False
6
inv-proof
[(((((((((triple8) -> rule8)) -> rule7)) -> rule3) triple1) -> rule5))]
("bear" "likes" "bald eagle" "-")
((((((((triple8) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple1) -> (rule5 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int4
The bald eagle visits the bear.
True
8
proof
[(((triple2 ((((((((triple8) -> rule8)) -> rule7)) -> rule3) triple1) -> rule5)) -> rule9))]
("bald eagle" "visits" "bear" "+")
((triple2 ((((((((triple8) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) triple1) -> (rule5 % int2))) -> (rule9 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int3
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int4
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int5
The bald eagle does not visit the bear.
False
8
inv-proof
[(((triple2 ((((((((triple8) -> rule8)) -> rule7)) -> rule3) triple1) -> rule5)) -> rule9))]
("bald eagle" "visits" "bear" "-")
((triple2 ((((((((triple8) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) triple1) -> (rule5 % int2))) -> (rule9 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int3
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int4
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int5
The bald eagle does not like the lion.
Unknown
inv-rconc
[@1: The bald eagle likes the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "lion" "-")
The bear visits the bear.
Unknown
rconc
[@1: The bear visits the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "visits" "bear" "+")
The tiger does not visit the bear.
Unknown
inv-rconc
[@1: The tiger visits the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "visits" "bear" "-")
The bald eagle visits the bald eagle.
Unknown
rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
The bear does not visit the bald eagle.
Unknown
inv-rconc
[@1: The bear visits the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "visits" "bald eagle" "-")
The lion visits the bear.
Unknown
rconc
[@1: The lion visits the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "visits" "bear" "+")
The lion does not visit the tiger.
Unknown
inv-random
[@0: The lion visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "tiger" "-")
The tiger is blue.
Unknown
random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "+")
The tiger does not like the bear.
Unknown
inv-random
[@0: The tiger likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "bear" "-")
The tiger needs the bear.
Unknown
random
[@0: The tiger needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "bear" "+")
The tiger does not like the tiger.
Unknown
inv-random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "-")
The bald eagle needs the tiger.
Unknown
random
[@0: The bald eagle needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "tiger" "+")
@0: The bald eagle is nice.[(triple1)] The bear does not like the tiger.[(triple4)] The bear does not need the lion.[(triple5)] The bear is round.[(triple2)] The bear likes the lion.[(triple3)] The bear visits the tiger.[(triple6)] The lion is not blue.[(triple7)] The lion likes the bear.[(triple8)] The tiger is not kind.[(triple9)] The tiger likes the lion.[(triple10)] @1: The lion likes the tiger.[(((triple8) -> rule8))] @2: The lion visits the bald eagle.[(((((triple8) -> rule8)) -> rule7))] @3: The bald eagle needs the bear.[(((((((triple8) -> rule8)) -> rule7)) -> rule3))] The lion is not red.[(((((((triple8) -> rule8)) -> rule7)) -> rule6))] @4: The bear likes the bald eagle.[(((((((((triple8) -> rule8)) -> rule7)) -> rule3) triple1) -> rule5))] @5: The bald eagle visits the bear.[(((triple2 ((((((((triple8) -> rule8)) -> rule7)) -> rule3) triple1) -> rule5)) -> rule9))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bear does not like the tiger.
("bear" "likes" "tiger" "-")
triple4
The bear does not need the lion.
("bear" "needs" "lion" "-")
triple5
The bear is round.
("bear" "is" "round" "+")
triple2
The bear likes the lion.
("bear" "likes" "lion" "+")
triple3
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple6
The lion is not blue.
("lion" "is" "blue" "-")
triple7
The lion likes the bear.
("lion" "likes" "bear" "+")
triple8
The tiger is not kind.
("tiger" "is" "kind" "-")
triple9
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple10
The lion likes the tiger.
("lion" "likes" "tiger" "+")
((triple8) -> (rule8 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
((((triple8) -> (rule8 % int2))) -> (rule7 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
((((((triple8) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int2
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int3
The lion is not red.
("lion" "is" "red" "-")
((((((triple8) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The lion is not red.
("lion" "is" "red" "-")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int2
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
((((((((triple8) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple1) -> (rule5 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int4
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
((triple2 ((((((((triple8) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) triple1) -> (rule5 % int2))) -> (rule9 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int3
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int4
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int5