The bald eagle is cold. The cat sees the lion. The cow sees the bald eagle. The lion is young. If something is green then it is young. If the cow needs the cat and the cat sees the cow then the cow is cold. If something needs the lion and it likes the lion then the lion is young. If something sees the bald eagle then it likes the cat. If something sees the lion then the lion sees the bald eagle. If something is rough and it sees the bald eagle then the bald eagle is young. If the bald eagle likes the lion and the bald eagle is young then the lion likes the bald eagle. If something needs the cat and it likes the bald eagle then the cat sees the cow.
The bald eagle is cold.
@0: The bald eagle is cold.[(triple1)] The cat sees the lion.[(triple2)] The cow sees the bald eagle.[(triple3)] The lion is young.[(triple4)] @1: The cow likes the cat.[(((triple3) -> rule4))] The lion sees the bald eagle.[(((triple2) -> rule5))] @2: The lion likes the cat.[(((((triple2) -> rule5)) -> rule4))]