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