The bald eagle visits the lion. The dog is cold. The lion visits the bald eagle. If someone is green and they like the bald eagle then the bald eagle is big. If someone is big then they eat the dog. If someone is big then they eat the bald eagle. If someone is big then they visit the dog. If someone is green and they visit the bald eagle then the bald eagle is rough. If the dog eats the lion and the lion eats the bald eagle then the dog is big.
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The dog is cold.
("dog" "is" "cold" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
If someone is green and they like the bald eagle then the bald eagle is big.
((("someone" "is" "green" "+") ("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "big" "+"))
If someone is big then they eat the dog.
((("someone" "is" "big" "+")) -> ("someone" "eats" "dog" "+"))
If someone is big then they eat the bald eagle.
((("someone" "is" "big" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone is big then they visit the dog.
((("someone" "is" "big" "+")) -> ("someone" "visits" "dog" "+"))
If someone is green and they visit the bald eagle then the bald eagle is rough.
((("someone" "is" "green" "+") ("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
If the dog eats the lion and the lion eats the bald eagle then the dog is big.
((("dog" "eats" "lion" "+") ("lion" "eats" "bald eagle" "+")) -> ("dog" "is" "big" "+"))
The bald eagle visits the lion.
True
1
proof
[(triple1)]
("bald eagle" "visits" "lion" "+")
triple1
The lion does not visit the bald eagle.
False
1
inv-proof
[(triple3)]
("lion" "visits" "bald eagle" "-")
triple3
The lion does not eat the bald eagle.
Unknown
inv-rconc
[@1: The lion eats the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "eats" "bald eagle" "-")
The lion likes the dog.
Unknown
random
[@0: The lion likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "dog" "+")
@0: The bald eagle visits the lion.[(triple1)] The dog is cold.[(triple2)] The lion visits the bald eagle.[(triple3)]
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple1
The dog is cold.
("dog" "is" "cold" "+")
triple2
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple3