The bald eagle eats the cow. The cow needs the bald eagle. If someone needs the bald eagle then they are rough. If someone is rough and they eat the bald eagle then the bald eagle eats the cow. If someone is kind then they do not eat the cow. If the bald eagle eats the cow and the cow does not eat the bald eagle then the cow chases the bald eagle. If someone needs the bald eagle then the bald eagle is blue. If someone chases the bald eagle and the bald eagle is not round then the bald eagle chases the cow. If the cow needs the bald eagle and the bald eagle needs the cow then the bald eagle chases the cow. If someone is blue then they need the bald eagle.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
If someone needs the bald eagle then they are rough.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and they eat the bald eagle then the bald eagle eats the cow.
((("someone" "is" "rough" "+") ("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "cow" "+"))
If someone is kind then they do not eat the cow.
((("someone" "is" "kind" "+")) -> ("someone" "eats" "cow" "-"))
If the bald eagle eats the cow and the cow does not eat the bald eagle then the cow chases the bald eagle.
((("bald eagle" "eats" "cow" "+") ("cow" "eats" "bald eagle" "~")) -> ("cow" "chases" "bald eagle" "+"))
If someone needs the bald eagle then the bald eagle is blue.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
If someone chases the bald eagle and the bald eagle is not round then the bald eagle chases the cow.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "is" "round" "~")) -> ("bald eagle" "chases" "cow" "+"))
If the cow needs the bald eagle and the bald eagle needs the cow then the bald eagle chases the cow.
((("cow" "needs" "bald eagle" "+") ("bald eagle" "needs" "cow" "+")) -> ("bald eagle" "chases" "cow" "+"))
If someone is blue then they need the bald eagle.
((("someone" "is" "blue" "+")) -> ("someone" "needs" "bald eagle" "+"))
The cow needs the bald eagle.
True
1
proof
[(triple2)]
("cow" "needs" "bald eagle" "+")
triple2
The cow does not need the bald eagle.
False
1
inv-proof
[(triple2)]
("cow" "needs" "bald eagle" "-")
triple2
The cow is rough.
True
2
proof
[(((triple2) -> rule1))]
("cow" "is" "rough" "+")
((triple2) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is not rough.
False
2
inv-proof
[(((triple2) -> rule1))]
("cow" "is" "rough" "-")
((triple2) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The bald eagle needs the bald eagle.
True
3
proof
[(((((triple2) -> rule5)) -> rule8))]
("bald eagle" "needs" "bald eagle" "+")
((((triple2) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle does not need the bald eagle.
False
3
inv-proof
[(((((triple2) -> rule5)) -> rule8))]
("bald eagle" "needs" "bald eagle" "-")
((((triple2) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle is rough.
True
4
proof
[(((((((triple2) -> rule5)) -> rule8)) -> rule1))]
("bald eagle" "is" "rough" "+")
((((((triple2) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle is not rough.
False
4
inv-proof
[(((((((triple2) -> rule5)) -> rule8)) -> rule1))]
("bald eagle" "is" "rough" "-")
((((((triple2) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle does not chase the cow.
Unknown
inv-rconc
[@1: The bald eagle chases the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "chases" "cow" "-")
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 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 cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
The cow does not chase the cow.
Unknown
inv-random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle eats the cow.[(triple1)] The cow needs the bald eagle.[(triple2)] @1: The bald eagle is blue.[(((triple2) -> rule5))] The cow is rough.[(((triple2) -> rule1))] @2: The bald eagle needs the bald eagle.[(((((triple2) -> rule5)) -> rule8))] @3: The bald eagle is rough.[(((((((triple2) -> rule5)) -> rule8)) -> rule1))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple2) -> (rule5 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
((triple2) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((((triple2) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((((((triple2) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3