The bald eagle is big. The bald eagle is not young. The bald eagle likes the tiger. The bald eagle visits the dog. The bald eagle visits the tiger. The dog is not rough. The dog is young. The dog likes the lion. The lion eats the dog. The lion likes the tiger. The tiger is nice. The tiger likes the dog. If someone eats the dog then they visit the tiger. If someone is young and nice then they eat the lion. If someone visits the tiger and they do not visit the lion then the lion likes the bald eagle. If someone eats the dog then they are not rough. If someone eats the tiger and the tiger does not visit the lion then the tiger visits the dog. If someone visits the dog and they like the lion then they like the tiger.
The bald eagle is nice.
@0: The bald eagle is big.[(triple1)] The bald eagle is not young.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bald eagle visits the dog.[(triple4)] The bald eagle visits the tiger.[(triple5)] The dog is not rough.[(triple6)] The dog is young.[(triple7)] The dog likes the lion.[(triple8)] The lion eats the dog.[(triple9)] The lion likes the tiger.[(triple10)] The tiger is nice.[(triple11)] The tiger likes the dog.[(triple12)] @1: The lion is not rough.[(((triple9) -> rule4))] The lion visits the tiger.[(((triple9) -> rule1))]