The bald eagle chases the mouse. The bald eagle eats the mouse. The bald eagle is kind. The bald eagle is red. The bald eagle likes the mouse. The mouse chases the bald eagle. The mouse is nice. If something chases the bald eagle then the bald eagle is kind. If something eats the bald eagle then it eats the mouse. If something eats the mouse then it is rough. If something is rough then it is kind. If the mouse is kind and the mouse likes the bald eagle then the bald eagle likes the mouse. If something chases the bald eagle then the bald eagle likes 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 is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
If something chases the bald eagle then the bald eagle is kind.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "kind" "+"))
If something eats the bald eagle then it eats the mouse.
((("something" "eats" "bald eagle" "+")) -> ("something" "eats" "mouse" "+"))
If something eats the mouse then it is rough.
((("something" "eats" "mouse" "+")) -> ("something" "is" "rough" "+"))
If something is rough then it is kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
If the mouse is kind and the mouse likes the bald eagle then the bald eagle likes the mouse.
((("mouse" "is" "kind" "+") ("mouse" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "mouse" "+"))
If something chases the bald eagle then the bald eagle likes the mouse.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "likes" "mouse" "+"))
The bald eagle is red.
True
1
proof
[(triple4)]
("bald eagle" "is" "red" "+")
triple4
The bald eagle does not like the mouse.
False
1
inv-proof
[(triple5 OR ((triple6) -> rule6))]
("bald eagle" "likes" "mouse" "-")
triple5
((triple6) -> (rule6 % int1))
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
int1
The bald eagle is rough.
True
2
proof
[(((triple2) -> rule3))]
("bald eagle" "is" "rough" "+")
((triple2) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is not rough.
False
2
inv-proof
[(((triple2) -> rule3))]
("bald eagle" "is" "rough" "-")
((triple2) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The mouse does not eat the mouse.
Unknown
inv-rconc
[@1: The mouse eats the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "eats" "mouse" "-")
The mouse is rough.
Unknown
rconc
[@2: The mouse is rough.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("mouse" "is" "rough" "+")
The mouse is not red.
Unknown
inv-random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "-")
The bald eagle is nice.
Unknown
random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is kind.[(triple3 OR ((triple6) -> rule1) OR ((((triple2) -> rule3)) -> rule4))] The bald eagle is red.[(triple4)] The bald eagle likes the mouse.[(triple5 OR ((triple6) -> rule6))] The mouse chases the bald eagle.[(triple6)] The mouse is nice.[(triple7)] @1: The bald eagle is rough.[(((triple2) -> rule3))]
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
((triple6) -> (rule1 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
((((triple2) -> (rule3 % int2))) -> (rule4 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple4
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple5
((triple6) -> (rule6 % int1))
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple6
The mouse is nice.
("mouse" "is" "nice" "+")
triple7
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple2) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1