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