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