The bald eagle chases the mouse. The bald eagle eats the mouse. The bald eagle is kind. The bald eagle sees the mouse. The mouse chases the bald eagle. The mouse eats the bald eagle. The mouse is kind. The mouse is nice. The mouse is rough. The mouse sees the bald eagle. If someone sees the bald eagle then the bald eagle is rough. If someone eats the mouse and they are rough then they see the mouse.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
If someone sees the bald eagle then the bald eagle is rough.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
If someone eats the mouse and they are rough then they see the mouse.
((("someone" "eats" "mouse" "+") ("someone" "is" "rough" "+")) -> ("someone" "sees" "mouse" "+"))
The bald eagle eats the mouse.
True
1
proof
[(triple2)]
("bald eagle" "eats" "mouse" "+")
triple2
The bald eagle does not eat the mouse.
False
1
inv-proof
[(triple2)]
("bald eagle" "eats" "mouse" "-")
triple2
The bald eagle is rough.
True
2
proof
[(((triple10) -> rule1))]
("bald eagle" "is" "rough" "+")
((triple10) -> (rule1 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is not rough.
False
2
inv-proof
[(((triple10) -> rule1))]
("bald eagle" "is" "rough" "-")
((triple10) -> (rule1 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The mouse does not see the mouse.
Unknown
inv-rconc
[@1: The mouse sees the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "sees" "mouse" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle sees the mouse.[(triple4 OR ((triple2 ((triple10) -> rule1)) -> rule2))] The mouse chases the bald eagle.[(triple5)] The mouse eats the bald eagle.[(triple6)] The mouse is kind.[(triple7)] The mouse is nice.[(triple8)] The mouse is rough.[(triple9)] The mouse sees the bald eagle.[(triple10)] @1: The bald eagle is rough.[(((triple10) -> rule1))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple4
((triple2 ((triple10) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple5
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple6
The mouse is kind.
("mouse" "is" "kind" "+")
triple7
The mouse is nice.
("mouse" "is" "nice" "+")
triple8
The mouse is rough.
("mouse" "is" "rough" "+")
triple9
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple10
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple10) -> (rule1 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1