The bald eagle is kind. The bald eagle is not rough. The bald eagle is young. The bald eagle likes the lion. The bald eagle does not need the lion. The bald eagle sees the lion. The lion is not kind. The lion is not red. The lion is rough. The lion likes the bald eagle. The lion does not need the bald eagle. The lion does not see the bald eagle. If something likes the bald eagle and the bald eagle likes the lion then it does not need the lion.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle does not need the lion.
("bald eagle" "needs" "lion" "-")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The lion is not kind.
("lion" "is" "kind" "-")
The lion is not red.
("lion" "is" "red" "-")
The lion is rough.
("lion" "is" "rough" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion does not need the bald eagle.
("lion" "needs" "bald eagle" "-")
The lion does not see the bald eagle.
("lion" "sees" "bald eagle" "-")
If something likes the bald eagle and the bald eagle likes the lion then it does not need the lion.
((("something" "likes" "bald eagle" "+") ("bald eagle" "likes" "lion" "+")) -> ("something" "needs" "lion" "-"))
The bald eagle is young.
True
1
proof
[(triple3)]
("bald eagle" "is" "young" "+")
triple3
The lion sees the bald eagle.
False
1
inv-proof
[(triple12)]
("lion" "sees" "bald eagle" "+")
triple12
The lion does not need the lion.
True
3
proof
[(((triple10 triple4) -> rule1))]
("lion" "needs" "lion" "-")
((triple10 triple4) -> (rule1 % int1))
The lion does not need the lion.
("lion" "needs" "lion" "-")
int1
The lion needs the lion.
False
3
inv-proof
[(((triple10 triple4) -> rule1))]
("lion" "needs" "lion" "+")
((triple10 triple4) -> (rule1 % int1))
The lion does not need the lion.
("lion" "needs" "lion" "-")
int1
The lion is not young.
Unknown
inv-random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "-")
The lion is nice.
Unknown
random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "+")
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
@0: The bald eagle does not need the lion.[(triple5)] The bald eagle is kind.[(triple1)] The bald eagle is not rough.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle likes the lion.[(triple4)] The bald eagle sees the lion.[(triple6)] The lion does not need the bald eagle.[(triple11)] The lion does not see the bald eagle.[(triple12)] The lion is not kind.[(triple7)] The lion is not red.[(triple8)] The lion is rough.[(triple9)] The lion likes the bald eagle.[(triple10)] @1: The lion does not need the lion.[(((triple10 triple4) -> rule1))]
The bald eagle does not need the lion.
("bald eagle" "needs" "lion" "-")
triple5
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple4
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple6
The lion does not need the bald eagle.
("lion" "needs" "bald eagle" "-")
triple11
The lion does not see the bald eagle.
("lion" "sees" "bald eagle" "-")
triple12
The lion is not kind.
("lion" "is" "kind" "-")
triple7
The lion is not red.
("lion" "is" "red" "-")
triple8
The lion is rough.
("lion" "is" "rough" "+")
triple9
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple10
The lion does not need the lion.
("lion" "needs" "lion" "-")
((triple10 triple4) -> (rule1 % int1))
The lion does not need the lion.
("lion" "needs" "lion" "-")
int1