The bald eagle is rough. The bald eagle needs the lion. The bald eagle sees the lion. The lion is green. The lion needs the bald eagle. The lion sees the squirrel. The squirrel likes the lion. If the lion is green then the lion is round. If someone is rough and they like the bald eagle then the bald eagle needs the lion. If someone likes the bald eagle then the bald eagle likes the lion. If someone is round and blue then they do not need the bald eagle. If someone needs the squirrel and the squirrel is nice then the squirrel sees the lion. If someone likes the bald eagle then they see the squirrel. If someone is rough then they do not need the squirrel. If someone sees the bald eagle and they do not need the lion then the lion does not see the squirrel.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The lion is green.
("lion" "is" "green" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
If the lion is green then the lion is round.
((("lion" "is" "green" "+")) -> ("lion" "is" "round" "+"))
If someone is rough and they like the bald eagle then the bald eagle needs the lion.
((("someone" "is" "rough" "+") ("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "needs" "lion" "+"))
If someone likes the bald eagle then the bald eagle likes the lion.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "lion" "+"))
If someone is round and blue then they do not need the bald eagle.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "needs" "bald eagle" "-"))
If someone needs the squirrel and the squirrel is nice then the squirrel sees the lion.
((("someone" "needs" "squirrel" "+") ("squirrel" "is" "nice" "+")) -> ("squirrel" "sees" "lion" "+"))
If someone likes the bald eagle then they see the squirrel.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone is rough then they do not need the squirrel.
((("someone" "is" "rough" "+")) -> ("someone" "needs" "squirrel" "-"))
If someone sees the bald eagle and they do not need the lion then the lion does not see the squirrel.
((("someone" "sees" "bald eagle" "+") ("someone" "needs" "lion" "~")) -> ("lion" "sees" "squirrel" "-"))
The lion needs the bald eagle.
True
1
proof
[(triple5)]
("lion" "needs" "bald eagle" "+")
triple5
The lion does not see the squirrel.
False
1
inv-proof
[(triple6)]
("lion" "sees" "squirrel" "-")
triple6
The squirrel does not see the squirrel.
Unknown
inv-rconc
[@1: The squirrel sees the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "sees" "squirrel" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
@0: The bald eagle is rough.[(triple1)] The bald eagle needs the lion.[(triple2)] The bald eagle sees the lion.[(triple3)] The lion is green.[(triple4)] The lion needs the bald eagle.[(triple5)] The lion sees the squirrel.[(triple6)] The squirrel likes the lion.[(triple7)] @1: The bald eagle does not need the squirrel.[(((triple1) -> rule7))] The lion is round.[(((triple4) -> rule1))]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple3
The lion is green.
("lion" "is" "green" "+")
triple4
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple5
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple6
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple7
The bald eagle does not need the squirrel.
("bald eagle" "needs" "squirrel" "-")
((triple1) -> (rule7 % int1))
The bald eagle does not need the squirrel.
("bald eagle" "needs" "squirrel" "-")
int1
The lion is round.
("lion" "is" "round" "+")
((triple4) -> (rule1 % int1))
The lion is round.
("lion" "is" "round" "+")
int1