The bald eagle does not see the mouse. The dog sees the rabbit. The mouse does not visit the dog. The rabbit eats the dog. If something is rough and it visits the rabbit then the rabbit is rough.
The bald eagle does not see the mouse.
("bald eagle" "sees" "mouse" "-")
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The mouse does not visit the dog.
("mouse" "visits" "dog" "-")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
If something is rough and it visits the rabbit then the rabbit is rough.
((("something" "is" "rough" "+") ("something" "visits" "rabbit" "+")) -> ("rabbit" "is" "rough" "+"))
The mouse does not visit the dog.
True
1
proof
[(triple3)]
("mouse" "visits" "dog" "-")
triple3
The rabbit does not eat the dog.
False
1
inv-proof
[(triple4)]
("rabbit" "eats" "dog" "-")
triple4
The rabbit is not rough.
Unknown
inv-rconc
[@1: The rabbit is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "rough" "-")
The rabbit eats the bald eagle.
Unknown
random
[@0: The rabbit eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "bald eagle" "+")
@0: The bald eagle does not see the mouse.[(triple1)] The dog sees the rabbit.[(triple2)] The mouse does not visit the dog.[(triple3)] The rabbit eats the dog.[(triple4)]
The bald eagle does not see the mouse.
("bald eagle" "sees" "mouse" "-")
triple1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple2
The mouse does not visit the dog.
("mouse" "visits" "dog" "-")
triple3
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple4