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