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