The bald eagle is green. The bald eagle is red. The bald eagle likes the lion. The cat does not chase the lion. The cat is nice. The lion is red. The lion likes the bald eagle. The lion needs the bald eagle. The tiger is red. The tiger likes the cat. The tiger needs the bald eagle. The tiger needs the cat. If someone needs the bald eagle then the bald eagle needs the lion. If someone needs the lion and the lion likes the bald eagle then the lion chases the cat.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The cat does not chase the lion.
("cat" "chases" "lion" "-")
The cat is nice.
("cat" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
If someone needs the bald eagle then the bald eagle needs the lion.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "lion" "+"))
If someone needs the lion and the lion likes the bald eagle then the lion chases the cat.
((("someone" "needs" "lion" "+") ("lion" "likes" "bald eagle" "+")) -> ("lion" "chases" "cat" "+"))
The cat is nice.
True
1
proof
[(triple5)]
("cat" "is" "nice" "+")
triple5
The bald eagle is not green.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "green" "-")
triple1
The bald eagle needs the lion.
True
2
proof
[(((triple11) -> rule1) OR ((triple8) -> rule1))]
("bald eagle" "needs" "lion" "+")
((triple11) -> (rule1 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
((triple8) -> (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
[(((triple11) -> rule1) OR ((triple8) -> rule1))]
("bald eagle" "needs" "lion" "-")
((triple11) -> (rule1 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
((triple8) -> (rule1 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
The lion chases the cat.
True
4
proof
[(((((triple11) -> rule1) triple7) -> rule2) OR ((((triple8) -> rule1) triple7) -> rule2))]
("lion" "chases" "cat" "+")
((((triple11) -> (rule1 % int2)) triple7) -> (rule2 % int1))
The lion chases the cat.
("lion" "chases" "cat" "+")
int1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int2
((((triple8) -> (rule1 % int2)) triple7) -> (rule2 % int1))
The lion chases the cat.
("lion" "chases" "cat" "+")
int1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int2
The lion does not chase the cat.
False
4
inv-proof
[(((((triple11) -> rule1) triple7) -> rule2) OR ((((triple8) -> rule1) triple7) -> rule2))]
("lion" "chases" "cat" "-")
((((triple11) -> (rule1 % int2)) triple7) -> (rule2 % int1))
The lion chases the cat.
("lion" "chases" "cat" "+")
int1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int2
((((triple8) -> (rule1 % int2)) triple7) -> (rule2 % int1))
The lion chases the cat.
("lion" "chases" "cat" "+")
int1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int2
The cat does not like the cat.
Unknown
inv-random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "-")
The tiger is young.
Unknown
random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "+")
The tiger does not chase the cat.
Unknown
inv-random
[@0: The tiger chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "cat" "-")
The tiger chases the bald eagle.
Unknown
random
[@0: The tiger chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "bald eagle" "+")
The lion does not need the tiger.
Unknown
inv-random
[@0: The lion needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "tiger" "-")
The lion is young.
Unknown
random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle likes the lion.[(triple3)] The cat does not chase the lion.[(triple4)] The cat is nice.[(triple5)] The lion is red.[(triple6)] The lion likes the bald eagle.[(triple7)] The lion needs the bald eagle.[(triple8)] The tiger is red.[(triple9)] The tiger likes the cat.[(triple10)] The tiger needs the bald eagle.[(triple11)] The tiger needs the cat.[(triple12)] @1: The bald eagle needs the lion.[(((triple11) -> rule1) OR ((triple8) -> rule1))] @2: The lion chases the cat.[(((((triple11) -> rule1) triple7) -> rule2) OR ((((triple8) -> rule1) triple7) -> rule2))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple3
The cat does not chase the lion.
("cat" "chases" "lion" "-")
triple4
The cat is nice.
("cat" "is" "nice" "+")
triple5
The lion is red.
("lion" "is" "red" "+")
triple6
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple7
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple8
The tiger is red.
("tiger" "is" "red" "+")
triple9
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple10
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple11
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple12
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
((triple11) -> (rule1 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
((triple8) -> (rule1 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
The lion chases the cat.
("lion" "chases" "cat" "+")
((((triple11) -> (rule1 % int2)) triple7) -> (rule2 % int1))
The lion chases the cat.
("lion" "chases" "cat" "+")
int1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int2
((((triple8) -> (rule1 % int2)) triple7) -> (rule2 % int1))
The lion chases the cat.
("lion" "chases" "cat" "+")
int1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int2