The bald eagle chases the dog. The bald eagle eats the dog. The bald eagle eats the mouse. The bald eagle is red. The dog is green. The mouse needs the bald eagle. The mouse needs the dog. If someone needs the bald eagle and the bald eagle chases the dog then they eat the mouse.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The dog is green.
("dog" "is" "green" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
If someone needs the bald eagle and the bald eagle chases the dog then they eat the mouse.
((("someone" "needs" "bald eagle" "+") ("bald eagle" "chases" "dog" "+")) -> ("someone" "eats" "mouse" "+"))
The bald eagle eats the dog.
True
1
proof
[(triple2)]
("bald eagle" "eats" "dog" "+")
triple2
The mouse does not need the dog.
False
1
inv-proof
[(triple7)]
("mouse" "needs" "dog" "-")
triple7
The mouse eats the mouse.
True
3
proof
[(((triple6 triple1) -> rule1))]
("mouse" "eats" "mouse" "+")
((triple6 triple1) -> (rule1 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse does not eat the mouse.
False
3
inv-proof
[(((triple6 triple1) -> rule1))]
("mouse" "eats" "mouse" "-")
((triple6 triple1) -> (rule1 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The dog does not eat the mouse.
Unknown
inv-rconc
[@1: The dog eats the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "eats" "mouse" "-")
The mouse is blue.
Unknown
random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "+")
The bald eagle does not chase the mouse.
Unknown
inv-random
[@0: The bald eagle chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "mouse" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle eats the dog.[(triple2)] The bald eagle eats the mouse.[(triple3)] The bald eagle is red.[(triple4)] The dog is green.[(triple5)] The mouse needs the bald eagle.[(triple6)] The mouse needs the dog.[(triple7)] @1: The mouse eats the mouse.[(((triple6 triple1) -> rule1))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple2
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple3
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple4
The dog is green.
("dog" "is" "green" "+")
triple5
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple6
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple7
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((triple6 triple1) -> (rule1 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1