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