The bald eagle chases the dog. The bald eagle chases the tiger. The bald eagle eats the dog. The bald eagle eats the tiger. The bald eagle is cold. The bald eagle is green. The bald eagle is red. The dog chases the bald eagle. The dog eats the bald eagle. The dog is red. The tiger chases the bald eagle. The tiger chases the dog. The tiger eats the bald eagle. The tiger eats the dog. The tiger is blue. The tiger is green. Red things are blue. If something likes the bald eagle and the bald eagle likes the tiger then it is red.
The bald eagle is blue.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle eats the dog.[(triple3)] The bald eagle eats the tiger.[(triple4)] The bald eagle is cold.[(triple5)] The bald eagle is green.[(triple6)] The bald eagle is red.[(triple7)] The dog chases the bald eagle.[(triple8)] The dog eats the bald eagle.[(triple9)] The dog is red.[(triple10)] The tiger chases the bald eagle.[(triple11)] The tiger chases the dog.[(triple12)] The tiger eats the bald eagle.[(triple13)] The tiger eats the dog.[(triple14)] The tiger is blue.[(triple15)] The tiger is green.[(triple16)] @1: The bald eagle is blue.[(((triple7) -> rule1))] The dog is blue.[(((triple10) -> rule1))]