The bald eagle eats the lion. The bald eagle is kind. The bald eagle is rough. The bald eagle needs the lion. The bald eagle sees the lion. The lion eats the bald eagle. The lion is big. The lion is nice. The lion is rough. The lion is young. The lion needs the bald eagle. The lion sees the bald eagle. If something needs the lion and it does not see the bald eagle then it is young. If something needs the bald eagle then it needs the lion.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
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 eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is young.
("lion" "is" "young" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
If something needs the lion and it does not see the bald eagle then it is young.
((("something" "needs" "lion" "+") ("something" "sees" "bald eagle" "~")) -> ("something" "is" "young" "+"))
If something needs the bald eagle then it needs the lion.
((("something" "needs" "bald eagle" "+")) -> ("something" "needs" "lion" "+"))
The lion sees the bald eagle.
True
1
proof
[(triple12)]
("lion" "sees" "bald eagle" "+")
triple12
The lion is not big.
False
1
inv-proof
[(triple7)]
("lion" "is" "big" "-")
triple7
The lion needs the lion.
True
2
proof
[(((triple11) -> rule2))]
("lion" "needs" "lion" "+")
((triple11) -> (rule2 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion does not need the lion.
False
2
inv-proof
[(((triple11) -> rule2))]
("lion" "needs" "lion" "-")
((triple11) -> (rule2 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "young" "-")
The lion is kind.
Unknown
random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle needs the lion.[(triple4)] The bald eagle sees the lion.[(triple5)] The lion eats the bald eagle.[(triple6)] The lion is big.[(triple7)] The lion is nice.[(triple8)] The lion is rough.[(triple9)] The lion is young.[(triple10)] The lion needs the bald eagle.[(triple11)] The lion sees the bald eagle.[(triple12)] @1: The lion needs the lion.[(((triple11) -> rule2))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple4
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple5
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple6
The lion is big.
("lion" "is" "big" "+")
triple7
The lion is nice.
("lion" "is" "nice" "+")
triple8
The lion is rough.
("lion" "is" "rough" "+")
triple9
The lion is young.
("lion" "is" "young" "+")
triple10
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple11
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple12
The lion needs the lion.
("lion" "needs" "lion" "+")
((triple11) -> (rule2 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1