The bald eagle chases the dog. The bald eagle is green. The bald eagle sees the dog. The dog is nice. The dog likes the bald eagle. The mouse likes the dog. The mouse sees the bald eagle. If the bald eagle sees the mouse and the bald eagle sees the dog then the bald eagle likes the dog.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
If the bald eagle sees the mouse and the bald eagle sees the dog then the bald eagle likes the dog.
((("bald eagle" "sees" "mouse" "+") ("bald eagle" "sees" "dog" "+")) -> ("bald eagle" "likes" "dog" "+"))
The dog is nice.
True
1
proof
[(triple4)]
("dog" "is" "nice" "+")
triple4
The dog does not like the bald eagle.
False
1
inv-proof
[(triple5)]
("dog" "likes" "bald eagle" "-")
triple5
The bald eagle does not like the dog.
Unknown
inv-rconc
[@1: The bald eagle likes the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "dog" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle sees the dog.[(triple3)] The dog is nice.[(triple4)] The dog likes the bald eagle.[(triple5)] The mouse likes the dog.[(triple6)] The mouse sees the bald eagle.[(triple7)]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple3
The dog is nice.
("dog" "is" "nice" "+")
triple4
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple5
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple6
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple7