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