The bald eagle eats the lion. The lion eats the bald eagle. The lion does not eat the rabbit. The lion does not visit the rabbit. The rabbit eats the bald eagle. The rabbit is blue. The rabbit is rough. If something visits the bald eagle and it visits the rabbit then it chases the bald eagle. If something eats the lion then it is rough.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion does not eat the rabbit.
("lion" "eats" "rabbit" "-")
The lion does not visit the rabbit.
("lion" "visits" "rabbit" "-")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
If something visits the bald eagle and it visits the rabbit then it chases the bald eagle.
((("something" "visits" "bald eagle" "+") ("something" "visits" "rabbit" "+")) -> ("something" "chases" "bald eagle" "+"))
If something eats the lion then it is rough.
((("something" "eats" "lion" "+")) -> ("something" "is" "rough" "+"))
The lion does not eat the rabbit.
True
1
proof
[(triple3)]
("lion" "eats" "rabbit" "-")
triple3
The lion eats the rabbit.
False
1
inv-proof
[(triple3)]
("lion" "eats" "rabbit" "+")
triple3
The bald eagle is rough.
True
2
proof
[(((triple1) -> rule2))]
("bald eagle" "is" "rough" "+")
((triple1) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is not rough.
False
2
inv-proof
[(((triple1) -> rule2))]
("bald eagle" "is" "rough" "-")
((triple1) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The lion is not rough.
Unknown
inv-rconc
[@1: The lion is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "rough" "-")
The lion chases the bald eagle.
Unknown
rconc
[@1: The lion chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "chases" "bald eagle" "+")
The bald eagle does not visit the lion.
Unknown
inv-random
[@0: The bald eagle visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "lion" "-")
The rabbit chases the lion.
Unknown
random
[@0: The rabbit chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "lion" "+")
@0: The bald eagle eats the lion.[(triple1)] The lion does not eat the rabbit.[(triple3)] The lion does not visit the rabbit.[(triple4)] The lion eats the bald eagle.[(triple2)] The rabbit eats the bald eagle.[(triple5)] The rabbit is blue.[(triple6)] The rabbit is rough.[(triple7)] @1: The bald eagle is rough.[(((triple1) -> rule2))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The lion does not eat the rabbit.
("lion" "eats" "rabbit" "-")
triple3
The lion does not visit the rabbit.
("lion" "visits" "rabbit" "-")
triple4
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple2
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple5
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple6
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple7
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple1) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1