The bald eagle is cold. The bald eagle likes the lion. The bald eagle visits the lion. The dog eats the bald eagle. The dog is blue. The dog is cold. The dog is kind. The dog visits the bald eagle. The dog does not visit the lion. The lion eats the bald eagle. The lion is blue. The lion is kind. The lion is rough. The lion likes the bald eagle. The lion likes the dog. The lion visits the bald eagle. If something likes the dog then the dog is big. If something visits the bald eagle and it eats the lion then the bald eagle likes the lion. If something is cold and kind then it eats the bald eagle. If something is big and it eats the bald eagle then the bald eagle likes the dog. If something visits the dog and it is not cold then the dog is kind. If something visits the lion and it eats the lion then the lion does not eat the bald eagle. If the dog eats the bald eagle and the dog is not kind then the bald eagle is rough. If the lion does not like the bald eagle then the bald eagle is rough.
The bald eagle likes the dog.
@0: The bald eagle is cold.[(triple1)] The bald eagle likes the lion.[(triple2)] The bald eagle visits the lion.[(triple3)] The dog does not visit the lion.[(triple9)] The dog eats the bald eagle.[(triple4 OR ((triple6 triple7) -> rule3))] The dog is blue.[(triple5)] The dog is cold.[(triple6)] The dog is kind.[(triple7)] The dog visits the bald eagle.[(triple8)] The lion eats the bald eagle.[(triple10)] The lion is blue.[(triple11)] The lion is kind.[(triple12)] The lion is rough.[(triple13)] The lion likes the bald eagle.[(triple14)] The lion likes the dog.[(triple15)] The lion visits the bald eagle.[(triple16)] @1: The dog is big.[(((triple15) -> rule1))] @2: The bald eagle likes the dog.[(((((triple15) -> rule1) triple4) -> rule4) OR ((((triple15) -> rule1) ((triple6 triple7) -> rule3)) -> rule4))]