The bald eagle chases the lion. The bald eagle eats the bear. The bear chases the lion. The bear is cold. The bear is round. The bear likes the bald eagle. The cat eats the bald eagle. The cat is big. The cat is kind. The lion chases the bald eagle. The lion chases the bear. The lion is round. If someone eats the cat then they eat the bald eagle. If someone chases the lion then they like the cat. If someone eats the lion then they chase the bear. If the lion likes the bald eagle then the lion eats the bear. If someone eats the bald eagle then they like the bear. If the bald eagle eats the lion and the lion likes the cat then the cat likes the bear. If someone likes the bear and they eat the bear then the bear eats the cat. If someone eats the bear and they like the cat then they eat the bald eagle. If someone likes the bald eagle then the bald eagle likes the lion.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is kind.
("cat" "is" "kind" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion is round.
("lion" "is" "round" "+")
If someone eats the cat then they eat the bald eagle.
((("someone" "eats" "cat" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone chases the lion then they like the cat.
((("someone" "chases" "lion" "+")) -> ("someone" "likes" "cat" "+"))
If someone eats the lion then they chase the bear.
((("someone" "eats" "lion" "+")) -> ("someone" "chases" "bear" "+"))
If the lion likes the bald eagle then the lion eats the bear.
((("lion" "likes" "bald eagle" "+")) -> ("lion" "eats" "bear" "+"))
If someone eats the bald eagle then they like the bear.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "likes" "bear" "+"))
If the bald eagle eats the lion and the lion likes the cat then the cat likes the bear.
((("bald eagle" "eats" "lion" "+") ("lion" "likes" "cat" "+")) -> ("cat" "likes" "bear" "+"))
If someone likes the bear and they eat the bear then the bear eats the cat.
((("someone" "likes" "bear" "+") ("someone" "eats" "bear" "+")) -> ("bear" "eats" "cat" "+"))
If someone eats the bear and they like the cat then they eat the bald eagle.
((("someone" "eats" "bear" "+") ("someone" "likes" "cat" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone likes the bald eagle then the bald eagle likes the lion.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "lion" "+"))
The cat is big.
True
1
proof
[(triple8)]
("cat" "is" "big" "+")
triple8
The lion is not round.
False
1
inv-proof
[(triple12)]
("lion" "is" "round" "-")
triple12
The bald eagle likes the cat.
True
2
proof
[(((triple1) -> rule2))]
("bald eagle" "likes" "cat" "+")
((triple1) -> (rule2 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The bald eagle does not like the lion.
False
2
inv-proof
[(((triple6) -> rule9))]
("bald eagle" "likes" "lion" "-")
((triple6) -> (rule9 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle eats the bald eagle.
True
4
proof
[(((triple2 ((triple1) -> rule2)) -> rule8))]
("bald eagle" "eats" "bald eagle" "+")
((triple2 ((triple1) -> (rule2 % int2))) -> (rule8 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int2
The bald eagle does not eat the bald eagle.
False
4
inv-proof
[(((triple2 ((triple1) -> rule2)) -> rule8))]
("bald eagle" "eats" "bald eagle" "-")
((triple2 ((triple1) -> (rule2 % int2))) -> (rule8 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int2
The bald eagle likes the bear.
True
5
proof
[(((((triple2 ((triple1) -> rule2)) -> rule8)) -> rule5))]
("bald eagle" "likes" "bear" "+")
((((triple2 ((triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int3
The bald eagle does not like the bear.
False
5
inv-proof
[(((((triple2 ((triple1) -> rule2)) -> rule8)) -> rule5))]
("bald eagle" "likes" "bear" "-")
((((triple2 ((triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int3
The bear eats the cat.
True
7
proof
[(((((((triple2 ((triple1) -> rule2)) -> rule8)) -> rule5) triple2) -> rule7))]
("bear" "eats" "cat" "+")
((((((triple2 ((triple1) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) triple2) -> (rule7 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int4
The bear does not eat the cat.
False
7
inv-proof
[(((((((triple2 ((triple1) -> rule2)) -> rule8)) -> rule5) triple2) -> rule7))]
("bear" "eats" "cat" "-")
((((((triple2 ((triple1) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) triple2) -> (rule7 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int4
The bear eats the bald eagle.
True
8
proof
[(((((((((triple2 ((triple1) -> rule2)) -> rule8)) -> rule5) triple2) -> rule7)) -> rule1))]
("bear" "eats" "bald eagle" "+")
((((((((triple2 ((triple1) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule5 % int3)) triple2) -> (rule7 % int2))) -> (rule1 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
int2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int3
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int4
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int5
The bear does not eat the bald eagle.
False
8
inv-proof
[(((((((((triple2 ((triple1) -> rule2)) -> rule8)) -> rule5) triple2) -> rule7)) -> rule1))]
("bear" "eats" "bald eagle" "-")
((((((((triple2 ((triple1) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule5 % int3)) triple2) -> (rule7 % int2))) -> (rule1 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
int2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int3
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int4
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int5
The lion does not like the bear.
Unknown
inv-rconc
[@3: The lion likes the bear.[CWA. Example of deepest failure = (rule5 <- rule8 <- rule4 <- FAIL)]]
("lion" "likes" "bear" "-")
The bear chases the bear.
Unknown
rconc
[@1: The bear chases the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "chases" "bear" "+")
The cat does not chase the bear.
Unknown
inv-rconc
[@1: The cat chases the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "chases" "bear" "-")
The cat likes the cat.
Unknown
rconc
[@1: The cat likes the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "likes" "cat" "+")
The lion does not like the cat.
Unknown
inv-rconc
[@1: The lion likes the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "likes" "cat" "-")
The lion eats the bear.
Unknown
rconc
[@1: The lion eats the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "eats" "bear" "+")
The bear does not like the lion.
Unknown
inv-random
[@0: The bear likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "lion" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
The bald eagle does not chase the cat.
Unknown
inv-random
[@0: The bald eagle chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "cat" "-")
The cat is cold.
Unknown
random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "+")
The bear does not eat the lion.
Unknown
inv-random
[@0: The bear eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "lion" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle eats the bear.[(triple2)] The bear chases the lion.[(triple3)] The bear is cold.[(triple4)] The bear is round.[(triple5)] The bear likes the bald eagle.[(triple6)] The cat eats the bald eagle.[(triple7)] The cat is big.[(triple8)] The cat is kind.[(triple9)] The lion chases the bald eagle.[(triple10)] The lion chases the bear.[(triple11)] The lion is round.[(triple12)] @1: The bald eagle likes the cat.[(((triple1) -> rule2))] The bald eagle likes the lion.[(((triple6) -> rule9))] The bear likes the cat.[(((triple3) -> rule2))] The cat likes the bear.[(((triple7) -> rule5))] @2: The bald eagle eats the bald eagle.[(((triple2 ((triple1) -> rule2)) -> rule8))] @3: The bald eagle likes the bear.[(((((triple2 ((triple1) -> rule2)) -> rule8)) -> rule5))] @4: The bear eats the cat.[(((((((triple2 ((triple1) -> rule2)) -> rule8)) -> rule5) triple2) -> rule7))] @5: The bear eats the bald eagle.[(((((((((triple2 ((triple1) -> rule2)) -> rule8)) -> rule5) triple2) -> rule7)) -> rule1))] @6: The bear likes the bear.[(((((((((((triple2 ((triple1) -> rule2)) -> rule8)) -> rule5) triple2) -> rule7)) -> rule1)) -> rule5))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple2
The bear chases the lion.
("bear" "chases" "lion" "+")
triple3
The bear is cold.
("bear" "is" "cold" "+")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple6
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple7
The cat is big.
("cat" "is" "big" "+")
triple8
The cat is kind.
("cat" "is" "kind" "+")
triple9
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple10
The lion chases the bear.
("lion" "chases" "bear" "+")
triple11
The lion is round.
("lion" "is" "round" "+")
triple12
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
((triple1) -> (rule2 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
((triple6) -> (rule9 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bear likes the cat.
("bear" "likes" "cat" "+")
((triple3) -> (rule2 % int1))
The bear likes the cat.
("bear" "likes" "cat" "+")
int1
The cat likes the bear.
("cat" "likes" "bear" "+")
((triple7) -> (rule5 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple2 ((triple1) -> (rule2 % int2))) -> (rule8 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
((((triple2 ((triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int3
The bear eats the cat.
("bear" "eats" "cat" "+")
((((((triple2 ((triple1) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) triple2) -> (rule7 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int4
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
((((((((triple2 ((triple1) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule5 % int3)) triple2) -> (rule7 % int2))) -> (rule1 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
int2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int3
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int4
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int5
The bear likes the bear.
("bear" "likes" "bear" "+")
((((((((((triple2 ((triple1) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule5 % int4)) triple2) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int2
The bear eats the cat.
("bear" "eats" "cat" "+")
int3
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int4
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int5
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int6