The bald eagle eats the squirrel. The bald eagle is not cold. The bear eats the bald eagle. The bear does not eat the tiger. The bear is big. The squirrel is kind. The tiger does not need the squirrel. If someone likes the squirrel and they eat the squirrel then they do not need the squirrel. If the bald eagle needs the tiger and the bald eagle is not cold then the bald eagle likes the tiger. If someone eats the bear then they eat the bald eagle. If someone eats the squirrel then the squirrel eats the tiger. If someone likes the bald eagle then they eat the bear. If someone eats the tiger then the tiger eats the bear.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear does not eat the tiger.
("bear" "eats" "tiger" "-")
The bear is big.
("bear" "is" "big" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The tiger does not need the squirrel.
("tiger" "needs" "squirrel" "-")
If someone likes the squirrel and they eat the squirrel then they do not need the squirrel.
((("someone" "likes" "squirrel" "+") ("someone" "eats" "squirrel" "+")) -> ("someone" "needs" "squirrel" "-"))
If the bald eagle needs the tiger and the bald eagle is not cold then the bald eagle likes the tiger.
((("bald eagle" "needs" "tiger" "+") ("bald eagle" "is" "cold" "~")) -> ("bald eagle" "likes" "tiger" "+"))
If someone eats the bear then they eat the bald eagle.
((("someone" "eats" "bear" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone eats the squirrel then the squirrel eats the tiger.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "eats" "tiger" "+"))
If someone likes the bald eagle then they eat the bear.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "eats" "bear" "+"))
If someone eats the tiger then the tiger eats the bear.
((("someone" "eats" "tiger" "+")) -> ("tiger" "eats" "bear" "+"))
The bald eagle eats the squirrel.
True
1
proof
[(triple1)]
("bald eagle" "eats" "squirrel" "+")
triple1
The squirrel is not kind.
False
1
inv-proof
[(triple6)]
("squirrel" "is" "kind" "-")
triple6
The squirrel eats the tiger.
True
2
proof
[(((triple1) -> rule4))]
("squirrel" "eats" "tiger" "+")
((triple1) -> (rule4 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1
The squirrel does not eat the tiger.
False
2
inv-proof
[(((triple1) -> rule4))]
("squirrel" "eats" "tiger" "-")
((triple1) -> (rule4 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1
The tiger eats the bear.
True
3
proof
[(((((triple1) -> rule4)) -> rule6))]
("tiger" "eats" "bear" "+")
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The tiger does not eat the bear.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule6))]
("tiger" "eats" "bear" "-")
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The tiger eats the bald eagle.
True
4
proof
[(((((((triple1) -> rule4)) -> rule6)) -> rule3))]
("tiger" "eats" "bald eagle" "+")
((((((triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int3
The tiger does not eat the bald eagle.
False
4
inv-proof
[(((((((triple1) -> rule4)) -> rule6)) -> rule3))]
("tiger" "eats" "bald eagle" "-")
((((((triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int3
The squirrel does not eat the bald eagle.
Unknown
inv-rconc
[@2: The squirrel eats the bald eagle.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("squirrel" "eats" "bald eagle" "-")
The squirrel eats the bear.
Unknown
rconc
[@1: The squirrel eats the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "eats" "bear" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-rconc
[@2: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The bald eagle eats the bear.
Unknown
rconc
[@1: The bald eagle eats the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "eats" "bear" "+")
The bear is not young.
Unknown
inv-random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "-")
The bald eagle needs the bear.
Unknown
random
[@0: The bald eagle needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bear" "+")
The bear does not need the squirrel.
Unknown
inv-random
[@0: The bear needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "squirrel" "-")
The bear is cold.
Unknown
random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is not cold.[(triple2)] The bear does not eat the tiger.[(triple4)] The bear eats the bald eagle.[(triple3)] The bear is big.[(triple5)] The squirrel is kind.[(triple6)] The tiger does not need the squirrel.[(triple7)] @1: The squirrel eats the tiger.[(((triple1) -> rule4))] @2: The tiger eats the bear.[(((((triple1) -> rule4)) -> rule6))] @3: The tiger eats the bald eagle.[(((((((triple1) -> rule4)) -> rule6)) -> rule3))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
triple2
The bear does not eat the tiger.
("bear" "eats" "tiger" "-")
triple4
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple3
The bear is big.
("bear" "is" "big" "+")
triple5
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple6
The tiger does not need the squirrel.
("tiger" "needs" "squirrel" "-")
triple7
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
((triple1) -> (rule4 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1
The tiger eats the bear.
("tiger" "eats" "bear" "+")
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
((((((triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int3