@prefix : <#> .
    
    12     :a :Pythagorean .
    
    13     :a :Pythagorean .
    
    3     :a :Pythagorean,
                :RESULT1 .
    
    4     :a :Pythagorean,
                :RESULT1 .
    
    5     :a :Pythagorean,
                :RESULT1 .
    
    :amy     a :Friend .
    
    :fred     a :Friend .
    
    :joe     a :Friend .