The bald eagle does not like the mouse. The lion eats the bald eagle. The lion eats the mouse. The lion is young. The lion does not like the bald eagle. The lion likes the mouse. The mouse does not eat the bald eagle. The mouse eats the lion. The mouse likes the lion. The mouse needs the lion. If the lion eats the bald eagle and the bald eagle is big then the lion is red. If someone needs the mouse then they do not need the lion. If someone needs the lion then the lion needs the mouse. If the mouse is red then the mouse does not eat the bald eagle. If someone eats the bald eagle and they do not like the mouse then they like the bald eagle. If someone eats the lion then they are not red.
The bald eagle does not like the mouse.
("bald eagle" "likes" "mouse" "-")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion is young.
("lion" "is" "young" "+")
The lion does not like the bald eagle.
("lion" "likes" "bald eagle" "-")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The mouse does not eat the bald eagle.
("mouse" "eats" "bald eagle" "-")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
If the lion eats the bald eagle and the bald eagle is big then the lion is red.
((("lion" "eats" "bald eagle" "+") ("bald eagle" "is" "big" "+")) -> ("lion" "is" "red" "+"))
If someone needs the mouse then they do not need the lion.
((("someone" "needs" "mouse" "+")) -> ("someone" "needs" "lion" "-"))
If someone needs the lion then the lion needs the mouse.
((("someone" "needs" "lion" "+")) -> ("lion" "needs" "mouse" "+"))
If the mouse is red then the mouse does not eat the bald eagle.
((("mouse" "is" "red" "+")) -> ("mouse" "eats" "bald eagle" "-"))
If someone eats the bald eagle and they do not like the mouse then they like the bald eagle.
((("someone" "eats" "bald eagle" "+") ("someone" "likes" "mouse" "~")) -> ("someone" "likes" "bald eagle" "+"))
If someone eats the lion then they are not red.
((("someone" "eats" "lion" "+")) -> ("someone" "is" "red" "-"))
The lion is young.
True
1
proof
[(triple4)]
("lion" "is" "young" "+")
triple4
The lion does not like the mouse.
False
1
inv-proof
[(triple6)]
("lion" "likes" "mouse" "-")
triple6
The lion needs the mouse.
True
2
proof
[(((triple10) -> rule3))]
("lion" "needs" "mouse" "+")
((triple10) -> (rule3 % int1))
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int1
The lion does not need the mouse.
False
2
inv-proof
[(((triple10) -> rule3))]
("lion" "needs" "mouse" "-")
((triple10) -> (rule3 % int1))
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int1
The lion does not need the lion.
True
3
proof
[(((((triple10) -> rule3)) -> rule2))]
("lion" "needs" "lion" "-")
((((triple10) -> (rule3 % int2))) -> (rule2 % int1))
The lion does not need the lion.
("lion" "needs" "lion" "-")
int1
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int2
The lion needs the lion.
False
3
inv-proof
[(((((triple10) -> rule3)) -> rule2))]
("lion" "needs" "lion" "+")
((((triple10) -> (rule3 % int2))) -> (rule2 % int1))
The lion does not need the lion.
("lion" "needs" "lion" "-")
int1
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int2
The lion is not red.
Unknown
inv-rconc
[@1: The lion is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "red" "-")
The bald eagle likes the bald eagle.
Unknown
rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The mouse does not like the bald eagle.
Unknown
inv-rconc
[@1: The mouse likes the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "likes" "bald eagle" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
The mouse is not green.
Unknown
inv-random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
@0: The bald eagle does not like the mouse.[(triple1)] The lion does not like the bald eagle.[(triple5)] The lion eats the bald eagle.[(triple2)] The lion eats the mouse.[(triple3)] The lion is young.[(triple4)] The lion likes the mouse.[(triple6)] The mouse does not eat the bald eagle.[(triple7)] The mouse eats the lion.[(triple8)] The mouse likes the lion.[(triple9)] The mouse needs the lion.[(triple10)] @1: The lion needs the mouse.[(((triple10) -> rule3))] The mouse is not red.[(((triple8) -> rule6))] @2: The lion does not need the lion.[(((((triple10) -> rule3)) -> rule2))]
The bald eagle does not like the mouse.
("bald eagle" "likes" "mouse" "-")
triple1
The lion does not like the bald eagle.
("lion" "likes" "bald eagle" "-")
triple5
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple2
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple3
The lion is young.
("lion" "is" "young" "+")
triple4
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple6
The mouse does not eat the bald eagle.
("mouse" "eats" "bald eagle" "-")
triple7
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple8
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple9
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple10
The lion needs the mouse.
("lion" "needs" "mouse" "+")
((triple10) -> (rule3 % int1))
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int1
The mouse is not red.
("mouse" "is" "red" "-")
((triple8) -> (rule6 % int1))
The mouse is not red.
("mouse" "is" "red" "-")
int1
The lion does not need the lion.
("lion" "needs" "lion" "-")
((((triple10) -> (rule3 % int2))) -> (rule2 % int1))
The lion does not need the lion.
("lion" "needs" "lion" "-")
int1
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int2