The bald eagle is green. The bald eagle likes the bear. The bald eagle likes the lion. The bear is blue. The bear is red. The bear is young. The bear needs the lion. The bear visits the bald eagle. The bear visits the lion. The lion is green. The lion needs the tiger. The lion visits the bear. The lion visits the tiger. The tiger is round. The tiger needs the bald eagle. The tiger visits the lion. If someone visits the tiger then the tiger visits the bald eagle. If someone likes the bald eagle and the bald eagle is young then the bald eagle needs the tiger. If someone needs the lion then the lion is red. If someone likes the bald eagle and they are young then they like the tiger. If someone needs the lion and they need the bald eagle then they are green. If the tiger likes the bald eagle then the tiger likes the lion.
The tiger does not like the tiger.
@0: The bald eagle is green.[(triple1)] The bald eagle likes the bear.[(triple2)] The bald eagle likes the lion.[(triple3)] The bear is blue.[(triple4)] The bear is red.[(triple5)] The bear is young.[(triple6)] The bear needs the lion.[(triple7)] The bear visits the bald eagle.[(triple8)] The bear visits the lion.[(triple9)] The lion is green.[(triple10)] The lion needs the tiger.[(triple11)] The lion visits the bear.[(triple12)] The lion visits the tiger.[(triple13)] The tiger is round.[(triple14)] The tiger needs the bald eagle.[(triple15)] The tiger visits the lion.[(triple16)] @1: The lion is red.[(((triple7) -> rule3))] The tiger visits the bald eagle.[(((triple13) -> rule1))]