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