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