The bald eagle is nice. The lion does not eat the bald eagle. The lion is big. If something chases the lion and the lion is nice then the lion does not eat the bald eagle. If something eats the lion then it is rough. If something eats the lion and it does not chase the bald eagle then it likes the lion. If something chases the lion then it does not eat the lion. If something is nice then it eats the lion. If something likes the lion and it does not chase the lion then the lion likes the bald eagle. If something is nice and rough then it does not eat the bald eagle. If something chases the bald eagle and it likes the bald eagle then the bald eagle is not rough.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The lion does not eat the bald eagle.
("lion" "eats" "bald eagle" "-")
The lion is big.
("lion" "is" "big" "+")
If something chases the lion and the lion is nice then the lion does not eat the bald eagle.
((("something" "chases" "lion" "+") ("lion" "is" "nice" "+")) -> ("lion" "eats" "bald eagle" "-"))
If something eats the lion then it is rough.
((("something" "eats" "lion" "+")) -> ("something" "is" "rough" "+"))
If something eats the lion and it does not chase the bald eagle then it likes the lion.
((("something" "eats" "lion" "+") ("something" "chases" "bald eagle" "~")) -> ("something" "likes" "lion" "+"))
If something chases the lion then it does not eat the lion.
((("something" "chases" "lion" "+")) -> ("something" "eats" "lion" "-"))
If something is nice then it eats the lion.
((("something" "is" "nice" "+")) -> ("something" "eats" "lion" "+"))
If something likes the lion and it does not chase the lion then the lion likes the bald eagle.
((("something" "likes" "lion" "+") ("something" "chases" "lion" "~")) -> ("lion" "likes" "bald eagle" "+"))
If something is nice and rough then it does not eat the bald eagle.
((("something" "is" "nice" "+") ("something" "is" "rough" "+")) -> ("something" "eats" "bald eagle" "-"))
If something chases the bald eagle and it likes the bald eagle then the bald eagle is not rough.
((("something" "chases" "bald eagle" "+") ("something" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "-"))
The bald eagle is nice.
True
1
proof
[(triple1)]
("bald eagle" "is" "nice" "+")
triple1
The lion is not big.
False
1
inv-proof
[(triple3)]
("lion" "is" "big" "-")
triple3
The bald eagle eats the lion.
True
2
proof
[(((triple1) -> rule5))]
("bald eagle" "eats" "lion" "+")
((triple1) -> (rule5 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The bald eagle does not eat the lion.
False
2
inv-proof
[(((triple1) -> rule5))]
("bald eagle" "eats" "lion" "-")
((triple1) -> (rule5 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The bald eagle is rough.
True
3
proof
[(((((triple1) -> rule5)) -> rule2))]
("bald eagle" "is" "rough" "+")
((((triple1) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The bald eagle is not rough.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule2))]
("bald eagle" "is" "rough" "-")
((((triple1) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The bald eagle does not eat the bald eagle.
True
5
proof
[(((triple1 ((((triple1) -> rule5)) -> rule2)) -> rule7))]
("bald eagle" "eats" "bald eagle" "-")
((triple1 ((((triple1) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle does not eat the bald eagle.
("bald eagle" "eats" "bald eagle" "-")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int3
The bald eagle eats the bald eagle.
False
5
inv-proof
[(((triple1 ((((triple1) -> rule5)) -> rule2)) -> rule7))]
("bald eagle" "eats" "bald eagle" "+")
((triple1 ((((triple1) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle does not eat the bald eagle.
("bald eagle" "eats" "bald eagle" "-")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int3
The lion is not rough.
Unknown
inv-rconc
[@2: The lion is rough.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("lion" "is" "rough" "-")
The lion likes the lion.
Unknown
rconc
[@1: The lion likes the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "likes" "lion" "+")
The lion does not like the bald eagle.
Unknown
inv-rconc
[@1: The lion likes the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "likes" "bald eagle" "-")
The lion eats the lion.
Unknown
rconc
[@1: The lion eats the lion.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "eats" "lion" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
The lion is not red.
Unknown
inv-random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
@0: The bald eagle is nice.[(triple1)] The lion does not eat the bald eagle.[(triple2)] The lion is big.[(triple3)] @1: The bald eagle eats the lion.[(((triple1) -> rule5))] @2: The bald eagle is rough.[(((((triple1) -> rule5)) -> rule2))] @3: The bald eagle does not eat the bald eagle.[(((triple1 ((((triple1) -> rule5)) -> rule2)) -> rule7))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The lion does not eat the bald eagle.
("lion" "eats" "bald eagle" "-")
triple2
The lion is big.
("lion" "is" "big" "+")
triple3
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
((triple1) -> (rule5 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((((triple1) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The bald eagle does not eat the bald eagle.
("bald eagle" "eats" "bald eagle" "-")
((triple1 ((((triple1) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle does not eat the bald eagle.
("bald eagle" "eats" "bald eagle" "-")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int3