The bald eagle needs the lion. The cow needs the bald eagle. The lion eats the bald eagle. The mouse is kind. If someone likes the lion then the lion needs the cow. If someone eats the bald eagle and they are rough then they need the mouse. If someone needs the lion and they are rough then they are young. If the cow eats the mouse then the cow eats the bald eagle. If someone likes the bald eagle and the bald eagle eats the mouse then the bald eagle needs the lion. If someone needs the lion and the lion eats the cow then the cow eats the mouse. If someone needs the bald eagle then they are cold. If someone needs the bald eagle and they are kind then the bald eagle eats the lion.
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
If someone likes the lion then the lion needs the cow.
((("someone" "likes" "lion" "+")) -> ("lion" "needs" "cow" "+"))
If someone eats the bald eagle and they are rough then they need the mouse.
((("someone" "eats" "bald eagle" "+") ("someone" "is" "rough" "+")) -> ("someone" "needs" "mouse" "+"))
If someone needs the lion and they are rough then they are young.
((("someone" "needs" "lion" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If the cow eats the mouse then the cow eats the bald eagle.
((("cow" "eats" "mouse" "+")) -> ("cow" "eats" "bald eagle" "+"))
If someone likes the bald eagle and the bald eagle eats the mouse then the bald eagle needs the lion.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "eats" "mouse" "+")) -> ("bald eagle" "needs" "lion" "+"))
If someone needs the lion and the lion eats the cow then the cow eats the mouse.
((("someone" "needs" "lion" "+") ("lion" "eats" "cow" "+")) -> ("cow" "eats" "mouse" "+"))
If someone needs the bald eagle then they are cold.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "is" "cold" "+"))
If someone needs the bald eagle and they are kind then the bald eagle eats the lion.
((("someone" "needs" "bald eagle" "+") ("someone" "is" "kind" "+")) -> ("bald eagle" "eats" "lion" "+"))
The cow needs the bald eagle.
True
1
proof
[(triple2)]
("cow" "needs" "bald eagle" "+")
triple2
The bald eagle does not need the lion.
False
1
inv-proof
[(triple1)]
("bald eagle" "needs" "lion" "-")
triple1
The cow is cold.
True
2
proof
[(((triple2) -> rule7))]
("cow" "is" "cold" "+")
((triple2) -> (rule7 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is not cold.
False
2
inv-proof
[(((triple2) -> rule7))]
("cow" "is" "cold" "-")
((triple2) -> (rule7 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The mouse does not need the mouse.
Unknown
inv-rconc
[@1: The mouse needs the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "needs" "mouse" "-")
The cow eats the bald eagle.
Unknown
rconc
[@2: The cow eats the bald eagle.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("cow" "eats" "bald eagle" "+")
The bald eagle does not need the cow.
Unknown
inv-random
[@0: The bald eagle needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "cow" "-")
The bald eagle eats the mouse.
Unknown
random
[@0: The bald eagle eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "mouse" "+")
@0: The bald eagle needs the lion.[(triple1)] The cow needs the bald eagle.[(triple2)] The lion eats the bald eagle.[(triple3)] The mouse is kind.[(triple4)] @1: The cow is cold.[(((triple2) -> rule7))]
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple3
The mouse is kind.
("mouse" "is" "kind" "+")
triple4
The cow is cold.
("cow" "is" "cold" "+")
((triple2) -> (rule7 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1