The bald eagle eats the cow. The bald eagle eats the rabbit. The bald eagle is cold. The bald eagle is nice. The bald eagle needs the rabbit. The cow chases the bald eagle. The cow chases the rabbit. The cow eats the bald eagle. The cow is nice. The cow needs the rabbit. The cow needs the tiger. The rabbit chases the tiger. The rabbit eats the bald eagle. The rabbit is cold. The tiger is cold. The tiger needs the rabbit. If the bald eagle is cold and the bald eagle chases the tiger then the bald eagle needs the tiger. If the cow chases the bald eagle and the cow eats the rabbit then the cow eats the bald eagle. If the bald eagle is red and the bald eagle is cold then the bald eagle is green. If the tiger is young then the tiger needs the cow. If something is nice then it needs the cow. If something needs the cow then the cow is young. If something is green and it chases the tiger then it chases the cow. If something is young then it is green.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The cow needs the tiger.
("cow" "needs" "tiger" "+")
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
If the bald eagle is cold and the bald eagle chases the tiger then the bald eagle needs the tiger.
((("bald eagle" "is" "cold" "+") ("bald eagle" "chases" "tiger" "+")) -> ("bald eagle" "needs" "tiger" "+"))
If the cow chases the bald eagle and the cow eats the rabbit then the cow eats the bald eagle.
((("cow" "chases" "bald eagle" "+") ("cow" "eats" "rabbit" "+")) -> ("cow" "eats" "bald eagle" "+"))
If the bald eagle is red and the bald eagle is cold then the bald eagle is green.
((("bald eagle" "is" "red" "+") ("bald eagle" "is" "cold" "+")) -> ("bald eagle" "is" "green" "+"))
If the tiger is young then the tiger needs the cow.
((("tiger" "is" "young" "+")) -> ("tiger" "needs" "cow" "+"))
If something is nice then it needs the cow.
((("something" "is" "nice" "+")) -> ("something" "needs" "cow" "+"))
If something needs the cow then the cow is young.
((("something" "needs" "cow" "+")) -> ("cow" "is" "young" "+"))
If something is green and it chases the tiger then it chases the cow.
((("something" "is" "green" "+") ("something" "chases" "tiger" "+")) -> ("something" "chases" "cow" "+"))
If something is young then it is green.
((("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
The cow needs the rabbit.
True
1
proof
[(triple10)]
("cow" "needs" "rabbit" "+")
triple10
The bald eagle does not need the rabbit.
False
1
inv-proof
[(triple5)]
("bald eagle" "needs" "rabbit" "-")
triple5
The bald eagle needs the cow.
True
2
proof
[(((triple4) -> rule5))]
("bald eagle" "needs" "cow" "+")
((triple4) -> (rule5 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1
The cow does not need the cow.
False
2
inv-proof
[(((triple9) -> rule5))]
("cow" "needs" "cow" "-")
((triple9) -> (rule5 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The cow is young.
True
3
proof
[(((((triple4) -> rule5)) -> rule6) OR ((((triple9) -> rule5)) -> rule6))]
("cow" "is" "young" "+")
((((triple4) -> (rule5 % int2))) -> (rule6 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int2
((((triple9) -> (rule5 % int2))) -> (rule6 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
int2
The cow is not young.
False
3
inv-proof
[(((((triple4) -> rule5)) -> rule6) OR ((((triple9) -> rule5)) -> rule6))]
("cow" "is" "young" "-")
((((triple4) -> (rule5 % int2))) -> (rule6 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int2
((((triple9) -> (rule5 % int2))) -> (rule6 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
int2
The bald eagle does not chase the cow.
Unknown
inv-rconc
[@1: The bald eagle chases the cow.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "chases" "cow" "-")
The tiger needs the cow.
Unknown
rconc
[@1: The tiger needs the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "needs" "cow" "+")
The tiger does not chase the cow.
Unknown
inv-rconc
[@1: The tiger chases the cow.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("tiger" "chases" "cow" "-")
The tiger needs the bald eagle.
Unknown
random
[@0: The tiger needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "bald eagle" "+")
The cow does not chase the tiger.
Unknown
inv-random
[@0: The cow chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "tiger" "-")
The rabbit is red.
Unknown
random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "+")
@0: The bald eagle eats the cow.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle needs the rabbit.[(triple5)] The cow chases the bald eagle.[(triple6)] The cow chases the rabbit.[(triple7)] The cow eats the bald eagle.[(triple8)] The cow is nice.[(triple9)] The cow needs the rabbit.[(triple10)] The cow needs the tiger.[(triple11)] The rabbit chases the tiger.[(triple12)] The rabbit eats the bald eagle.[(triple13)] The rabbit is cold.[(triple14)] The tiger is cold.[(triple15)] The tiger needs the rabbit.[(triple16)] @1: The bald eagle needs the cow.[(((triple4) -> rule5))] The cow needs the cow.[(((triple9) -> rule5))] @2: The cow is young.[(((((triple4) -> rule5)) -> rule6) OR ((((triple9) -> rule5)) -> rule6))] @3: The cow is green.[(((((((triple4) -> rule5)) -> rule6)) -> rule8) OR ((((((triple9) -> rule5)) -> rule6)) -> rule8))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple4
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple5
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple6
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple7
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple8
The cow is nice.
("cow" "is" "nice" "+")
triple9
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple10
The cow needs the tiger.
("cow" "needs" "tiger" "+")
triple11
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple12
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple13
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple14
The tiger is cold.
("tiger" "is" "cold" "+")
triple15
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple16
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
((triple4) -> (rule5 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
((triple9) -> (rule5 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The cow is young.
("cow" "is" "young" "+")
((((triple4) -> (rule5 % int2))) -> (rule6 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int2
((((triple9) -> (rule5 % int2))) -> (rule6 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
int2
The cow is green.
("cow" "is" "green" "+")
((((((triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int3
((((((triple9) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow needs the cow.
("cow" "needs" "cow" "+")
int3