The bald eagle is blue. The bald eagle needs the lion. The bald eagle needs the mouse. The cow eats the lion. The cow is big. The lion does not eat the cow. The lion is not blue. The lion sees the cow. The lion sees the mouse. The mouse does not eat the cow. The mouse eats the lion. The mouse is big. The mouse is not cold. The mouse is rough. The mouse sees the lion. If someone eats the bald eagle then the bald eagle does not need the mouse. If the mouse is blue then the mouse eats the lion. If someone eats the lion then they see the bald eagle. If someone sees the lion and they see the cow then they eat the lion. If someone eats the lion and they are big then they are blue. If someone sees the bald eagle then the bald eagle does not eat the lion.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is big.
("cow" "is" "big" "+")
The lion does not eat the cow.
("lion" "eats" "cow" "-")
The lion is not blue.
("lion" "is" "blue" "-")
The lion sees the cow.
("lion" "sees" "cow" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The mouse does not eat the cow.
("mouse" "eats" "cow" "-")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is not cold.
("mouse" "is" "cold" "-")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse sees the lion.
("mouse" "sees" "lion" "+")
If someone eats the bald eagle then the bald eagle does not need the mouse.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "needs" "mouse" "-"))
If the mouse is blue then the mouse eats the lion.
((("mouse" "is" "blue" "+")) -> ("mouse" "eats" "lion" "+"))
If someone eats the lion then they see the bald eagle.
((("someone" "eats" "lion" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone sees the lion and they see the cow then they eat the lion.
((("someone" "sees" "lion" "+") ("someone" "sees" "cow" "+")) -> ("someone" "eats" "lion" "+"))
If someone eats the lion and they are big then they are blue.
((("someone" "eats" "lion" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone sees the bald eagle then the bald eagle does not eat the lion.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "eats" "lion" "-"))
The cow is big.
True
1
proof
[(triple5)]
("cow" "is" "big" "+")
triple5
The lion eats the cow.
False
1
inv-proof
[(triple6)]
("lion" "eats" "cow" "+")
triple6
The cow is blue.
True
3
proof
[(((triple4 triple5) -> rule5))]
("cow" "is" "blue" "+")
((triple4 triple5) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is not blue.
False
3
inv-proof
[(((triple4 triple5) -> rule5))]
("cow" "is" "blue" "-")
((triple4 triple5) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The bald eagle does not eat the lion.
True
3
proof
[(((((triple11) -> rule3)) -> rule6) OR ((((triple4) -> rule3)) -> rule6))]
("bald eagle" "eats" "lion" "-")
((((triple11) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle does not eat the lion.
("bald eagle" "eats" "lion" "-")
int1
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int2
((((triple4) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle does not eat the lion.
("bald eagle" "eats" "lion" "-")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2
The bald eagle eats the lion.
False
3
inv-proof
[(((((triple11) -> rule3)) -> rule6) OR ((((triple4) -> rule3)) -> rule6))]
("bald eagle" "eats" "lion" "+")
((((triple11) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle does not eat the lion.
("bald eagle" "eats" "lion" "-")
int1
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int2
((((triple4) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle does not eat the lion.
("bald eagle" "eats" "lion" "-")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2
The lion does not see the bald eagle.
Unknown
inv-rconc
[@2: The lion sees the bald eagle.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("lion" "sees" "bald eagle" "-")
The bald eagle sees the bald eagle.
Unknown
rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The lion does not eat the lion.
Unknown
inv-rconc
[@1: The lion eats the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "eats" "lion" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
The lion does not eat the bald eagle.
Unknown
inv-random
[@0: The lion eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "bald eagle" "-")
The mouse sees the cow.
Unknown
random
[@0: The mouse sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "cow" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle needs the lion.[(triple2)] The bald eagle needs the mouse.[(triple3)] The cow eats the lion.[(triple4)] The cow is big.[(triple5)] The lion does not eat the cow.[(triple6)] The lion is not blue.[(triple7)] The lion sees the cow.[(triple8)] The lion sees the mouse.[(triple9)] The mouse does not eat the cow.[(triple10)] The mouse eats the lion.[(triple11)] The mouse is big.[(triple12)] The mouse is not cold.[(triple13)] The mouse is rough.[(triple14)] The mouse sees the lion.[(triple15)] @1: The cow is blue.[(((triple4 triple5) -> rule5))] The cow sees the bald eagle.[(((triple4) -> rule3))] The mouse is blue.[(((triple11 triple12) -> rule5))] The mouse sees the bald eagle.[(((triple11) -> rule3))] @2: The bald eagle does not eat the lion.[(((((triple11) -> rule3)) -> rule6) OR ((((triple4) -> rule3)) -> rule6))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple2
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple3
The cow eats the lion.
("cow" "eats" "lion" "+")
triple4
The cow is big.
("cow" "is" "big" "+")
triple5
The lion does not eat the cow.
("lion" "eats" "cow" "-")
triple6
The lion is not blue.
("lion" "is" "blue" "-")
triple7
The lion sees the cow.
("lion" "sees" "cow" "+")
triple8
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple9
The mouse does not eat the cow.
("mouse" "eats" "cow" "-")
triple10
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple11
The mouse is big.
("mouse" "is" "big" "+")
triple12
The mouse is not cold.
("mouse" "is" "cold" "-")
triple13
The mouse is rough.
("mouse" "is" "rough" "+")
triple14
The mouse sees the lion.
("mouse" "sees" "lion" "+")
triple15
The cow is blue.
("cow" "is" "blue" "+")
((triple4 triple5) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
((triple4) -> (rule3 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
((triple11 triple12) -> (rule5 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
((triple11) -> (rule3 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1
The bald eagle does not eat the lion.
("bald eagle" "eats" "lion" "-")
((((triple11) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle does not eat the lion.
("bald eagle" "eats" "lion" "-")
int1
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int2
((((triple4) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle does not eat the lion.
("bald eagle" "eats" "lion" "-")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2