The bald eagle needs the dog. The dog chases the bald eagle. The dog likes the bald eagle. If the dog chases the bald eagle and the dog is kind then the dog likes the bald eagle. If someone chases the dog then they like the dog. If someone is young and they like the bald eagle then the bald eagle likes the dog.
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
If the dog chases the bald eagle and the dog is kind then the dog likes the bald eagle.
((("dog" "chases" "bald eagle" "+") ("dog" "is" "kind" "+")) -> ("dog" "likes" "bald eagle" "+"))
If someone chases the dog then they like the dog.
((("someone" "chases" "dog" "+")) -> ("someone" "likes" "dog" "+"))
If someone is young and they like the bald eagle then the bald eagle likes the dog.
((("someone" "is" "young" "+") ("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "dog" "+"))
The bald eagle needs the dog.
True
1
proof
[(triple1)]
("bald eagle" "needs" "dog" "+")
triple1
The bald eagle does not need the dog.
False
1
inv-proof
[(triple1)]
("bald eagle" "needs" "dog" "-")
triple1
The bald eagle does not like the dog.
Unknown
inv-rconc
[@1: The bald eagle likes the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "dog" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
@0: The bald eagle needs the dog.[(triple1)] The dog chases the bald eagle.[(triple2)] The dog likes the bald eagle.[(triple3)]
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple2
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple3