The bald eagle is round. The bald eagle needs the lion. The bald eagle does not need the squirrel. The bald eagle sees the lion. The bald eagle sees the squirrel. The lion is big. The lion is young. The lion likes the bald eagle. The lion needs the squirrel. The squirrel is not cold. If the lion is not round then the lion does not see the bald eagle. If the lion sees the squirrel then the squirrel does not need the lion. If someone needs the squirrel and the squirrel is young then the squirrel needs the lion. If the lion needs the squirrel then the lion is rough. If someone needs the bald eagle then they are big. If the squirrel needs the bald eagle then the bald eagle does not see the squirrel. If someone is big and they do not need the bald eagle then the bald eagle likes the lion. If someone is cold then they do not see the squirrel.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle does not need the squirrel.
("bald eagle" "needs" "squirrel" "-")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The squirrel is not cold.
("squirrel" "is" "cold" "-")
If the lion is not round then the lion does not see the bald eagle.
((("lion" "is" "round" "~")) -> ("lion" "sees" "bald eagle" "-"))
If the lion sees the squirrel then the squirrel does not need the lion.
((("lion" "sees" "squirrel" "+")) -> ("squirrel" "needs" "lion" "-"))
If someone needs the squirrel and the squirrel is young then the squirrel needs the lion.
((("someone" "needs" "squirrel" "+") ("squirrel" "is" "young" "+")) -> ("squirrel" "needs" "lion" "+"))
If the lion needs the squirrel then the lion is rough.
((("lion" "needs" "squirrel" "+")) -> ("lion" "is" "rough" "+"))
If someone needs the bald eagle then they are big.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "is" "big" "+"))
If the squirrel needs the bald eagle then the bald eagle does not see the squirrel.
((("squirrel" "needs" "bald eagle" "+")) -> ("bald eagle" "sees" "squirrel" "-"))
If someone is big and they do not need the bald eagle then the bald eagle likes the lion.
((("someone" "is" "big" "+") ("someone" "needs" "bald eagle" "~")) -> ("bald eagle" "likes" "lion" "+"))
If someone is cold then they do not see the squirrel.
((("someone" "is" "cold" "+")) -> ("someone" "sees" "squirrel" "-"))
The bald eagle sees the lion.
True
1
proof
[(triple4)]
("bald eagle" "sees" "lion" "+")
triple4
The bald eagle does not see the squirrel.
False
1
inv-proof
[(triple5)]
("bald eagle" "sees" "squirrel" "-")
triple5
The lion is rough.
True
2
proof
[(((triple9) -> rule4))]
("lion" "is" "rough" "+")
((triple9) -> (rule4 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is not rough.
False
2
inv-proof
[(((triple9) -> rule4))]
("lion" "is" "rough" "-")
((triple9) -> (rule4 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The squirrel does not need the lion.
Unknown
inv-rconc
[@1: The squirrel needs the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "needs" "lion" "-")
The bald eagle likes the lion.
Unknown
rconc
[@1: The bald eagle likes the lion.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "likes" "lion" "+")
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The squirrel is young.
Unknown
random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "+")
@0: The bald eagle does not need the squirrel.[(triple3)] The bald eagle is round.[(triple1)] The bald eagle needs the lion.[(triple2)] The bald eagle sees the lion.[(triple4)] The bald eagle sees the squirrel.[(triple5)] The lion is big.[(triple6)] The lion is young.[(triple7)] The lion likes the bald eagle.[(triple8)] The lion needs the squirrel.[(triple9)] The squirrel is not cold.[(triple10)] @1: The lion is rough.[(((triple9) -> rule4))]
The bald eagle does not need the squirrel.
("bald eagle" "needs" "squirrel" "-")
triple3
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple4
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple5
The lion is big.
("lion" "is" "big" "+")
triple6
The lion is young.
("lion" "is" "young" "+")
triple7
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple8
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple9
The squirrel is not cold.
("squirrel" "is" "cold" "-")
triple10
The lion is rough.
("lion" "is" "rough" "+")
((triple9) -> (rule4 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1