The bald eagle visits the squirrel. The cow visits the squirrel. The squirrel is kind. If someone is big then they see the bald eagle. If the cow sees the squirrel and the cow visits the squirrel then the cow visits the bald eagle. If someone is big and they visit the cow then the cow chases the squirrel. If the bald eagle chases the squirrel and the bald eagle chases the cow then the bald eagle visits the squirrel. If someone is red and they visit the cow then they chase the bald eagle. If the squirrel chases the cow then the squirrel chases the bald eagle.
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
If someone is big then they see the bald eagle.
((("someone" "is" "big" "+")) -> ("someone" "sees" "bald eagle" "+"))
If the cow sees the squirrel and the cow visits the squirrel then the cow visits the bald eagle.
((("cow" "sees" "squirrel" "+") ("cow" "visits" "squirrel" "+")) -> ("cow" "visits" "bald eagle" "+"))
If someone is big and they visit the cow then the cow chases the squirrel.
((("someone" "is" "big" "+") ("someone" "visits" "cow" "+")) -> ("cow" "chases" "squirrel" "+"))
If the bald eagle chases the squirrel and the bald eagle chases the cow then the bald eagle visits the squirrel.
((("bald eagle" "chases" "squirrel" "+") ("bald eagle" "chases" "cow" "+")) -> ("bald eagle" "visits" "squirrel" "+"))
If someone is red and they visit the cow then they chase the bald eagle.
((("someone" "is" "red" "+") ("someone" "visits" "cow" "+")) -> ("someone" "chases" "bald eagle" "+"))
If the squirrel chases the cow then the squirrel chases the bald eagle.
((("squirrel" "chases" "cow" "+")) -> ("squirrel" "chases" "bald eagle" "+"))
The bald eagle visits the squirrel.
True
1
proof
[(triple1)]
("bald eagle" "visits" "squirrel" "+")
triple1
The bald eagle does not visit the squirrel.
False
1
inv-proof
[(triple1)]
("bald eagle" "visits" "squirrel" "-")
triple1
The cow does not chase the bald eagle.
Unknown
inv-rconc
[@1: The cow chases the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "chases" "bald eagle" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
@0: The bald eagle visits the squirrel.[(triple1)] The cow visits the squirrel.[(triple2)] The squirrel is kind.[(triple3)]
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple1
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple2
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple3