The bald eagle chases the dog. The bald eagle is cold. The bald eagle is green. The bald eagle is nice. The dog is green. The rabbit chases the bald eagle. The rabbit eats the bald eagle. The rabbit eats the dog. The tiger chases the bald eagle. The tiger is green. The tiger is nice. The tiger is red. All red people are nice. If someone sees the dog and the dog is green then they eat the bald eagle.
The rabbit chases the rabbit.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is nice.[(triple4)] The dog is green.[(triple5)] The rabbit chases the bald eagle.[(triple6)] The rabbit eats the bald eagle.[(triple7)] The rabbit eats the dog.[(triple8)] The tiger chases the bald eagle.[(triple9)] The tiger is green.[(triple10)] The tiger is nice.[(triple11 OR ((triple12) -> rule1))] The tiger is red.[(triple12)]