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