The bald eagle does not like the dog. The dog does not visit the bald eagle. The mouse sees the bald eagle. If the bald eagle is rough then the bald eagle does not see the dog. If the bald eagle visits the mouse and the bald eagle sees the dog then the bald eagle is not blue. If someone visits the dog then they like the dog. If someone is blue then they do not visit the bald eagle. If someone likes the bald eagle and they do not like the dog then the bald eagle is nice. If someone is blue and they do not like the dog then they like the mouse.
The bald eagle does not like the dog.
("bald eagle" "likes" "dog" "-")
The dog does not visit the bald eagle.
("dog" "visits" "bald eagle" "-")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
If the bald eagle is rough then the bald eagle does not see the dog.
((("bald eagle" "is" "rough" "+")) -> ("bald eagle" "sees" "dog" "-"))
If the bald eagle visits the mouse and the bald eagle sees the dog then the bald eagle is not blue.
((("bald eagle" "visits" "mouse" "+") ("bald eagle" "sees" "dog" "+")) -> ("bald eagle" "is" "blue" "-"))
If someone visits the dog then they like the dog.
((("someone" "visits" "dog" "+")) -> ("someone" "likes" "dog" "+"))
If someone is blue then they do not visit the bald eagle.
((("someone" "is" "blue" "+")) -> ("someone" "visits" "bald eagle" "-"))
If someone likes the bald eagle and they do not like the dog then the bald eagle is nice.
((("someone" "likes" "bald eagle" "+") ("someone" "likes" "dog" "~")) -> ("bald eagle" "is" "nice" "+"))
If someone is blue and they do not like the dog then they like the mouse.
((("someone" "is" "blue" "+") ("someone" "likes" "dog" "~")) -> ("someone" "likes" "mouse" "+"))
The bald eagle does not like the dog.
True
1
proof
[(triple1)]
("bald eagle" "likes" "dog" "-")
triple1
The bald eagle likes the dog.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "dog" "+")
triple1
The dog does not like the mouse.
Unknown
inv-rconc
[@1: The dog likes the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "likes" "mouse" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
@0: The bald eagle does not like the dog.[(triple1)] The dog does not visit the bald eagle.[(triple2)] The mouse sees the bald eagle.[(triple3)]
The bald eagle does not like the dog.
("bald eagle" "likes" "dog" "-")
triple1
The dog does not visit the bald eagle.
("dog" "visits" "bald eagle" "-")
triple2
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple3