The bald eagle is big. The mouse is kind. The squirrel eats the bald eagle. If something sees the squirrel and the squirrel does not see the bald eagle then the bald eagle sees the mouse. If the bald eagle is young then the bald eagle does not eat the squirrel.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
If something sees the squirrel and the squirrel does not see the bald eagle then the bald eagle sees the mouse.
((("something" "sees" "squirrel" "+") ("squirrel" "sees" "bald eagle" "~")) -> ("bald eagle" "sees" "mouse" "+"))
If the bald eagle is young then the bald eagle does not eat the squirrel.
((("bald eagle" "is" "young" "+")) -> ("bald eagle" "eats" "squirrel" "-"))
The squirrel eats the bald eagle.
True
1
proof
[(triple3)]
("squirrel" "eats" "bald eagle" "+")
triple3
The squirrel does not eat the bald eagle.
False
1
inv-proof
[(triple3)]
("squirrel" "eats" "bald eagle" "-")
triple3
The bald eagle does not see the mouse.
Unknown
inv-rconc
[@1: The bald eagle sees the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "sees" "mouse" "-")
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 is big.[(triple1)] The mouse is kind.[(triple2)] The squirrel eats the bald eagle.[(triple3)]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The mouse is kind.
("mouse" "is" "kind" "+")
triple2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple3