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