The bald eagle needs the tiger. The bald eagle sees the tiger. The lion likes the bald eagle. The lion does not like the tiger. The tiger is young. The tiger needs the lion. The tiger sees the bald eagle. If something sees the bald eagle then the bald eagle needs the lion. If something sees the bald eagle and the bald eagle needs the lion then the bald eagle does not see the lion.
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion does not like the tiger.
("lion" "likes" "tiger" "-")
The tiger is young.
("tiger" "is" "young" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If something sees the bald eagle then the bald eagle needs the lion.
((("something" "sees" "bald eagle" "+")) -> ("bald eagle" "needs" "lion" "+"))
If something sees the bald eagle and the bald eagle needs the lion then the bald eagle does not see the lion.
((("something" "sees" "bald eagle" "+") ("bald eagle" "needs" "lion" "+")) -> ("bald eagle" "sees" "lion" "-"))
The lion does not like the tiger.
True
1
proof
[(triple4)]
("lion" "likes" "tiger" "-")
triple4
The tiger does not need the lion.
False
1
inv-proof
[(triple6)]
("tiger" "needs" "lion" "-")
triple6
The bald eagle needs the lion.
True
2
proof
[(((triple7) -> rule1))]
("bald eagle" "needs" "lion" "+")
((triple7) -> (rule1 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
The bald eagle does not need the lion.
False
2
inv-proof
[(((triple7) -> rule1))]
("bald eagle" "needs" "lion" "-")
((triple7) -> (rule1 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
The bald eagle does not see the lion.
True
4
proof
[(((triple7 ((triple7) -> rule1)) -> rule2))]
("bald eagle" "sees" "lion" "-")
((triple7 ((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle does not see the lion.
("bald eagle" "sees" "lion" "-")
int1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int2
The bald eagle sees the lion.
False
4
inv-proof
[(((triple7 ((triple7) -> rule1)) -> rule2))]
("bald eagle" "sees" "lion" "+")
((triple7 ((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle does not see the lion.
("bald eagle" "sees" "lion" "-")
int1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int2
The bald eagle does not like the lion.
Unknown
inv-random
[@0: The bald eagle likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "lion" "-")
The tiger is nice.
Unknown
random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "+")
The tiger does not see the lion.
Unknown
inv-random
[@0: The tiger sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "lion" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The bald eagle is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The tiger needs the bald eagle.
Unknown
random
[@0: The tiger needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "bald eagle" "+")
@0: The bald eagle needs the tiger.[(triple1)] The bald eagle sees the tiger.[(triple2)] The lion does not like the tiger.[(triple4)] The lion likes the bald eagle.[(triple3)] The tiger is young.[(triple5)] The tiger needs the lion.[(triple6)] The tiger sees the bald eagle.[(triple7)] @1: The bald eagle needs the lion.[(((triple7) -> rule1))] @2: The bald eagle does not see the lion.[(((triple7 ((triple7) -> rule1)) -> rule2))]
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple2
The lion does not like the tiger.
("lion" "likes" "tiger" "-")
triple4
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple3
The tiger is young.
("tiger" "is" "young" "+")
triple5
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple6
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple7
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
((triple7) -> (rule1 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
The bald eagle does not see the lion.
("bald eagle" "sees" "lion" "-")
((triple7 ((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle does not see the lion.
("bald eagle" "sees" "lion" "-")
int1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int2