The bald eagle likes the bear. The bear is not blue. The cow needs the bear. The mouse is big. If someone needs the mouse and they do not like the mouse then the mouse needs the bear. If someone needs the bear then they do not need the mouse.
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bear is not blue.
("bear" "is" "blue" "-")
The cow needs the bear.
("cow" "needs" "bear" "+")
The mouse is big.
("mouse" "is" "big" "+")
If someone needs the mouse and they do not like the mouse then the mouse needs the bear.
((("someone" "needs" "mouse" "+") ("someone" "likes" "mouse" "~")) -> ("mouse" "needs" "bear" "+"))
If someone needs the bear then they do not need the mouse.
((("someone" "needs" "bear" "+")) -> ("someone" "needs" "mouse" "-"))
The bear is not blue.
True
1
proof
[(triple2)]
("bear" "is" "blue" "-")
triple2
The bald eagle does not like the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "bear" "-")
triple1
The mouse does not need the bear.
Unknown
inv-rconc
[@1: The mouse needs the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "needs" "bear" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bald eagle likes the bear.[(triple1)] The bear is not blue.[(triple2)] The cow needs the bear.[(triple3)] The mouse is big.[(triple4)] @1: The cow does not need the mouse.[(((triple3) -> rule2))]
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple1
The bear is not blue.
("bear" "is" "blue" "-")
triple2
The cow needs the bear.
("cow" "needs" "bear" "+")
triple3
The mouse is big.
("mouse" "is" "big" "+")
triple4
The cow does not need the mouse.
("cow" "needs" "mouse" "-")
((triple3) -> (rule2 % int1))
The cow does not need the mouse.
("cow" "needs" "mouse" "-")
int1