The bald eagle does not chase the cow. The bald eagle does not eat the cow. The bald eagle is blue. The bald eagle is not cold. The bald eagle is green. The bald eagle is kind. The bald eagle is not rough. The bald eagle needs the cow. The cow chases the bald eagle. The cow does not eat the bald eagle. The cow is blue. The cow needs the bald eagle. If the bald eagle does not need the cow and the bald eagle does not eat the cow then the cow eats the bald eagle. If something chases the cow and it eats the cow then the cow eats the bald eagle. If something is green and it chases the cow then it is cold. If something chases the bald eagle then it is cold. If something needs the bald eagle then it chases the cow. If something needs the cow then it eats the bald eagle.
The bald eagle does not chase the cow.
("bald eagle" "chases" "cow" "-")
The bald eagle does not eat the cow.
("bald eagle" "eats" "cow" "-")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow does not eat the bald eagle.
("cow" "eats" "bald eagle" "-")
The cow is blue.
("cow" "is" "blue" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
If the bald eagle does not need the cow and the bald eagle does not eat the cow then the cow eats the bald eagle.
((("bald eagle" "needs" "cow" "~") ("bald eagle" "eats" "cow" "~")) -> ("cow" "eats" "bald eagle" "+"))
If something chases the cow and it eats the cow then the cow eats the bald eagle.
((("something" "chases" "cow" "+") ("something" "eats" "cow" "+")) -> ("cow" "eats" "bald eagle" "+"))
If something is green and it chases the cow then it is cold.
((("something" "is" "green" "+") ("something" "chases" "cow" "+")) -> ("something" "is" "cold" "+"))
If something chases the bald eagle then it is cold.
((("something" "chases" "bald eagle" "+")) -> ("something" "is" "cold" "+"))
If something needs the bald eagle then it chases the cow.
((("something" "needs" "bald eagle" "+")) -> ("something" "chases" "cow" "+"))
If something needs the cow then it eats the bald eagle.
((("something" "needs" "cow" "+")) -> ("something" "eats" "bald eagle" "+"))
The bald eagle is blue.
True
1
proof
[(triple3)]
("bald eagle" "is" "blue" "+")
triple3
The cow does not chase the bald eagle.
False
1
inv-proof
[(triple9)]
("cow" "chases" "bald eagle" "-")
triple9
The cow chases the cow.
True
2
proof
[(((triple12) -> rule5))]
("cow" "chases" "cow" "+")
((triple12) -> (rule5 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow does not chase the cow.
False
2
inv-proof
[(((triple12) -> rule5))]
("cow" "chases" "cow" "-")
((triple12) -> (rule5 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow is not green.
Unknown
inv-random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "-")
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" "+")
The cow is not rough.
Unknown
inv-random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
@0: The bald eagle does not chase the cow.[(triple1)] The bald eagle does not eat the cow.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is green.[(triple5)] The bald eagle is kind.[(triple6)] The bald eagle is not cold.[(triple4)] The bald eagle is not rough.[(triple7)] The bald eagle needs the cow.[(triple8)] The cow chases the bald eagle.[(triple9)] The cow does not eat the bald eagle.[(triple10)] The cow is blue.[(triple11)] The cow needs the bald eagle.[(triple12)] @1: The bald eagle eats the bald eagle.[(((triple8) -> rule6))] The cow chases the cow.[(((triple12) -> rule5))] The cow is cold.[(((triple9) -> rule4))]
The bald eagle does not chase the cow.
("bald eagle" "chases" "cow" "-")
triple1
The bald eagle does not eat the cow.
("bald eagle" "eats" "cow" "-")
triple2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple5
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple6
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
triple4
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
triple7
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple8
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple9
The cow does not eat the bald eagle.
("cow" "eats" "bald eagle" "-")
triple10
The cow is blue.
("cow" "is" "blue" "+")
triple11
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple12
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple8) -> (rule6 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
((triple12) -> (rule5 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
((triple9) -> (rule4 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1