The bald eagle eats the lion. The bald eagle is nice. The lion does not eat the bald eagle. The lion is blue. The lion is red. The lion likes the bald eagle. The lion does not like the tiger. The tiger is big. The tiger is kind. The tiger is not red. The tiger likes the bald eagle. The tiger needs the lion. If something likes the lion then it likes the bald eagle. If the tiger likes the lion and the lion likes the bald eagle then the bald eagle needs the tiger. If something eats the tiger then it eats the bald eagle. If the tiger likes the lion then the tiger eats the bald eagle. If something needs the lion then it likes the tiger. If something likes the tiger then it eats the tiger.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The lion does not eat the bald eagle.
("lion" "eats" "bald eagle" "-")
The lion is blue.
("lion" "is" "blue" "+")
The lion is red.
("lion" "is" "red" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion does not like the tiger.
("lion" "likes" "tiger" "-")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is not red.
("tiger" "is" "red" "-")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
If something likes the lion then it likes the bald eagle.
((("something" "likes" "lion" "+")) -> ("something" "likes" "bald eagle" "+"))
If the tiger likes the lion and the lion likes the bald eagle then the bald eagle needs the tiger.
((("tiger" "likes" "lion" "+") ("lion" "likes" "bald eagle" "+")) -> ("bald eagle" "needs" "tiger" "+"))
If something eats the tiger then it eats the bald eagle.
((("something" "eats" "tiger" "+")) -> ("something" "eats" "bald eagle" "+"))
If the tiger likes the lion then the tiger eats the bald eagle.
((("tiger" "likes" "lion" "+")) -> ("tiger" "eats" "bald eagle" "+"))
If something needs the lion then it likes the tiger.
((("something" "needs" "lion" "+")) -> ("something" "likes" "tiger" "+"))
If something likes the tiger then it eats the tiger.
((("something" "likes" "tiger" "+")) -> ("something" "eats" "tiger" "+"))
The lion does not eat the bald eagle.
True
1
proof
[(triple3)]
("lion" "eats" "bald eagle" "-")
triple3
The lion is not blue.
False
1
inv-proof
[(triple4)]
("lion" "is" "blue" "-")
triple4
The tiger likes the tiger.
True
2
proof
[(((triple12) -> rule5))]
("tiger" "likes" "tiger" "+")
((triple12) -> (rule5 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger does not like the tiger.
False
2
inv-proof
[(((triple12) -> rule5))]
("tiger" "likes" "tiger" "-")
((triple12) -> (rule5 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the tiger.
True
3
proof
[(((((triple12) -> rule5)) -> rule6))]
("tiger" "eats" "tiger" "+")
((((triple12) -> (rule5 % int2))) -> (rule6 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The tiger does not eat the tiger.
False
3
inv-proof
[(((((triple12) -> rule5)) -> rule6))]
("tiger" "eats" "tiger" "-")
((((triple12) -> (rule5 % int2))) -> (rule6 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The tiger eats the bald eagle.
True
4
proof
[(((((((triple12) -> rule5)) -> rule6)) -> rule3))]
("tiger" "eats" "bald eagle" "+")
((((((triple12) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The tiger does not eat the bald eagle.
False
4
inv-proof
[(((((((triple12) -> rule5)) -> rule6)) -> rule3))]
("tiger" "eats" "bald eagle" "-")
((((((triple12) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The lion eats the tiger.
Unknown
rconc
[@1: The lion eats the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "eats" "tiger" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-rconc
[@3: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule3 <- rule6 <- rule5 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The bald eagle needs the tiger.
Unknown
rconc
[@1: The bald eagle needs the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "needs" "tiger" "+")
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
The lion is not big.
Unknown
inv-random
[@0: The lion is big.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "big" "-")
The bald eagle needs the lion.
Unknown
random
[@0: The bald eagle needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "lion" "+")
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is nice.[(triple2)] The lion does not eat the bald eagle.[(triple3)] The lion does not like the tiger.[(triple7)] The lion is blue.[(triple4)] The lion is red.[(triple5)] The lion likes the bald eagle.[(triple6)] The tiger is big.[(triple8)] The tiger is kind.[(triple9)] The tiger is not red.[(triple10)] The tiger likes the bald eagle.[(triple11)] The tiger needs the lion.[(triple12)] @1: The tiger likes the tiger.[(((triple12) -> rule5))] @2: The tiger eats the tiger.[(((((triple12) -> rule5)) -> rule6))] @3: The tiger eats the bald eagle.[(((((((triple12) -> rule5)) -> rule6)) -> rule3))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The lion does not eat the bald eagle.
("lion" "eats" "bald eagle" "-")
triple3
The lion does not like the tiger.
("lion" "likes" "tiger" "-")
triple7
The lion is blue.
("lion" "is" "blue" "+")
triple4
The lion is red.
("lion" "is" "red" "+")
triple5
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple6
The tiger is big.
("tiger" "is" "big" "+")
triple8
The tiger is kind.
("tiger" "is" "kind" "+")
triple9
The tiger is not red.
("tiger" "is" "red" "-")
triple10
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple11
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple12
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((triple12) -> (rule5 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((((triple12) -> (rule5 % int2))) -> (rule6 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
((((((triple12) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3