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