The bald eagle eats the lion. The bald eagle is cold. The bald eagle is red. The bald eagle likes the lion. The bald eagle needs the rabbit. The lion eats the rabbit. The lion is cold. The lion is kind. The lion is round. The lion likes the bald eagle. The lion likes the rabbit. The lion needs the rabbit. The rabbit eats the bald eagle. The rabbit likes the bald eagle. The rabbit needs the lion. If someone needs the rabbit then they like the lion. If the lion likes the bald eagle and the bald eagle needs the lion then the bald eagle is blue. If someone is cold and blue then they like the bald eagle.
The lion is red.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle likes the lion.[(triple4 OR ((triple5) -> rule1))] The bald eagle needs the rabbit.[(triple5)] The lion eats the rabbit.[(triple6)] The lion is cold.[(triple7)] The lion is kind.[(triple8)] The lion is round.[(triple9)] The lion likes the bald eagle.[(triple10)] The lion likes the rabbit.[(triple11)] The lion needs the rabbit.[(triple12)] The rabbit eats the bald eagle.[(triple13)] The rabbit likes the bald eagle.[(triple14)] The rabbit needs the lion.[(triple15)] @1: The lion likes the lion.[(((triple12) -> rule1))]