The bald eagle is cold. The bald eagle is red. The bald eagle likes the tiger. The bald eagle visits the dog. The bald eagle visits the tiger. The dog chases the bald eagle. The dog is blue. The dog is cold. The dog is kind. The dog likes the tiger. The tiger is blue. The tiger is red. The tiger is rough. The tiger likes the bald eagle. The tiger likes the dog. The tiger visits the bald eagle. If the dog is blue and the dog is rough then the dog likes the tiger. If someone visits the bald eagle then they are blue.
The bald eagle is cold.
@0: The bald eagle is cold.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bald eagle visits the dog.[(triple4)] The bald eagle visits the tiger.[(triple5)] The dog chases the bald eagle.[(triple6)] The dog is blue.[(triple7)] The dog is cold.[(triple8)] The dog is kind.[(triple9)] The dog likes the tiger.[(triple10)] The tiger is blue.[(triple11 OR ((triple16) -> rule2))] The tiger is red.[(triple12)] The tiger is rough.[(triple13)] The tiger likes the bald eagle.[(triple14)] The tiger likes the dog.[(triple15)] The tiger visits the bald eagle.[(triple16)]