The bald eagle needs the lion. The bald eagle sees the lion. The bald eagle sees the mouse. The lion likes the mouse. The lion needs the mouse. The mouse likes the bald eagle. The mouse sees the bald eagle. If something sees the bald eagle and it needs the mouse then the mouse is kind. If something needs the bald eagle then the bald eagle likes the lion. If the mouse sees the lion then the mouse needs the lion. If the mouse is green then the mouse is rough. If something likes the bald eagle then the bald eagle sees the mouse. If something needs the mouse and it sees the mouse then the mouse likes the lion. If the bald eagle sees the mouse then the mouse likes the lion. If something sees the bald eagle and it sees the mouse then the mouse likes the lion.
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
If something sees the bald eagle and it needs the mouse then the mouse is kind.
((("something" "sees" "bald eagle" "+") ("something" "needs" "mouse" "+")) -> ("mouse" "is" "kind" "+"))
If something needs the bald eagle then the bald eagle likes the lion.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "likes" "lion" "+"))
If the mouse sees the lion then the mouse needs the lion.
((("mouse" "sees" "lion" "+")) -> ("mouse" "needs" "lion" "+"))
If the mouse is green then the mouse is rough.
((("mouse" "is" "green" "+")) -> ("mouse" "is" "rough" "+"))
If something likes the bald eagle then the bald eagle sees the mouse.
((("something" "likes" "bald eagle" "+")) -> ("bald eagle" "sees" "mouse" "+"))
If something needs the mouse and it sees the mouse then the mouse likes the lion.
((("something" "needs" "mouse" "+") ("something" "sees" "mouse" "+")) -> ("mouse" "likes" "lion" "+"))
If the bald eagle sees the mouse then the mouse likes the lion.
((("bald eagle" "sees" "mouse" "+")) -> ("mouse" "likes" "lion" "+"))
If something sees the bald eagle and it sees the mouse then the mouse likes the lion.
((("something" "sees" "bald eagle" "+") ("something" "sees" "mouse" "+")) -> ("mouse" "likes" "lion" "+"))
The mouse likes the bald eagle.
True
1
proof
[(triple6)]
("mouse" "likes" "bald eagle" "+")
triple6
The bald eagle does not need the lion.
False
1
inv-proof
[(triple1)]
("bald eagle" "needs" "lion" "-")
triple1
The mouse likes the lion.
True
2
proof
[(((triple3) -> rule7) OR ((((triple6) -> rule5)) -> rule7))]
("mouse" "likes" "lion" "+")
((triple3) -> (rule7 % int1))
The mouse likes the lion.
("mouse" "likes" "lion" "+")
int1
((((triple6) -> (rule5 % int2))) -> (rule7 % int1))
The mouse likes the lion.
("mouse" "likes" "lion" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int2
The mouse does not like the lion.
False
2
inv-proof
[(((triple3) -> rule7) OR ((((triple6) -> rule5)) -> rule7))]
("mouse" "likes" "lion" "-")
((triple3) -> (rule7 % int1))
The mouse likes the lion.
("mouse" "likes" "lion" "+")
int1
((((triple6) -> (rule5 % int2))) -> (rule7 % int1))
The mouse likes the lion.
("mouse" "likes" "lion" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int2
The mouse does not need the lion.
Unknown
inv-rconc
[@1: The mouse needs the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "needs" "lion" "-")
The bald eagle likes the lion.
Unknown
rconc
[@1: The bald eagle likes the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "lion" "+")
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
@0: The bald eagle needs the lion.[(triple1)] The bald eagle sees the lion.[(triple2)] The bald eagle sees the mouse.[(triple3 OR ((triple6) -> rule5))] The lion likes the mouse.[(triple4)] The lion needs the mouse.[(triple5)] The mouse likes the bald eagle.[(triple6)] The mouse sees the bald eagle.[(triple7)] @1: The mouse likes the lion.[(((triple3) -> rule7) OR ((((triple6) -> rule5)) -> rule7))]
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple2
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple3
((triple6) -> (rule5 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple4
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple5
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple6
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple7
The mouse likes the lion.
("mouse" "likes" "lion" "+")
((triple3) -> (rule7 % int1))
The mouse likes the lion.
("mouse" "likes" "lion" "+")
int1
((((triple6) -> (rule5 % int2))) -> (rule7 % int1))
The mouse likes the lion.
("mouse" "likes" "lion" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int2