The bald eagle chases the bear. The bald eagle chases the lion. The bald eagle eats the bear. The bald eagle likes the rabbit. The bear chases the bald eagle. The bear eats the bald eagle. The bear eats the rabbit. The lion chases the rabbit. The lion eats the bald eagle. The rabbit chases the bald eagle. If something eats the bear and it eats the lion then it is nice. If something eats the bear and it is nice then the bear likes the bald eagle. If something is nice and it likes the bear then it eats the rabbit. If something likes the bear and the bear is young then the bear eats the rabbit. If something is round then it chases the rabbit. If something likes the bear and it likes the bald eagle then it is round. If something is green and round then it chases the rabbit. If something chases the bear then it eats the lion. If something eats the bald eagle and the bald eagle eats the bear then it likes the bear.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
If something eats the bear and it eats the lion then it is nice.
((("something" "eats" "bear" "+") ("something" "eats" "lion" "+")) -> ("something" "is" "nice" "+"))
If something eats the bear and it is nice then the bear likes the bald eagle.
((("something" "eats" "bear" "+") ("something" "is" "nice" "+")) -> ("bear" "likes" "bald eagle" "+"))
If something is nice and it likes the bear then it eats the rabbit.
((("something" "is" "nice" "+") ("something" "likes" "bear" "+")) -> ("something" "eats" "rabbit" "+"))
If something likes the bear and the bear is young then the bear eats the rabbit.
((("something" "likes" "bear" "+") ("bear" "is" "young" "+")) -> ("bear" "eats" "rabbit" "+"))
If something is round then it chases the rabbit.
((("something" "is" "round" "+")) -> ("something" "chases" "rabbit" "+"))
If something likes the bear and it likes the bald eagle then it is round.
((("something" "likes" "bear" "+") ("something" "likes" "bald eagle" "+")) -> ("something" "is" "round" "+"))
If something is green and round then it chases the rabbit.
((("something" "is" "green" "+") ("something" "is" "round" "+")) -> ("something" "chases" "rabbit" "+"))
If something chases the bear then it eats the lion.
((("something" "chases" "bear" "+")) -> ("something" "eats" "lion" "+"))
If something eats the bald eagle and the bald eagle eats the bear then it likes the bear.
((("something" "eats" "bald eagle" "+") ("bald eagle" "eats" "bear" "+")) -> ("something" "likes" "bear" "+"))
The bear eats the rabbit.
True
1
proof
[(triple7)]
("bear" "eats" "rabbit" "+")
triple7
The bald eagle does not chase the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "bear" "-")
triple1
The lion likes the bear.
True
3
proof
[(((triple9 triple3) -> rule9))]
("lion" "likes" "bear" "+")
((triple9 triple3) -> (rule9 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The bald eagle does not eat the lion.
False
2
inv-proof
[(((triple1) -> rule8))]
("bald eagle" "eats" "lion" "-")
((triple1) -> (rule8 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The bald eagle is nice.
True
4
proof
[(((triple3 ((triple1) -> rule8)) -> rule1))]
("bald eagle" "is" "nice" "+")
((triple3 ((triple1) -> (rule8 % int2))) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The bald eagle is not nice.
False
4
inv-proof
[(((triple3 ((triple1) -> rule8)) -> rule1))]
("bald eagle" "is" "nice" "-")
((triple3 ((triple1) -> (rule8 % int2))) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The bear likes the bald eagle.
True
6
proof
[(((triple3 ((triple3 ((triple1) -> rule8)) -> rule1)) -> rule2))]
("bear" "likes" "bald eagle" "+")
((triple3 ((triple3 ((triple1) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int3
The bear does not like the bald eagle.
False
6
inv-proof
[(((triple3 ((triple3 ((triple1) -> rule8)) -> rule1)) -> rule2))]
("bear" "likes" "bald eagle" "-")
((triple3 ((triple3 ((triple1) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int3
The bear is round.
True
10
proof
[(((((triple6 triple3) -> rule9) ((triple3 ((triple3 ((triple1) -> rule8)) -> rule1)) -> rule2)) -> rule6))]
("bear" "is" "round" "+")
((((triple6 triple3) -> (rule9 % int5)) ((triple3 ((triple3 ((triple1) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int4
The bear likes the bear.
("bear" "likes" "bear" "+")
int5
The bear is not round.
False
10
inv-proof
[(((((triple6 triple3) -> rule9) ((triple3 ((triple3 ((triple1) -> rule8)) -> rule1)) -> rule2)) -> rule6))]
("bear" "is" "round" "-")
((((triple6 triple3) -> (rule9 % int5)) ((triple3 ((triple3 ((triple1) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int4
The bear likes the bear.
("bear" "likes" "bear" "+")
int5
The bear chases the rabbit.
True
11
proof
[(((((((triple6 triple3) -> rule9) ((triple3 ((triple3 ((triple1) -> rule8)) -> rule1)) -> rule2)) -> rule6)) -> rule5))]
("bear" "chases" "rabbit" "+")
((((((triple6 triple3) -> (rule9 % int6)) ((triple3 ((triple3 ((triple1) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int5
The bear likes the bear.
("bear" "likes" "bear" "+")
int6
The bear does not chase the rabbit.
False
11
inv-proof
[(((((((triple6 triple3) -> rule9) ((triple3 ((triple3 ((triple1) -> rule8)) -> rule1)) -> rule2)) -> rule6)) -> rule5))]
("bear" "chases" "rabbit" "-")
((((((triple6 triple3) -> (rule9 % int6)) ((triple3 ((triple3 ((triple1) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int5
The bear likes the bear.
("bear" "likes" "bear" "+")
int6
The bear does not eat the lion.
Unknown
inv-rconc
[@1: The bear eats the lion.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "eats" "lion" "-")
The lion is round.
Unknown
rconc
[@1: The lion is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "is" "round" "+")
The rabbit is not nice.
Unknown
inv-rconc
[@1: The rabbit is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "nice" "-")
The lion eats the rabbit.
Unknown
rconc
[@2: The lion eats the rabbit.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("lion" "eats" "rabbit" "+")
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "round" "-")
The lion is nice.
Unknown
rconc
[@1: The lion is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "nice" "+")
The lion does not chase the bear.
Unknown
inv-random
[@0: The lion chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "bear" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
The rabbit does not like the lion.
Unknown
inv-random
[@0: The rabbit likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "lion" "-")
The rabbit is cold.
Unknown
random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "+")
The lion is not cold.
Unknown
inv-random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "-")
The bear likes the rabbit.
Unknown
random
[@0: The bear likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "rabbit" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the lion.[(triple2)] The bald eagle eats the bear.[(triple3)] The bald eagle likes the rabbit.[(triple4)] The bear chases the bald eagle.[(triple5)] The bear eats the bald eagle.[(triple6)] The bear eats the rabbit.[(triple7)] The lion chases the rabbit.[(triple8)] The lion eats the bald eagle.[(triple9)] The rabbit chases the bald eagle.[(triple10)] @1: The bald eagle eats the lion.[(((triple1) -> rule8))] The bear likes the bear.[(((triple6 triple3) -> rule9))] The lion likes the bear.[(((triple9 triple3) -> rule9))] @2: The bald eagle is nice.[(((triple3 ((triple1) -> rule8)) -> rule1))] @3: The bear likes the bald eagle.[(((triple3 ((triple3 ((triple1) -> rule8)) -> rule1)) -> rule2))] @4: The bear is round.[(((((triple6 triple3) -> rule9) ((triple3 ((triple3 ((triple1) -> rule8)) -> rule1)) -> rule2)) -> rule6))] @5: The bear chases the rabbit.[(((((((triple6 triple3) -> rule9) ((triple3 ((triple3 ((triple1) -> rule8)) -> rule1)) -> rule2)) -> rule6)) -> rule5))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple4
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple5
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple6
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple7
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple8
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple9
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple10
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
((triple1) -> (rule8 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple6 triple3) -> (rule9 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
((triple9 triple3) -> (rule9 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple3 ((triple1) -> (rule8 % int2))) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
((triple3 ((triple3 ((triple1) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int3
The bear is round.
("bear" "is" "round" "+")
((((triple6 triple3) -> (rule9 % int5)) ((triple3 ((triple3 ((triple1) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int4
The bear likes the bear.
("bear" "likes" "bear" "+")
int5
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
((((((triple6 triple3) -> (rule9 % int6)) ((triple3 ((triple3 ((triple1) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int5
The bear likes the bear.
("bear" "likes" "bear" "+")
int6