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