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