The bald eagle is blue. The bald eagle is green. The bald eagle is nice. The bald eagle needs the squirrel. The lion chases the tiger. The lion eats the tiger. The lion is blue. The squirrel chases the bald eagle. The squirrel is nice. The tiger is nice. If something eats the tiger and it needs the bald eagle then the bald eagle eats the tiger. If the bald eagle is nice and the bald eagle needs the tiger then the bald eagle needs the lion. If something chases the lion then it needs the lion. If something needs the tiger then it eats the tiger. If something is nice and it eats the lion then the lion eats the tiger. If the lion eats the squirrel and the squirrel is nice then the lion needs the tiger. If something is big then it needs the bald eagle. If something eats the tiger then it is big.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion is blue.
("lion" "is" "blue" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
If something eats the tiger and it needs the bald eagle then the bald eagle eats the tiger.
((("something" "eats" "tiger" "+") ("something" "needs" "bald eagle" "+")) -> ("bald eagle" "eats" "tiger" "+"))
If the bald eagle is nice and the bald eagle needs the tiger then the bald eagle needs the lion.
((("bald eagle" "is" "nice" "+") ("bald eagle" "needs" "tiger" "+")) -> ("bald eagle" "needs" "lion" "+"))
If something chases the lion then it needs the lion.
((("something" "chases" "lion" "+")) -> ("something" "needs" "lion" "+"))
If something needs the tiger then it eats the tiger.
((("something" "needs" "tiger" "+")) -> ("something" "eats" "tiger" "+"))
If something is nice and it eats the lion then the lion eats the tiger.
((("something" "is" "nice" "+") ("something" "eats" "lion" "+")) -> ("lion" "eats" "tiger" "+"))
If the lion eats the squirrel and the squirrel is nice then the lion needs the tiger.
((("lion" "eats" "squirrel" "+") ("squirrel" "is" "nice" "+")) -> ("lion" "needs" "tiger" "+"))
If something is big then it needs the bald eagle.
((("something" "is" "big" "+")) -> ("something" "needs" "bald eagle" "+"))
If something eats the tiger then it is big.
((("something" "eats" "tiger" "+")) -> ("something" "is" "big" "+"))
The squirrel is nice.
True
1
proof
[(triple9)]
("squirrel" "is" "nice" "+")
triple9
The lion is not blue.
False
1
inv-proof
[(triple7)]
("lion" "is" "blue" "-")
triple7
The lion is big.
True
2
proof
[(((triple6) -> rule8))]
("lion" "is" "big" "+")
((triple6) -> (rule8 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion is not big.
False
2
inv-proof
[(((triple6) -> rule8))]
("lion" "is" "big" "-")
((triple6) -> (rule8 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion needs the bald eagle.
True
3
proof
[(((((triple6) -> rule8)) -> rule7))]
("lion" "needs" "bald eagle" "+")
((((triple6) -> (rule8 % int2))) -> (rule7 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
The lion is big.
("lion" "is" "big" "+")
int2
The lion does not need the bald eagle.
False
3
inv-proof
[(((((triple6) -> rule8)) -> rule7))]
("lion" "needs" "bald eagle" "-")
((((triple6) -> (rule8 % int2))) -> (rule7 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
The lion is big.
("lion" "is" "big" "+")
int2
The bald eagle eats the tiger.
True
5
proof
[(((triple6 ((((triple6) -> rule8)) -> rule7)) -> rule1))]
("bald eagle" "eats" "tiger" "+")
((triple6 ((((triple6) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int2
The lion is big.
("lion" "is" "big" "+")
int3
The bald eagle does not eat the tiger.
False
5
inv-proof
[(((triple6 ((((triple6) -> rule8)) -> rule7)) -> rule1))]
("bald eagle" "eats" "tiger" "-")
((triple6 ((((triple6) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int2
The lion is big.
("lion" "is" "big" "+")
int3
The bald eagle is big.
True
6
proof
[(((((triple6 ((((triple6) -> rule8)) -> rule7)) -> rule1)) -> rule8))]
("bald eagle" "is" "big" "+")
((((triple6 ((((triple6) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int2
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int3
The lion is big.
("lion" "is" "big" "+")
int4
The bald eagle is not big.
False
6
inv-proof
[(((((triple6 ((((triple6) -> rule8)) -> rule7)) -> rule1)) -> rule8))]
("bald eagle" "is" "big" "-")
((((triple6 ((((triple6) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int2
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int3
The lion is big.
("lion" "is" "big" "+")
int4
The bald eagle needs the bald eagle.
True
7
proof
[(((((((triple6 ((((triple6) -> rule8)) -> rule7)) -> rule1)) -> rule8)) -> rule7))]
("bald eagle" "needs" "bald eagle" "+")
((((((triple6 ((((triple6) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int3
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int4
The lion is big.
("lion" "is" "big" "+")
int5
The bald eagle does not need the bald eagle.
False
7
inv-proof
[(((((((triple6 ((((triple6) -> rule8)) -> rule7)) -> rule1)) -> rule8)) -> rule7))]
("bald eagle" "needs" "bald eagle" "-")
((((((triple6 ((((triple6) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int3
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int4
The lion is big.
("lion" "is" "big" "+")
int5
The squirrel does not eat the tiger.
Unknown
inv-rconc
[@1: The squirrel eats the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "eats" "tiger" "-")
The squirrel needs the bald eagle.
Unknown
rconc
[@3: The squirrel needs the bald eagle.[CWA. Example of deepest failure = (rule7 <- rule8 <- rule4 <- FAIL)]]
("squirrel" "needs" "bald eagle" "+")
The squirrel does not need the lion.
Unknown
inv-rconc
[@1: The squirrel needs the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "needs" "lion" "-")
The bald eagle needs the lion.
Unknown
rconc
[@1: The bald eagle needs the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "needs" "lion" "+")
The squirrel is not big.
Unknown
inv-rconc
[@2: The squirrel is big.[CWA. Example of deepest failure = (rule8 <- rule4 <- FAIL)]]
("squirrel" "is" "big" "-")
The tiger eats the tiger.
Unknown
rconc
[@1: The tiger eats the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "eats" "tiger" "+")
The squirrel does not eat the bald eagle.
Unknown
inv-random
[@0: The squirrel eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "bald eagle" "-")
The squirrel chases the tiger.
Unknown
random
[@0: The squirrel chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "tiger" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The tiger chases the lion.
Unknown
random
[@0: The tiger chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "lion" "+")
The bald eagle does not eat the squirrel.
Unknown
inv-random
[@0: The bald eagle eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "squirrel" "-")
The tiger chases the bald eagle.
Unknown
random
[@0: The tiger chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "bald eagle" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle needs the squirrel.[(triple4)] The lion chases the tiger.[(triple5)] The lion eats the tiger.[(triple6)] The lion is blue.[(triple7)] The squirrel chases the bald eagle.[(triple8)] The squirrel is nice.[(triple9)] The tiger is nice.[(triple10)] @1: The lion is big.[(((triple6) -> rule8))] @2: The lion needs the bald eagle.[(((((triple6) -> rule8)) -> rule7))] @3: The bald eagle eats the tiger.[(((triple6 ((((triple6) -> rule8)) -> rule7)) -> rule1))] @4: The bald eagle is big.[(((((triple6 ((((triple6) -> rule8)) -> rule7)) -> rule1)) -> rule8))] @5: The bald eagle needs the bald eagle.[(((((((triple6 ((((triple6) -> rule8)) -> rule7)) -> rule1)) -> rule8)) -> rule7))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple4
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple5
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple6
The lion is blue.
("lion" "is" "blue" "+")
triple7
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple8
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple9
The tiger is nice.
("tiger" "is" "nice" "+")
triple10
The lion is big.
("lion" "is" "big" "+")
((triple6) -> (rule8 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
((((triple6) -> (rule8 % int2))) -> (rule7 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
The lion is big.
("lion" "is" "big" "+")
int2
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
((triple6 ((((triple6) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int2
The lion is big.
("lion" "is" "big" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
((((triple6 ((((triple6) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int2
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int3
The lion is big.
("lion" "is" "big" "+")
int4
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((((((triple6 ((((triple6) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int3
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int4
The lion is big.
("lion" "is" "big" "+")
int5