The bald eagle chases the cat. The bald eagle does not eat the cat. The bald eagle eats the lion. The cat chases the bald eagle. The cat eats the bald eagle. The cat is not big. The cat is kind. The cat is young. The cat does not like the bald eagle. The lion eats the cat. The lion is big. The lion likes the cat. If someone is kind then they like the lion. All kind, young people are not rough. If someone eats the cat then they are not rough. If someone chases the lion then they are kind. If someone likes the lion then they eat the lion. If someone likes the bald eagle then the bald eagle eats the lion. If someone is young and they do not eat the lion then they are big. If someone eats the lion and they are not big then the lion chases the bald eagle.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle does not eat the cat.
("bald eagle" "eats" "cat" "-")
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is not big.
("cat" "is" "big" "-")
The cat is kind.
("cat" "is" "kind" "+")
The cat is young.
("cat" "is" "young" "+")
The cat does not like the bald eagle.
("cat" "likes" "bald eagle" "-")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is big.
("lion" "is" "big" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
If someone is kind then they like the lion.
((("someone" "is" "kind" "+")) -> ("someone" "likes" "lion" "+"))
All kind, young people are not rough.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "-"))
If someone eats the cat then they are not rough.
((("someone" "eats" "cat" "+")) -> ("someone" "is" "rough" "-"))
If someone chases the lion then they are kind.
((("someone" "chases" "lion" "+")) -> ("someone" "is" "kind" "+"))
If someone likes the lion then they eat the lion.
((("someone" "likes" "lion" "+")) -> ("someone" "eats" "lion" "+"))
If someone likes the bald eagle then the bald eagle eats the lion.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "eats" "lion" "+"))
If someone is young and they do not eat the lion then they are big.
((("someone" "is" "young" "+") ("someone" "eats" "lion" "~")) -> ("someone" "is" "big" "+"))
If someone eats the lion and they are not big then the lion chases the bald eagle.
((("someone" "eats" "lion" "+") ("someone" "is" "big" "~")) -> ("lion" "chases" "bald eagle" "+"))
The cat is young.
True
1
proof
[(triple8)]
("cat" "is" "young" "+")
triple8
The lion does not like the cat.
False
1
inv-proof
[(triple12)]
("lion" "likes" "cat" "-")
triple12
The lion is not rough.
True
2
proof
[(((triple10) -> rule3))]
("lion" "is" "rough" "-")
((triple10) -> (rule3 % int1))
The lion is not rough.
("lion" "is" "rough" "-")
int1
The lion is rough.
False
2
inv-proof
[(((triple10) -> rule3))]
("lion" "is" "rough" "+")
((triple10) -> (rule3 % int1))
The lion is not rough.
("lion" "is" "rough" "-")
int1
The cat eats the lion.
True
3
proof
[(((((triple7) -> rule1)) -> rule5))]
("cat" "eats" "lion" "+")
((((triple7) -> (rule1 % int2))) -> (rule5 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The cat does not eat the lion.
False
3
inv-proof
[(((((triple7) -> rule1)) -> rule5))]
("cat" "eats" "lion" "-")
((((triple7) -> (rule1 % int2))) -> (rule5 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion chases the bald eagle.
True
5
proof
[(((((((triple7) -> rule1)) -> rule5) triple6) -> rule8))]
("lion" "chases" "bald eagle" "+")
((((((triple7) -> (rule1 % int3))) -> (rule5 % int2)) triple6) -> (rule8 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
int2
The cat likes the lion.
("cat" "likes" "lion" "+")
int3
The lion does not chase the bald eagle.
False
5
inv-proof
[(((((((triple7) -> rule1)) -> rule5) triple6) -> rule8))]
("lion" "chases" "bald eagle" "-")
((((((triple7) -> (rule1 % int3))) -> (rule5 % int2)) triple6) -> (rule8 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
int2
The cat likes the lion.
("cat" "likes" "lion" "+")
int3
The lion does not eat the lion.
Unknown
inv-rconc
[@3: The lion eats the lion.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule4 <- FAIL)]]
("lion" "eats" "lion" "-")
The bald eagle likes the lion.
Unknown
rconc
[@2: The bald eagle likes the lion.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("bald eagle" "likes" "lion" "+")
The lion is not kind.
Unknown
inv-rconc
[@1: The lion is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "is" "kind" "-")
The bald eagle is kind.
Unknown
rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "kind" "+")
The lion is not cold.
Unknown
inv-random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The bald eagle is not cold.
Unknown
inv-random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle does not eat the cat.[(triple2)] The bald eagle eats the lion.[(triple3)] The cat chases the bald eagle.[(triple4)] The cat does not like the bald eagle.[(triple9)] The cat eats the bald eagle.[(triple5)] The cat is kind.[(triple7)] The cat is not big.[(triple6)] The cat is young.[(triple8)] The lion eats the cat.[(triple10)] The lion is big.[(triple11)] The lion likes the cat.[(triple12)] @1: The cat is not rough.[(((triple7 triple8) -> rule2))] The cat likes the lion.[(((triple7) -> rule1))] The lion is not rough.[(((triple10) -> rule3))] @2: The cat eats the lion.[(((((triple7) -> rule1)) -> rule5))] @3: The lion chases the bald eagle.[(((((((triple7) -> rule1)) -> rule5) triple6) -> rule8))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle does not eat the cat.
("bald eagle" "eats" "cat" "-")
triple2
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple3
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple4
The cat does not like the bald eagle.
("cat" "likes" "bald eagle" "-")
triple9
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple5
The cat is kind.
("cat" "is" "kind" "+")
triple7
The cat is not big.
("cat" "is" "big" "-")
triple6
The cat is young.
("cat" "is" "young" "+")
triple8
The lion eats the cat.
("lion" "eats" "cat" "+")
triple10
The lion is big.
("lion" "is" "big" "+")
triple11
The lion likes the cat.
("lion" "likes" "cat" "+")
triple12
The cat is not rough.
("cat" "is" "rough" "-")
((triple7 triple8) -> (rule2 % int1))
The cat is not rough.
("cat" "is" "rough" "-")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
((triple7) -> (rule1 % int1))
The cat likes the lion.
("cat" "likes" "lion" "+")
int1
The lion is not rough.
("lion" "is" "rough" "-")
((triple10) -> (rule3 % int1))
The lion is not rough.
("lion" "is" "rough" "-")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
((((triple7) -> (rule1 % int2))) -> (rule5 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
((((((triple7) -> (rule1 % int3))) -> (rule5 % int2)) triple6) -> (rule8 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
int2
The cat likes the lion.
("cat" "likes" "lion" "+")
int3