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