Sorry the comments in the test data aren't real. Real test data would be:

Problem 2:
G:
Segment AB congruent Segment BC
P:
triangle ABC isosceles
PR:
Segment AB congruent Segment BC => G
triangle ABC isosceles => def isosceles
[download]

sorry. Also since i need to preserve the order of the statements/reasons should i sort/find the longest like this:

$len = length( @{ sort ($a <=> $b) @s }[0]);
[download]

thanks