The bald eagle sees the squirrel. The bear eats the cow. The cow sees the bald eagle. The squirrel eats the bear. If someone visits the squirrel and they are nice then they are green. If someone visits the bear and the bear visits the squirrel then the squirrel sees the cow. If someone eats the bald eagle then the bald eagle eats the cow. If someone sees the bear then the bear visits the cow. If the bald eagle visits the bear then the bear sees the bald eagle. If the squirrel eats the bear then the bear sees the squirrel.
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
If someone visits the squirrel and they are nice then they are green.
((("someone" "visits" "squirrel" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone visits the bear and the bear visits the squirrel then the squirrel sees the cow.
((("someone" "visits" "bear" "+") ("bear" "visits" "squirrel" "+")) -> ("squirrel" "sees" "cow" "+"))
If someone eats the bald eagle then the bald eagle eats the cow.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "cow" "+"))
If someone sees the bear then the bear visits the cow.
((("someone" "sees" "bear" "+")) -> ("bear" "visits" "cow" "+"))
If the bald eagle visits the bear then the bear sees the bald eagle.
((("bald eagle" "visits" "bear" "+")) -> ("bear" "sees" "bald eagle" "+"))
If the squirrel eats the bear then the bear sees the squirrel.
((("squirrel" "eats" "bear" "+")) -> ("bear" "sees" "squirrel" "+"))
The bald eagle sees the squirrel.
True
1
proof
[(triple1)]
("bald eagle" "sees" "squirrel" "+")
triple1
The bear does not eat the cow.
False
1
inv-proof
[(triple2)]
("bear" "eats" "cow" "-")
triple2
The squirrel is not green.
Unknown
inv-rconc
[@1: The squirrel is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "green" "-")
The bald eagle visits the cow.
Unknown
random
[@0: The bald eagle visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "cow" "+")
@0: The bald eagle sees the squirrel.[(triple1)] The bear eats the cow.[(triple2)] The cow sees the bald eagle.[(triple3)] The squirrel eats the bear.[(triple4)] @1: The bear sees the squirrel.[(((triple4) -> rule6))]
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple1
The bear eats the cow.
("bear" "eats" "cow" "+")
triple2
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple3
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple4
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
((triple4) -> (rule6 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1