The bald eagle eats the cow. The cow chases the bald eagle. The squirrel is rough. If the cow chases the bald eagle then the bald eagle chases the cow. If the cow chases the bald eagle and the cow eats the squirrel then the bald eagle does not chase the cow. If something is green and not rough then it is cold. If something chases the bald eagle and the bald eagle likes the cow then the bald eagle is round. If something is round and green then it eats the squirrel. If something is cold then it likes the squirrel. If something chases the bald eagle then the bald eagle is young. If something is young and it does not chase the cow then it eats the cow.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
If the cow chases the bald eagle then the bald eagle chases the cow.
((("cow" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "cow" "+"))
If the cow chases the bald eagle and the cow eats the squirrel then the bald eagle does not chase the cow.
((("cow" "chases" "bald eagle" "+") ("cow" "eats" "squirrel" "+")) -> ("bald eagle" "chases" "cow" "-"))
If something is green and not rough then it is cold.
((("something" "is" "green" "+") ("something" "is" "rough" "~")) -> ("something" "is" "cold" "+"))
If something chases the bald eagle and the bald eagle likes the cow then the bald eagle is round.
((("something" "chases" "bald eagle" "+") ("bald eagle" "likes" "cow" "+")) -> ("bald eagle" "is" "round" "+"))
If something is round and green then it eats the squirrel.
((("something" "is" "round" "+") ("something" "is" "green" "+")) -> ("something" "eats" "squirrel" "+"))
If something is cold then it likes the squirrel.
((("something" "is" "cold" "+")) -> ("something" "likes" "squirrel" "+"))
If something chases the bald eagle then the bald eagle is young.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "young" "+"))
If something is young and it does not chase the cow then it eats the cow.
((("something" "is" "young" "+") ("something" "chases" "cow" "~")) -> ("something" "eats" "cow" "+"))
The cow chases the bald eagle.
True
1
proof
[(triple2)]
("cow" "chases" "bald eagle" "+")
triple2
The cow does not chase the bald eagle.
False
1
inv-proof
[(triple2)]
("cow" "chases" "bald eagle" "-")
triple2
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "round" "-")
The cow eats the bald eagle.
Unknown
random
[@0: The cow eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "bald eagle" "+")
@0: The bald eagle eats the cow.[(triple1)] The cow chases the bald eagle.[(triple2)] The squirrel is rough.[(triple3)] @1: The bald eagle chases the cow.[(((triple2) -> rule1))] The bald eagle is young.[(((triple2) -> rule7))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple2
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple3
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
((triple2) -> (rule1 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
((triple2) -> (rule7 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1