The bald eagle chases the tiger. The bald eagle is green. The bald eagle sees the lion. The dog sees the lion. The lion chases the bald eagle. The lion chases the dog. The lion is big. The lion is blue. The lion likes the bald eagle. The lion sees the tiger. The tiger chases the bald eagle. The tiger chases the dog. The tiger is green. The tiger likes the dog. The tiger likes the lion. The tiger sees the lion. If the lion likes the dog and the dog chases the lion then the lion chases the bald eagle. If something chases the tiger and the tiger likes the lion then the lion sees the dog. If something sees the dog and it is round then it sees the tiger. If the lion chases the bald eagle then the bald eagle chases the lion. If something chases the bald eagle and the bald eagle sees the dog then the bald eagle is green. If the bald eagle likes the tiger and the bald eagle chases the dog then the tiger chases the dog. If something sees the dog then the dog likes the bald eagle. If something likes the tiger then the tiger is round.
The lion does not chase the bald eagle.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle sees the lion.[(triple3)] The dog sees the lion.[(triple4)] The lion chases the bald eagle.[(triple5)] The lion chases the dog.[(triple6)] The lion is big.[(triple7)] The lion is blue.[(triple8)] The lion likes the bald eagle.[(triple9)] The lion sees the tiger.[(triple10)] The tiger chases the bald eagle.[(triple11)] The tiger chases the dog.[(triple12)] The tiger is green.[(triple13)] The tiger likes the dog.[(triple14)] The tiger likes the lion.[(triple15)] The tiger sees the lion.[(triple16)] @1: The bald eagle chases the lion.[(((triple5) -> rule4))] The lion sees the dog.[(((triple1 triple15) -> rule2))] @2: The dog likes the bald eagle.[(((((triple1 triple15) -> rule2)) -> rule7))]