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