The bald eagle eats the mouse. The bear sees the mouse. The cat sees the mouse. The mouse likes the bear. If something eats the bald eagle and it likes the bald eagle then the bald eagle eats the mouse. If something eats the mouse then it is rough.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
If something eats the bald eagle and it likes the bald eagle then the bald eagle eats the mouse.
((("something" "eats" "bald eagle" "+") ("something" "likes" "bald eagle" "+")) -> ("bald eagle" "eats" "mouse" "+"))
If something eats the mouse then it is rough.
((("something" "eats" "mouse" "+")) -> ("something" "is" "rough" "+"))
The mouse likes the bear.
True
1
proof
[(triple4)]
("mouse" "likes" "bear" "+")
triple4
The cat does not see the mouse.
False
1
inv-proof
[(triple3)]
("cat" "sees" "mouse" "-")
triple3
The bald eagle is rough.
True
2
proof
[(((triple1) -> rule2))]
("bald eagle" "is" "rough" "+")
((triple1) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is not rough.
False
2
inv-proof
[(((triple1) -> rule2))]
("bald eagle" "is" "rough" "-")
((triple1) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The mouse is not rough.
Unknown
inv-rconc
[@1: The mouse is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "rough" "-")
The cat is rough.
Unknown
rconc
[@1: The cat is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "rough" "+")
The bear does not like the bald eagle.
Unknown
inv-random
[@0: The bear likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bald eagle" "-")
The cat sees the bear.
Unknown
random
[@0: The cat sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "bear" "+")
@0: The bald eagle eats the mouse.[(triple1)] The bear sees the mouse.[(triple2)] The cat sees the mouse.[(triple3)] The mouse likes the bear.[(triple4)] @1: The bald eagle is rough.[(((triple1) -> rule2))]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple2
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple3
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple4
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple1) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1