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