The bald eagle is blue. The bald eagle is young. The bald eagle does not like the cow. The bald eagle does not visit the cow. The cow chases the bald eagle. The cow is big. The cow does not visit the bald eagle. If something likes the bald eagle then the bald eagle chases the cow. If something chases the bald eagle then it does not visit the bald eagle. If something likes the cow then the cow is blue. If something likes the cow and the cow chases the bald eagle then the bald eagle visits the cow. If something is young then it does not chase the bald eagle. If the bald eagle visits the cow then the cow is cold. If something likes the bald eagle and it is red then it is blue. If something is red and it does not chase the bald eagle then the bald eagle is red.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
The bald eagle does not visit the cow.
("bald eagle" "visits" "cow" "-")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow is big.
("cow" "is" "big" "+")
The cow does not visit the bald eagle.
("cow" "visits" "bald eagle" "-")
If something likes the bald eagle then the bald eagle chases the cow.
((("something" "likes" "bald eagle" "+")) -> ("bald eagle" "chases" "cow" "+"))
If something chases the bald eagle then it does not visit the bald eagle.
((("something" "chases" "bald eagle" "+")) -> ("something" "visits" "bald eagle" "-"))
If something likes the cow then the cow is blue.
((("something" "likes" "cow" "+")) -> ("cow" "is" "blue" "+"))
If something likes the cow and the cow chases the bald eagle then the bald eagle visits the cow.
((("something" "likes" "cow" "+") ("cow" "chases" "bald eagle" "+")) -> ("bald eagle" "visits" "cow" "+"))
If something is young then it does not chase the bald eagle.
((("something" "is" "young" "+")) -> ("something" "chases" "bald eagle" "-"))
If the bald eagle visits the cow then the cow is cold.
((("bald eagle" "visits" "cow" "+")) -> ("cow" "is" "cold" "+"))
If something likes the bald eagle and it is red then it is blue.
((("something" "likes" "bald eagle" "+") ("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
If something is red and it does not chase the bald eagle then the bald eagle is red.
((("something" "is" "red" "+") ("something" "chases" "bald eagle" "~")) -> ("bald eagle" "is" "red" "+"))
The bald eagle is blue.
True
1
proof
[(triple1)]
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is not young.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "young" "-")
triple2
The bald eagle does not chase the cow.
Unknown
inv-rconc
[@1: The bald eagle chases the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "chases" "cow" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The bald eagle does not like the cow.[(triple3)] The bald eagle does not visit the cow.[(triple4)] The bald eagle is blue.[(triple1)] The bald eagle is young.[(triple2)] The cow chases the bald eagle.[(triple5)] The cow does not visit the bald eagle.[(triple7 OR ((triple5) -> rule2))] The cow is big.[(triple6)] @1: The bald eagle does not chase the bald eagle.[(((triple2) -> rule5))]
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
triple3
The bald eagle does not visit the cow.
("bald eagle" "visits" "cow" "-")
triple4
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple5
The cow does not visit the bald eagle.
("cow" "visits" "bald eagle" "-")
triple7
((triple5) -> (rule2 % int1))
The cow does not visit the bald eagle.
("cow" "visits" "bald eagle" "-")
int1
The cow is big.
("cow" "is" "big" "+")
triple6
The bald eagle does not chase the bald eagle.
("bald eagle" "chases" "bald eagle" "-")
((triple2) -> (rule5 % int1))
The bald eagle does not chase the bald eagle.
("bald eagle" "chases" "bald eagle" "-")
int1