The bald eagle eats the bear. The bear eats the mouse. The mouse is round. The mouse needs the bald eagle. The squirrel is big. The squirrel is cold. The squirrel is round. If something sees the mouse and it is not nice then it does not eat the squirrel. If something sees the mouse and it does not need the mouse then it eats the squirrel.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
If something sees the mouse and it is not nice then it does not eat the squirrel.
((("something" "sees" "mouse" "+") ("something" "is" "nice" "~")) -> ("something" "eats" "squirrel" "-"))
If something sees the mouse and it does not need the mouse then it eats the squirrel.
((("something" "sees" "mouse" "+") ("something" "needs" "mouse" "~")) -> ("something" "eats" "squirrel" "+"))
The mouse is round.
True
1
proof
[(triple3)]
("mouse" "is" "round" "+")
triple3
The bald eagle does not eat the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "bear" "-")
triple1
The mouse does not eat the squirrel.
Unknown
inv-rconc
[@1: The mouse eats the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "eats" "squirrel" "-")
The mouse is big.
Unknown
random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "+")
@0: The bald eagle eats the bear.[(triple1)] The bear eats the mouse.[(triple2)] The mouse is round.[(triple3)] The mouse needs the bald eagle.[(triple4)] The squirrel is big.[(triple5)] The squirrel is cold.[(triple6)] The squirrel is round.[(triple7)]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple2
The mouse is round.
("mouse" "is" "round" "+")
triple3
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple4
The squirrel is big.
("squirrel" "is" "big" "+")
triple5
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple6
The squirrel is round.
("squirrel" "is" "round" "+")
triple7