The bald eagle is rough. The lion does not like the bald eagle. The lion sees the mouse. The mouse is big. The mouse is blue. The mouse is rough. The mouse sees the bald eagle. If the lion eats the bald eagle and the bald eagle is green then the bald eagle is big. If someone eats the bald eagle then the bald eagle sees the mouse. If the bald eagle sees the lion then the lion likes the bald eagle. If the mouse sees the bald eagle then the mouse likes the lion. If someone likes the bald eagle then they are not rough. If someone is rough then they eat the bald eagle. If someone eats the mouse then they are young. If the mouse likes the lion then the lion likes the mouse.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The lion does not like the bald eagle.
("lion" "likes" "bald eagle" "-")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
If the lion eats the bald eagle and the bald eagle is green then the bald eagle is big.
((("lion" "eats" "bald eagle" "+") ("bald eagle" "is" "green" "+")) -> ("bald eagle" "is" "big" "+"))
If someone eats the bald eagle then the bald eagle sees the mouse.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "sees" "mouse" "+"))
If the bald eagle sees the lion then the lion likes the bald eagle.
((("bald eagle" "sees" "lion" "+")) -> ("lion" "likes" "bald eagle" "+"))
If the mouse sees the bald eagle then the mouse likes the lion.
((("mouse" "sees" "bald eagle" "+")) -> ("mouse" "likes" "lion" "+"))
If someone likes the bald eagle then they are not rough.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "is" "rough" "-"))
If someone is rough then they eat the bald eagle.
((("someone" "is" "rough" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone eats the mouse then they are young.
((("someone" "eats" "mouse" "+")) -> ("someone" "is" "young" "+"))
If the mouse likes the lion then the lion likes the mouse.
((("mouse" "likes" "lion" "+")) -> ("lion" "likes" "mouse" "+"))
The lion does not like the bald eagle.
True
1
proof
[(triple2)]
("lion" "likes" "bald eagle" "-")
triple2
The lion likes the bald eagle.
False
1
inv-proof
[(triple2)]
("lion" "likes" "bald eagle" "+")
triple2
The mouse likes the lion.
True
2
proof
[(((triple7) -> rule4))]
("mouse" "likes" "lion" "+")
((triple7) -> (rule4 % int1))
The mouse likes the lion.
("mouse" "likes" "lion" "+")
int1
The mouse does not eat the bald eagle.
False
2
inv-proof
[(((triple6) -> rule6))]
("mouse" "eats" "bald eagle" "-")
((triple6) -> (rule6 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The bald eagle sees the mouse.
True
3
proof
[(((((triple1) -> rule6)) -> rule2) OR ((((triple6) -> rule6)) -> rule2))]
("bald eagle" "sees" "mouse" "+")
((((triple1) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
((((triple6) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The bald eagle does not see the mouse.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule2) OR ((((triple6) -> rule6)) -> rule2))]
("bald eagle" "sees" "mouse" "-")
((((triple1) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
((((triple6) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "is" "young" "-")
The bald eagle is big.
Unknown
rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "big" "+")
The mouse is not young.
Unknown
inv-rconc
[@1: The mouse is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "is" "young" "-")
The lion is blue.
Unknown
random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
@0: The bald eagle is rough.[(triple1)] The lion does not like the bald eagle.[(triple2)] The lion sees the mouse.[(triple3)] The mouse is big.[(triple4)] The mouse is blue.[(triple5)] The mouse is rough.[(triple6)] The mouse sees the bald eagle.[(triple7)] @1: The bald eagle eats the bald eagle.[(((triple1) -> rule6))] The mouse eats the bald eagle.[(((triple6) -> rule6))] The mouse likes the lion.[(((triple7) -> rule4))] @2: The bald eagle sees the mouse.[(((((triple1) -> rule6)) -> rule2) OR ((((triple6) -> rule6)) -> rule2))] The lion likes the mouse.[(((((triple7) -> rule4)) -> rule8))]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The lion does not like the bald eagle.
("lion" "likes" "bald eagle" "-")
triple2
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple3
The mouse is big.
("mouse" "is" "big" "+")
triple4
The mouse is blue.
("mouse" "is" "blue" "+")
triple5
The mouse is rough.
("mouse" "is" "rough" "+")
triple6
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple7
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple1) -> (rule6 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
((triple6) -> (rule6 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The mouse likes the lion.
("mouse" "likes" "lion" "+")
((triple7) -> (rule4 % int1))
The mouse likes the lion.
("mouse" "likes" "lion" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
((((triple1) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
((((triple6) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The lion likes the mouse.
("lion" "likes" "mouse" "+")
((((triple7) -> (rule4 % int2))) -> (rule8 % int1))
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int1
The mouse likes the lion.
("mouse" "likes" "lion" "+")
int2