The bald eagle eats the bear. The bald eagle is young. The bald eagle visits the dog. The bald eagle visits the tiger. The bear is round. The bear visits the dog. The bear visits the tiger. The dog eats the tiger. The dog is young. The tiger is green. The tiger is nice. The tiger is round. The tiger needs the bald eagle. The tiger needs the bear. The tiger visits the dog. If someone visits the tiger then they are nice. If someone eats the dog then they are green. If someone is blue then they are nice.
The bear visits the dog.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle visits the dog.[(triple3)] The bald eagle visits the tiger.[(triple4)] The bear is round.[(triple5)] The bear visits the dog.[(triple6)] The bear visits the tiger.[(triple7)] The dog eats the tiger.[(triple8)] The dog is young.[(triple9)] The tiger is green.[(triple10)] The tiger is nice.[(triple11)] The tiger is round.[(triple12)] The tiger needs the bald eagle.[(triple13)] The tiger needs the bear.[(triple14)] The tiger visits the dog.[(triple15)] @1: The bald eagle is nice.[(((triple4) -> rule1))] The bear is nice.[(((triple7) -> rule1))]