The bald eagle likes the lion. The lion chases the bald eagle. The lion eats the bald eagle. If someone likes the bald eagle and they are not red then the bald eagle is cold. If the lion eats the bald eagle and the lion is not rough then the bald eagle is cold. If someone is big then they like the bald eagle. If someone is cold and they do not chase the bald eagle then the bald eagle does not eat the lion. If someone eats the lion then the lion likes the bald eagle. If someone is young then they do not eat the lion. If someone eats the bald eagle then the bald eagle chases the lion. If the lion likes the bald eagle and the bald eagle does not eat the lion then the bald eagle likes the lion.
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
If someone likes the bald eagle and they are not red then the bald eagle is cold.
((("someone" "likes" "bald eagle" "+") ("someone" "is" "red" "~")) -> ("bald eagle" "is" "cold" "+"))
If the lion eats the bald eagle and the lion is not rough then the bald eagle is cold.
((("lion" "eats" "bald eagle" "+") ("lion" "is" "rough" "~")) -> ("bald eagle" "is" "cold" "+"))
If someone is big then they like the bald eagle.
((("someone" "is" "big" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone is cold and they do not chase the bald eagle then the bald eagle does not eat the lion.
((("someone" "is" "cold" "+") ("someone" "chases" "bald eagle" "~")) -> ("bald eagle" "eats" "lion" "-"))
If someone eats the lion then the lion likes the bald eagle.
((("someone" "eats" "lion" "+")) -> ("lion" "likes" "bald eagle" "+"))
If someone is young then they do not eat the lion.
((("someone" "is" "young" "+")) -> ("someone" "eats" "lion" "-"))
If someone eats the bald eagle then the bald eagle chases the lion.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "chases" "lion" "+"))
If the lion likes the bald eagle and the bald eagle does not eat the lion then the bald eagle likes the lion.
((("lion" "likes" "bald eagle" "+") ("bald eagle" "eats" "lion" "~")) -> ("bald eagle" "likes" "lion" "+"))
The lion eats the bald eagle.
True
1
proof
[(triple3)]
("lion" "eats" "bald eagle" "+")
triple3
The lion does not eat the bald eagle.
False
1
inv-proof
[(triple3)]
("lion" "eats" "bald eagle" "-")
triple3
The bald eagle is not cold.
Unknown
inv-rconc
[@1: The bald eagle is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "cold" "-")
The bald eagle eats the lion.
Unknown
random
[@0: The bald eagle eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "lion" "+")
@0: The bald eagle likes the lion.[(triple1)] The lion chases the bald eagle.[(triple2)] The lion eats the bald eagle.[(triple3)] @1: The bald eagle chases the lion.[(((triple3) -> rule7))]
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple1
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple3
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
((triple3) -> (rule7 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1