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