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