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