The bald eagle is nice. The bald eagle likes the dog. The bear eats the bald eagle. The bear is nice. The bear likes the dog. The bear visits the tiger. The dog is blue. The dog is nice. The dog visits the bald eagle. The tiger is nice. The tiger is rough. The tiger likes the bald eagle. If the tiger visits the bear then the bear likes the bald eagle. If someone is blue and rough then they eat the tiger. If someone is nice and they like the bear then they visit the bear. If someone likes the bald eagle then they like the bear. If the dog is big and the dog is not rough then the dog likes the tiger.
The bald eagle likes the dog.
@0: The bald eagle is nice.[(triple1)] The bald eagle likes the dog.[(triple2)] The bear eats the bald eagle.[(triple3)] The bear is nice.[(triple4)] The bear likes the dog.[(triple5)] The bear visits the tiger.[(triple6)] The dog is blue.[(triple7)] The dog is nice.[(triple8)] The dog visits the bald eagle.[(triple9)] The tiger is nice.[(triple10)] The tiger is rough.[(triple11)] The tiger likes the bald eagle.[(triple12)] @1: The tiger likes the bear.[(((triple12) -> rule4))] @2: The tiger visits the bear.[(((triple10 ((triple12) -> rule4)) -> rule3))] @3: The bear likes the bald eagle.[(((((triple10 ((triple12) -> rule4)) -> rule3)) -> rule1))] @4: The bear likes the bear.[(((((((triple10 ((triple12) -> rule4)) -> rule3)) -> rule1)) -> rule4))] @5: The bear visits the bear.[(((triple4 ((((((triple10 ((triple12) -> rule4)) -> rule3)) -> rule1)) -> rule4)) -> rule3))]