The bald eagle eats the dog. The dog eats the bald eagle. The lion likes the dog. The tiger needs the bald eagle. If someone eats the bald eagle then they eat the lion. If someone eats the tiger then the tiger is rough. If someone needs the bald eagle then they eat the bald eagle. If the lion needs the dog then the lion eats the dog. If someone is rough and they need the lion then they eat the lion. If someone eats the lion then they eat the dog.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
If someone eats the bald eagle then they eat the lion.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "eats" "lion" "+"))
If someone eats the tiger then the tiger is rough.
((("someone" "eats" "tiger" "+")) -> ("tiger" "is" "rough" "+"))
If someone needs the bald eagle then they eat the bald eagle.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "eats" "bald eagle" "+"))
If the lion needs the dog then the lion eats the dog.
((("lion" "needs" "dog" "+")) -> ("lion" "eats" "dog" "+"))
If someone is rough and they need the lion then they eat the lion.
((("someone" "is" "rough" "+") ("someone" "needs" "lion" "+")) -> ("someone" "eats" "lion" "+"))
If someone eats the lion then they eat the dog.
((("someone" "eats" "lion" "+")) -> ("someone" "eats" "dog" "+"))
The dog eats the bald eagle.
True
1
proof
[(triple2)]
("dog" "eats" "bald eagle" "+")
triple2
The tiger does not need the bald eagle.
False
1
inv-proof
[(triple4)]
("tiger" "needs" "bald eagle" "-")
triple4
The dog eats the lion.
True
2
proof
[(((triple2) -> rule1))]
("dog" "eats" "lion" "+")
((triple2) -> (rule1 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog does not eat the lion.
False
2
inv-proof
[(((triple2) -> rule1))]
("dog" "eats" "lion" "-")
((triple2) -> (rule1 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The tiger eats the lion.
True
3
proof
[(((((triple4) -> rule3)) -> rule1))]
("tiger" "eats" "lion" "+")
((((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int2
The dog does not eat the dog.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule6))]
("dog" "eats" "dog" "-")
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog eats the lion.
("dog" "eats" "lion" "+")
int2
The tiger eats the dog.
True
4
proof
[(((((((triple4) -> rule3)) -> rule1)) -> rule6))]
("tiger" "eats" "dog" "+")
((((((triple4) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int3
The tiger does not eat the dog.
False
4
inv-proof
[(((((((triple4) -> rule3)) -> rule1)) -> rule6))]
("tiger" "eats" "dog" "-")
((((((triple4) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int3
The lion does not eat the dog.
Unknown
inv-rconc
[@3: The lion eats the dog.[CWA. Example of deepest failure = (rule6 <- rule1 <- rule3 <- FAIL)]]
("lion" "eats" "dog" "-")
The bald eagle eats the lion.
Unknown
rconc
[@2: The bald eagle eats the lion.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("bald eagle" "eats" "lion" "+")
The lion does not eat the bald eagle.
Unknown
inv-rconc
[@1: The lion eats the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "eats" "bald eagle" "-")
The tiger is rough.
Unknown
rconc
[@1: The tiger is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "is" "rough" "+")
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The bald eagle is nice.
Unknown
random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "+")
The dog does not need the bald eagle.
Unknown
inv-random
[@0: The dog needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "bald eagle" "-")
The dog is nice.
Unknown
random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "+")
@0: The bald eagle eats the dog.[(triple1)] The dog eats the bald eagle.[(triple2)] The lion likes the dog.[(triple3)] The tiger needs the bald eagle.[(triple4)] @1: The dog eats the lion.[(((triple2) -> rule1))] The tiger eats the bald eagle.[(((triple4) -> rule3))] @2: The dog eats the dog.[(((((triple2) -> rule1)) -> rule6))] The tiger eats the lion.[(((((triple4) -> rule3)) -> rule1))] @3: The tiger eats the dog.[(((((((triple4) -> rule3)) -> rule1)) -> rule6))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple2
The lion likes the dog.
("lion" "likes" "dog" "+")
triple3
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple4
The dog eats the lion.
("dog" "eats" "lion" "+")
((triple2) -> (rule1 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
((triple4) -> (rule3 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog eats the lion.
("dog" "eats" "lion" "+")
int2
The tiger eats the lion.
("tiger" "eats" "lion" "+")
((((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
((((((triple4) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int3