The bald eagle chases the lion. The bald eagle is big. The bald eagle is blue. The bald eagle is nice. The bald eagle is red. The bald eagle is round. The bald eagle needs the lion. The bald eagle visits the lion. The lion chases the bald eagle. The lion is big. The lion is blue. The lion is nice. The lion is red. The lion is round. The lion needs the bald eagle. The lion visits the bald eagle. If something chases the bald eagle then it needs the bald eagle. If something chases the bald eagle and it is big then the bald eagle chases the lion. If something needs the lion and the lion needs the bald eagle then it chases the bald eagle.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is round.
("lion" "is" "round" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
If something chases the bald eagle then it needs the bald eagle.
((("something" "chases" "bald eagle" "+")) -> ("something" "needs" "bald eagle" "+"))
If something chases the bald eagle and it is big then the bald eagle chases the lion.
((("something" "chases" "bald eagle" "+") ("something" "is" "big" "+")) -> ("bald eagle" "chases" "lion" "+"))
If something needs the lion and the lion needs the bald eagle then it chases the bald eagle.
((("something" "needs" "lion" "+") ("lion" "needs" "bald eagle" "+")) -> ("something" "chases" "bald eagle" "+"))
The lion is big.
True
1
proof
[(triple10)]
("lion" "is" "big" "+")
triple10
The lion does not need the bald eagle.
False
1
inv-proof
[(triple15 OR ((triple9) -> rule1))]
("lion" "needs" "bald eagle" "-")
triple15
((triple9) -> (rule1 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
The bald eagle chases the bald eagle.
True
3
proof
[(((triple7 triple15) -> rule3) OR ((triple7 ((triple9) -> rule1)) -> rule3))]
("bald eagle" "chases" "bald eagle" "+")
((triple7 triple15) -> (rule3 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
((triple7 ((triple9) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int2
The bald eagle does not chase the bald eagle.
False
3
inv-proof
[(((triple7 triple15) -> rule3) OR ((triple7 ((triple9) -> rule1)) -> rule3))]
("bald eagle" "chases" "bald eagle" "-")
((triple7 triple15) -> (rule3 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
((triple7 ((triple9) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int2
The bald eagle needs the bald eagle.
True
4
proof
[(((((triple7 triple15) -> rule3)) -> rule1) OR ((((triple7 ((triple9) -> rule1)) -> rule3)) -> rule1))]
("bald eagle" "needs" "bald eagle" "+")
((((triple7 triple15) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
((((triple7 ((triple9) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int3
The bald eagle does not need the bald eagle.
False
4
inv-proof
[(((((triple7 triple15) -> rule3)) -> rule1) OR ((((triple7 ((triple9) -> rule1)) -> rule3)) -> rule1))]
("bald eagle" "needs" "bald eagle" "-")
((((triple7 triple15) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
((((triple7 ((triple9) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int3
The bald eagle does not visit the bald eagle.
Unknown
inv-random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
The lion does not need the lion.
Unknown
inv-random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "-")
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 chases the lion.[(triple1 OR ((triple9 triple10) -> rule2) OR ((((triple7 triple15) -> rule3) triple2) -> rule2) OR ((((triple7 ((triple9) -> rule1)) -> rule3) triple2) -> rule2))] The bald eagle is big.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is red.[(triple5)] The bald eagle is round.[(triple6)] The bald eagle needs the lion.[(triple7)] The bald eagle visits the lion.[(triple8)] The lion chases the bald eagle.[(triple9)] The lion is big.[(triple10)] The lion is blue.[(triple11)] The lion is nice.[(triple12)] The lion is red.[(triple13)] The lion is round.[(triple14)] The lion needs the bald eagle.[(triple15 OR ((triple9) -> rule1))] The lion visits the bald eagle.[(triple16)] @1: The bald eagle chases the bald eagle.[(((triple7 triple15) -> rule3) OR ((triple7 ((triple9) -> rule1)) -> rule3))] @2: The bald eagle needs the bald eagle.[(((((triple7 triple15) -> rule3)) -> rule1) OR ((((triple7 ((triple9) -> rule1)) -> rule3)) -> rule1))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
((triple9 triple10) -> (rule2 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
((((triple7 triple15) -> (rule3 % int2)) triple2) -> (rule2 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
((((triple7 ((triple9) -> (rule1 % int3))) -> (rule3 % int2)) triple2) -> (rule2 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple4
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple5
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple6
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple7
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple8
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple9
The lion is big.
("lion" "is" "big" "+")
triple10
The lion is blue.
("lion" "is" "blue" "+")
triple11
The lion is nice.
("lion" "is" "nice" "+")
triple12
The lion is red.
("lion" "is" "red" "+")
triple13
The lion is round.
("lion" "is" "round" "+")
triple14
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple15
((triple9) -> (rule1 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple16
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple7 triple15) -> (rule3 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
((triple7 ((triple9) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int2
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((((triple7 triple15) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
((((triple7 ((triple9) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int3