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