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