The bald eagle sees the dog. The dog eats the lion. The lion eats the bald eagle. If the dog is big and the dog is kind then the dog needs the bald eagle.
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
If the dog is big and the dog is kind then the dog needs the bald eagle.
((("dog" "is" "big" "+") ("dog" "is" "kind" "+")) -> ("dog" "needs" "bald eagle" "+"))
The bald eagle sees the dog.
True
1
proof
[(triple1)]
("bald eagle" "sees" "dog" "+")
triple1
The dog does not eat the lion.
False
1
inv-proof
[(triple2)]
("dog" "eats" "lion" "-")
triple2
The dog does not need the bald eagle.
Unknown
inv-rconc
[@1: The dog needs the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "needs" "bald eagle" "-")
The lion is kind.
Unknown
random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "+")
@0: The bald eagle sees the dog.[(triple1)] The dog eats the lion.[(triple2)] The lion eats the bald eagle.[(triple3)]
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple1
The dog eats the lion.
("dog" "eats" "lion" "+")
triple2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple3