The bald eagle is cold. The bald eagle is green. The bald eagle likes the dog. The bald eagle likes the lion. The dog chases the bald eagle. The dog is cold. The lion chases the dog. The lion is cold. The lion is red. The lion sees the bald eagle. If something likes the lion then the lion is green. If the lion is green then the lion likes the dog.
The bald eagle is not blue.
@0: The bald eagle is cold.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle likes the dog.[(triple3)] The bald eagle likes the lion.[(triple4)] The dog chases the bald eagle.[(triple5)] The dog is cold.[(triple6)] The lion chases the dog.[(triple7)] The lion is cold.[(triple8)] The lion is red.[(triple9)] The lion sees the bald eagle.[(triple10)] @1: The lion is green.[(((triple4) -> rule1))] @2: The lion likes the dog.[(((((triple4) -> rule1)) -> rule2))]