The bald eagle is cold. The bald eagle likes the rabbit. The cow likes the bald eagle. The lion is cold. The lion likes the bald eagle. The lion likes the cow. The lion needs the bald eagle. The rabbit is red. The rabbit sees the bald eagle. The rabbit sees the cow. All red people are cold. If the lion needs the bald eagle then the bald eagle is young. If someone is young then they need the lion.
The lion does not like the lion.
@0: The bald eagle is cold.[(triple1)] The bald eagle likes the rabbit.[(triple2)] The cow likes the bald eagle.[(triple3)] The lion is cold.[(triple4)] The lion likes the bald eagle.[(triple5)] The lion likes the cow.[(triple6)] The lion needs the bald eagle.[(triple7)] The rabbit is red.[(triple8)] The rabbit sees the bald eagle.[(triple9)] The rabbit sees the cow.[(triple10)] @1: The bald eagle is young.[(((triple7) -> rule2))] The rabbit is cold.[(((triple8) -> rule1))] @2: The bald eagle needs the lion.[(((((triple7) -> rule2)) -> rule3))]