Yes, it is possible to merge the three files into the format you described. You can use a simple script to do this. Here is an example of how you could do it in Python:
# Open the first file in read mode
with open('file1.txt', 'r') as file1:
# Open the second file in read mode
with open('file2.txt', 'r') as file2:
# Open the third file in read mode
with open('file3.txt', 'r') as file3:
# Open a new file in write mode
with open('output.txt', 'w') as output:
# Iterate over the lines in the first file
for line1 in file1:
# Read the corresponding lines from the second and third files
line2 = file2.readline()
line3 = file3.readline()
# Format the lines as described in the question
output_line = ' ' + line1.strip() + ':\n'
output_line += ' ' + line2.strip() + ';\n'
output_line += ' ' + line3.strip() + ';\n'
# Write the formatted line to the output file
This script reads each line from the first file, and then reads the corresponding lines from the second and third files. It then formats these lines as described in the question, and writes the result to a new file called output.txt.
You can adjust the code to use different file names and to add any additional formatting that you want.