The bald eagle is big. The bald eagle is blue. The bald eagle is nice. The bald eagle is red. The bald eagle likes the bear. The bald eagle likes the tiger. The bald eagle visits the tiger. The bear eats the bald eagle. The bear is nice. The bear visits the bald eagle. The dog eats the tiger. The dog likes the tiger. The dog visits the tiger. The tiger is big. The tiger likes the bald eagle. The tiger visits the bald eagle. If someone is nice then they are kind. If the bear is kind then the bear likes the tiger. If someone visits the tiger and the tiger eats the bear then they visit the bald eagle.
The bald eagle likes the bear.
@0: The bald eagle is big.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle likes the bear.[(triple5)] The bald eagle likes the tiger.[(triple6)] The bald eagle visits the tiger.[(triple7)] The bear eats the bald eagle.[(triple8)] The bear is nice.[(triple9)] The bear visits the bald eagle.[(triple10)] The dog eats the tiger.[(triple11)] The dog likes the tiger.[(triple12)] The dog visits the tiger.[(triple13)] The tiger is big.[(triple14)] The tiger likes the bald eagle.[(triple15)] The tiger visits the bald eagle.[(triple16)] @1: The bald eagle is kind.[(((triple3) -> rule1))] The bear is kind.[(((triple9) -> rule1))] @2: The bear likes the tiger.[(((((triple9) -> rule1)) -> rule2))]