The bald eagle sees the lion. The bald eagle does not see the squirrel. The lion is cold. The lion does not need the mouse. The lion needs the squirrel. The lion sees the bald eagle. The mouse eats the lion. The mouse is cold. The mouse is red. The mouse is rough. The squirrel does not eat the bald eagle. The squirrel eats the lion. The squirrel is big. The squirrel is red. The squirrel is round. The squirrel does not need the mouse. If something sees the bald eagle and the bald eagle does not see the squirrel then the squirrel does not need the bald eagle. If the mouse does not eat the bald eagle then the mouse needs the squirrel.
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bald eagle does not see the squirrel.
("bald eagle" "sees" "squirrel" "-")
The lion is cold.
("lion" "is" "cold" "+")
The lion does not need the mouse.
("lion" "needs" "mouse" "-")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The squirrel does not eat the bald eagle.
("squirrel" "eats" "bald eagle" "-")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel does not need the mouse.
("squirrel" "needs" "mouse" "-")
If something sees the bald eagle and the bald eagle does not see the squirrel then the squirrel does not need the bald eagle.
((("something" "sees" "bald eagle" "+") ("bald eagle" "sees" "squirrel" "~")) -> ("squirrel" "needs" "bald eagle" "-"))
If the mouse does not eat the bald eagle then the mouse needs the squirrel.
((("mouse" "eats" "bald eagle" "~")) -> ("mouse" "needs" "squirrel" "+"))
The squirrel eats the lion.
True
1
proof
[(triple12)]
("squirrel" "eats" "lion" "+")
triple12
The lion needs the mouse.
False
1
inv-proof
[(triple4)]
("lion" "needs" "mouse" "+")
triple4
The squirrel does not need the bald eagle.
True
3
proof
[(((triple6 triple2) -> rule1))]
("squirrel" "needs" "bald eagle" "-")
((triple6 triple2) -> (rule1 % int1))
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
int1
The squirrel needs the bald eagle.
False
3
inv-proof
[(((triple6 triple2) -> rule1))]
("squirrel" "needs" "bald eagle" "+")
((triple6 triple2) -> (rule1 % int1))
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
int1
The mouse does not need the squirrel.
Unknown
inv-rconc
[@1: The mouse needs the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "needs" "squirrel" "-")
The lion needs the bald eagle.
Unknown
random
[@0: The lion needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "bald eagle" "+")
The bald eagle is not red.
Unknown
inv-random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "-")
The bald eagle needs the mouse.
Unknown
random
[@0: The bald eagle needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "mouse" "+")
@0: The bald eagle does not see the squirrel.[(triple2)] The bald eagle sees the lion.[(triple1)] The lion does not need the mouse.[(triple4)] The lion is cold.[(triple3)] The lion needs the squirrel.[(triple5)] The lion sees the bald eagle.[(triple6)] The mouse eats the lion.[(triple7)] The mouse is cold.[(triple8)] The mouse is red.[(triple9)] The mouse is rough.[(triple10)] The squirrel does not eat the bald eagle.[(triple11)] The squirrel does not need the mouse.[(triple16)] The squirrel eats the lion.[(triple12)] The squirrel is big.[(triple13)] The squirrel is red.[(triple14)] The squirrel is round.[(triple15)] @1: The squirrel does not need the bald eagle.[(((triple6 triple2) -> rule1))]
The bald eagle does not see the squirrel.
("bald eagle" "sees" "squirrel" "-")
triple2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple1
The lion does not need the mouse.
("lion" "needs" "mouse" "-")
triple4
The lion is cold.
("lion" "is" "cold" "+")
triple3
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple5
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple6
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple7
The mouse is cold.
("mouse" "is" "cold" "+")
triple8
The mouse is red.
("mouse" "is" "red" "+")
triple9
The mouse is rough.
("mouse" "is" "rough" "+")
triple10
The squirrel does not eat the bald eagle.
("squirrel" "eats" "bald eagle" "-")
triple11
The squirrel does not need the mouse.
("squirrel" "needs" "mouse" "-")
triple16
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple12
The squirrel is big.
("squirrel" "is" "big" "+")
triple13
The squirrel is red.
("squirrel" "is" "red" "+")
triple14
The squirrel is round.
("squirrel" "is" "round" "+")
triple15
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
((triple6 triple2) -> (rule1 % int1))
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
int1