The bald eagle is cold. The rabbit is kind. The squirrel needs the rabbit. The tiger needs the squirrel. If the bald eagle is green then the bald eagle eats the tiger. If someone is big then they need the tiger. If someone needs the tiger then they need the squirrel. If someone is blue and they chase the rabbit then the rabbit needs the squirrel. If someone needs the squirrel then they chase the rabbit. If someone eats the bald eagle then the bald eagle eats the tiger. If someone is green and they chase the squirrel then they are kind. Cold people are big.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If the bald eagle is green then the bald eagle eats the tiger.
((("bald eagle" "is" "green" "+")) -> ("bald eagle" "eats" "tiger" "+"))
If someone is big then they need the tiger.
((("someone" "is" "big" "+")) -> ("someone" "needs" "tiger" "+"))
If someone needs the tiger then they need the squirrel.
((("someone" "needs" "tiger" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone is blue and they chase the rabbit then the rabbit needs the squirrel.
((("someone" "is" "blue" "+") ("someone" "chases" "rabbit" "+")) -> ("rabbit" "needs" "squirrel" "+"))
If someone needs the squirrel then they chase the rabbit.
((("someone" "needs" "squirrel" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone eats the bald eagle then the bald eagle eats the tiger.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "tiger" "+"))
If someone is green and they chase the squirrel then they are kind.
((("someone" "is" "green" "+") ("someone" "chases" "squirrel" "+")) -> ("someone" "is" "kind" "+"))
Cold people are big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
The tiger needs the squirrel.
True
1
proof
[(triple4)]
("tiger" "needs" "squirrel" "+")
triple4
The tiger does not need the squirrel.
False
1
inv-proof
[(triple4)]
("tiger" "needs" "squirrel" "-")
triple4
The tiger chases the rabbit.
True
2
proof
[(((triple4) -> rule5))]
("tiger" "chases" "rabbit" "+")
((triple4) -> (rule5 % int1))
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int1
The bald eagle is not big.
False
2
inv-proof
[(((triple1) -> rule8))]
("bald eagle" "is" "big" "-")
((triple1) -> (rule8 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle needs the tiger.
True
3
proof
[(((((triple1) -> rule8)) -> rule2))]
("bald eagle" "needs" "tiger" "+")
((((triple1) -> (rule8 % int2))) -> (rule2 % int1))
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle does not need the tiger.
False
3
inv-proof
[(((((triple1) -> rule8)) -> rule2))]
("bald eagle" "needs" "tiger" "-")
((((triple1) -> (rule8 % int2))) -> (rule2 % int1))
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle needs the squirrel.
True
4
proof
[(((((((triple1) -> rule8)) -> rule2)) -> rule3))]
("bald eagle" "needs" "squirrel" "+")
((((((triple1) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The bald eagle does not need the squirrel.
False
4
inv-proof
[(((((((triple1) -> rule8)) -> rule2)) -> rule3))]
("bald eagle" "needs" "squirrel" "-")
((((((triple1) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The tiger is not big.
Unknown
inv-rconc
[@1: The tiger is big.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("tiger" "is" "big" "-")
The squirrel chases the rabbit.
Unknown
rconc
[@4: The squirrel chases the rabbit.[CWA. Example of deepest failure = (rule5 <- rule3 <- rule2 <- rule8 <- FAIL)]]
("squirrel" "chases" "rabbit" "+")
The bald eagle is not kind.
Unknown
inv-rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "is" "kind" "-")
The tiger needs the tiger.
Unknown
rconc
[@2: The tiger needs the tiger.[CWA. Example of deepest failure = (rule2 <- rule8 <- FAIL)]]
("tiger" "needs" "tiger" "+")
The rabbit does not eat the squirrel.
Unknown
inv-random
[@0: The rabbit eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "squirrel" "-")
The squirrel eats the rabbit.
Unknown
random
[@0: The squirrel eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "rabbit" "+")
The squirrel is not blue.
Unknown
inv-random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "-")
The tiger is blue.
Unknown
random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "+")
@0: The bald eagle is cold.[(triple1)] The rabbit is kind.[(triple2)] The squirrel needs the rabbit.[(triple3)] The tiger needs the squirrel.[(triple4)] @1: The bald eagle is big.[(((triple1) -> rule8))] The tiger chases the rabbit.[(((triple4) -> rule5))] @2: The bald eagle needs the tiger.[(((((triple1) -> rule8)) -> rule2))] @3: The bald eagle needs the squirrel.[(((((((triple1) -> rule8)) -> rule2)) -> rule3))] @4: The bald eagle chases the rabbit.[(((((((((triple1) -> rule8)) -> rule2)) -> rule3)) -> rule5))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple2
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple3
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple4
The bald eagle is big.
("bald eagle" "is" "big" "+")
((triple1) -> (rule8 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
((triple4) -> (rule5 % int1))
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
((((triple1) -> (rule8 % int2))) -> (rule2 % int1))
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
((((((triple1) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
((((((((triple1) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int2
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4