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