The bald eagle chases the squirrel. The cow is blue. The lion is nice. The squirrel chases the cow. If someone is blue and they chase the lion then they do not visit the cow. If the squirrel is round then the squirrel is green. If someone eats the bald eagle and they do not visit the cow then the bald eagle visits the squirrel.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The cow is blue.
("cow" "is" "blue" "+")
The lion is nice.
("lion" "is" "nice" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
If someone is blue and they chase the lion then they do not visit the cow.
((("someone" "is" "blue" "+") ("someone" "chases" "lion" "+")) -> ("someone" "visits" "cow" "-"))
If the squirrel is round then the squirrel is green.
((("squirrel" "is" "round" "+")) -> ("squirrel" "is" "green" "+"))
If someone eats the bald eagle and they do not visit the cow then the bald eagle visits the squirrel.
((("someone" "eats" "bald eagle" "+") ("someone" "visits" "cow" "~")) -> ("bald eagle" "visits" "squirrel" "+"))
The bald eagle chases the squirrel.
True
1
proof
[(triple1)]
("bald eagle" "chases" "squirrel" "+")
triple1
The squirrel does not chase the cow.
False
1
inv-proof
[(triple4)]
("squirrel" "chases" "cow" "-")
triple4
The squirrel is not green.
Unknown
inv-rconc
[@1: The squirrel is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "green" "-")
The lion chases the bald eagle.
Unknown
random
[@0: The lion chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "bald eagle" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The cow is blue.[(triple2)] The lion is nice.[(triple3)] The squirrel chases the cow.[(triple4)]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The cow is blue.
("cow" "is" "blue" "+")
triple2
The lion is nice.
("lion" "is" "nice" "+")
triple3
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple4