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