The bald eagle chases the cow. The bald eagle eats the lion. The bald eagle is green. The cow eats the bald eagle. The cow eats the dog. The cow eats the lion. The cow is blue. The dog is blue. The lion eats the dog. The lion is blue. The lion needs the bald eagle. The lion needs the cow. If something eats the dog then the dog is round. If something eats the lion and the lion eats the cow then it is not cold. If something needs the cow then it eats the dog. If the bald eagle does not need the dog then the dog does not chase the cow. If something eats the dog and it eats the bald eagle then the bald eagle eats the dog. If the lion is cold and the lion does not chase the dog then the lion needs the dog. If the dog is nice then the dog is not green. If something eats the lion and the lion needs the cow then the lion eats the bald eagle.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is blue.
("cow" "is" "blue" "+")
The dog is blue.
("dog" "is" "blue" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion needs the cow.
("lion" "needs" "cow" "+")
If something eats the dog then the dog is round.
((("something" "eats" "dog" "+")) -> ("dog" "is" "round" "+"))
If something eats the lion and the lion eats the cow then it is not cold.
((("something" "eats" "lion" "+") ("lion" "eats" "cow" "+")) -> ("something" "is" "cold" "-"))
If something needs the cow then it eats the dog.
((("something" "needs" "cow" "+")) -> ("something" "eats" "dog" "+"))
If the bald eagle does not need the dog then the dog does not chase the cow.
((("bald eagle" "needs" "dog" "~")) -> ("dog" "chases" "cow" "-"))
If something eats the dog and it eats the bald eagle then the bald eagle eats the dog.
((("something" "eats" "dog" "+") ("something" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "dog" "+"))
If the lion is cold and the lion does not chase the dog then the lion needs the dog.
((("lion" "is" "cold" "+") ("lion" "chases" "dog" "~")) -> ("lion" "needs" "dog" "+"))
If the dog is nice then the dog is not green.
((("dog" "is" "nice" "+")) -> ("dog" "is" "green" "-"))
If something eats the lion and the lion needs the cow then the lion eats the bald eagle.
((("something" "eats" "lion" "+") ("lion" "needs" "cow" "+")) -> ("lion" "eats" "bald eagle" "+"))
The bald eagle chases the cow.
True
1
proof
[(triple1)]
("bald eagle" "chases" "cow" "+")
triple1
The lion does not need the bald eagle.
False
1
inv-proof
[(triple11)]
("lion" "needs" "bald eagle" "-")
triple11
The bald eagle eats the dog.
True
3
proof
[(((triple5 triple4) -> rule5) OR ((triple9 ((triple2 triple12) -> rule8)) -> rule5) OR ((triple9 ((triple6 triple12) -> rule8)) -> rule5) OR ((((triple12) -> rule3) ((triple2 triple12) -> rule8)) -> rule5) OR ((((triple12) -> rule3) ((triple6 triple12) -> rule8)) -> rule5))]
("bald eagle" "eats" "dog" "+")
((triple5 triple4) -> (rule5 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
((triple9 ((triple2 triple12) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
((triple9 ((triple6 triple12) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
((((triple12) -> (rule3 % int3)) ((triple2 triple12) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
The lion eats the dog.
("lion" "eats" "dog" "+")
int3
((((triple12) -> (rule3 % int3)) ((triple6 triple12) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
The lion eats the dog.
("lion" "eats" "dog" "+")
int3
The dog is not round.
False
2
inv-proof
[(((triple5) -> rule1) OR ((triple9) -> rule1) OR ((((triple12) -> rule3)) -> rule1) OR ((((triple5 triple4) -> rule5)) -> rule1) OR ((((triple9 ((triple2 triple12) -> rule8)) -> rule5)) -> rule1) OR ((((triple9 ((triple6 triple12) -> rule8)) -> rule5)) -> rule1) OR ((((((triple12) -> rule3) ((triple2 triple12) -> rule8)) -> rule5)) -> rule1) OR ((((((triple12) -> rule3) ((triple6 triple12) -> rule8)) -> rule5)) -> rule1))]
("dog" "is" "round" "-")
((triple5) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
((triple9) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
((((triple12) -> (rule3 % int2))) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The lion eats the dog.
("lion" "eats" "dog" "+")
int2
((((triple5 triple4) -> (rule5 % int2))) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
((((triple9 ((triple2 triple12) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int3
((((triple9 ((triple6 triple12) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int3
((((((triple12) -> (rule3 % int4)) ((triple2 triple12) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int3
The lion eats the dog.
("lion" "eats" "dog" "+")
int4
((((((triple12) -> (rule3 % int4)) ((triple6 triple12) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int3
The lion eats the dog.
("lion" "eats" "dog" "+")
int4
The dog does not eat the dog.
Unknown
inv-rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "eats" "dog" "-")
The lion needs the dog.
Unknown
rconc
[@1: The lion needs the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "needs" "dog" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The lion is nice.
Unknown
random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle is green.[(triple3)] The cow eats the bald eagle.[(triple4)] The cow eats the dog.[(triple5)] The cow eats the lion.[(triple6)] The cow is blue.[(triple7)] The dog is blue.[(triple8)] The lion eats the dog.[(triple9 OR ((triple12) -> rule3))] The lion is blue.[(triple10)] The lion needs the bald eagle.[(triple11)] The lion needs the cow.[(triple12)] @1: The bald eagle eats the dog.[(((triple5 triple4) -> rule5) OR ((triple9 ((triple2 triple12) -> rule8)) -> rule5) OR ((triple9 ((triple6 triple12) -> rule8)) -> rule5) OR ((((triple12) -> rule3) ((triple2 triple12) -> rule8)) -> rule5) OR ((((triple12) -> rule3) ((triple6 triple12) -> rule8)) -> rule5))] The dog is round.[(((triple5) -> rule1) OR ((triple9) -> rule1) OR ((((triple12) -> rule3)) -> rule1) OR ((((triple5 triple4) -> rule5)) -> rule1) OR ((((triple9 ((triple2 triple12) -> rule8)) -> rule5)) -> rule1) OR ((((triple9 ((triple6 triple12) -> rule8)) -> rule5)) -> rule1) OR ((((((triple12) -> rule3) ((triple2 triple12) -> rule8)) -> rule5)) -> rule1) OR ((((((triple12) -> rule3) ((triple6 triple12) -> rule8)) -> rule5)) -> rule1))] The lion eats the bald eagle.[(((triple2 triple12) -> rule8) OR ((triple6 triple12) -> rule8))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple4
The cow eats the dog.
("cow" "eats" "dog" "+")
triple5
The cow eats the lion.
("cow" "eats" "lion" "+")
triple6
The cow is blue.
("cow" "is" "blue" "+")
triple7
The dog is blue.
("dog" "is" "blue" "+")
triple8
The lion eats the dog.
("lion" "eats" "dog" "+")
triple9
((triple12) -> (rule3 % int1))
The lion eats the dog.
("lion" "eats" "dog" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
triple10
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple11
The lion needs the cow.
("lion" "needs" "cow" "+")
triple12
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
((triple5 triple4) -> (rule5 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
((triple9 ((triple2 triple12) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
((triple9 ((triple6 triple12) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
((((triple12) -> (rule3 % int3)) ((triple2 triple12) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
The lion eats the dog.
("lion" "eats" "dog" "+")
int3
((((triple12) -> (rule3 % int3)) ((triple6 triple12) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
The lion eats the dog.
("lion" "eats" "dog" "+")
int3
The dog is round.
("dog" "is" "round" "+")
((triple5) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
((triple9) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
((((triple12) -> (rule3 % int2))) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The lion eats the dog.
("lion" "eats" "dog" "+")
int2
((((triple5 triple4) -> (rule5 % int2))) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
((((triple9 ((triple2 triple12) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int3
((((triple9 ((triple6 triple12) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int3
((((((triple12) -> (rule3 % int4)) ((triple2 triple12) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int3
The lion eats the dog.
("lion" "eats" "dog" "+")
int4
((((((triple12) -> (rule3 % int4)) ((triple6 triple12) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int3
The lion eats the dog.
("lion" "eats" "dog" "+")
int4
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
((triple2 triple12) -> (rule8 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
((triple6 triple12) -> (rule8 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1