The bald eagle is kind. The bald eagle is nice. The bald eagle is rough. The bald eagle is not young. The bald eagle likes the tiger. The bald eagle needs the dog. The bald eagle sees the dog. The dog is not kind. The dog does not like the bald eagle. The dog needs the bald eagle. The dog needs the tiger. The tiger is rough. If someone is young then they are big. If someone needs the bald eagle then they are young. If the tiger is young and the tiger likes the bald eagle then the bald eagle needs the dog.
The tiger is not big.
@0: The bald eagle is kind.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is not young.[(triple4)] The bald eagle is rough.[(triple3)] The bald eagle likes the tiger.[(triple5)] The bald eagle needs the dog.[(triple6)] The bald eagle sees the dog.[(triple7)] The dog does not like the bald eagle.[(triple9)] The dog is not kind.[(triple8)] The dog needs the bald eagle.[(triple10)] The dog needs the tiger.[(triple11)] The tiger is rough.[(triple12)] @1: The dog is young.[(((triple10) -> rule2))] @2: The dog is big.[(((((triple10) -> rule2)) -> rule1))]