The bald eagle likes the lion. The bald eagle likes the tiger. The bald eagle visits the tiger. The dog is round. The dog likes the lion. The dog needs the tiger. The dog visits the tiger. The lion is cold. The lion is kind. The lion is nice. The lion is round. The lion is young. The lion needs the bald eagle. The tiger is nice. The tiger likes the bald eagle. The tiger visits the lion. If something needs the bald eagle then the bald eagle is cold. If something likes the dog and it needs the dog then it visits the dog. If something visits the tiger and the tiger likes the lion then the tiger likes the dog. If something likes the bald eagle then it is nice. If the dog is young then the dog is cold. If something needs the bald eagle and the bald eagle needs the tiger then the bald eagle needs the dog.
The lion is not cold.
@0: The bald eagle likes the lion.[(triple1)] The bald eagle likes the tiger.[(triple2)] The bald eagle visits the tiger.[(triple3)] The dog is round.[(triple4)] The dog likes the lion.[(triple5)] The dog needs the tiger.[(triple6)] The dog visits the tiger.[(triple7)] The lion is cold.[(triple8)] The lion is kind.[(triple9)] The lion is nice.[(triple10)] The lion is round.[(triple11)] The lion is young.[(triple12)] The lion needs the bald eagle.[(triple13)] The tiger is nice.[(triple14 OR ((triple15) -> rule4))] The tiger likes the bald eagle.[(triple15)] The tiger visits the lion.[(triple16)] @1: The bald eagle is cold.[(((triple13) -> rule1))]