The bald eagle does not chase the bear. The bear eats the lion. The lion likes the bald eagle. If something eats the lion then it is rough.
The bald eagle does not chase the bear.
("bald eagle" "chases" "bear" "-")
The bear eats the lion.
("bear" "eats" "lion" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
If something eats the lion then it is rough.
((("something" "eats" "lion" "+")) -> ("something" "is" "rough" "+"))
The bald eagle does not chase the bear.
True
1
proof
[(triple1)]
("bald eagle" "chases" "bear" "-")
triple1
The bear does not eat the lion.
False
1
inv-proof
[(triple2)]
("bear" "eats" "lion" "-")
triple2
The bear is rough.
True
2
proof
[(((triple2) -> rule1))]
("bear" "is" "rough" "+")
((triple2) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is not rough.
False
2
inv-proof
[(((triple2) -> rule1))]
("bear" "is" "rough" "-")
((triple2) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bald eagle is not rough.
Unknown
inv-rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The lion is rough.
Unknown
rconc
[@1: The lion is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "rough" "+")
The bald eagle does not eat the lion.
Unknown
inv-random
[@0: The bald eagle eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "lion" "-")
The lion likes the bear.
Unknown
random
[@0: The lion likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "bear" "+")
@0: The bald eagle does not chase the bear.[(triple1)] The bear eats the lion.[(triple2)] The lion likes the bald eagle.[(triple3)] @1: The bear is rough.[(((triple2) -> rule1))]
The bald eagle does not chase the bear.
("bald eagle" "chases" "bear" "-")
triple1
The bear eats the lion.
("bear" "eats" "lion" "+")
triple2
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple3
The bear is rough.
("bear" "is" "rough" "+")
((triple2) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1