By [] using true we have:
rdf:type(:N0,:ind)
By [] using rdf:type(:N0,:ind) we have:
rdf:type(:N1,:ind)
By [] using rdf:type(:N0,:ind) we have:
rdf:type(:I1,:ind)
By [] using rdf:type(:N0,:ind) we have:
rdf:type(:J1,:ind)
By [] using rdf:type(:N1,:ind) we have:
rdf:type(:N2,:ind)
By [] using rdf:type(:N1,:ind) we have:
rdf:type(:I2,:ind)
By [] using rdf:type(:N1,:ind) we have:
rdf:type(:J2,:ind)
By [] using rdf:type(:N2,:ind) we have:
rdf:type(:N3,:ind)
By [] using rdf:type(:N2,:ind) we have:
rdf:type(:I3,:ind)
By [] using rdf:type(:N2,:ind) we have:
rdf:type(:J3,:ind)
By [] using rdf:type(:N3,:ind) we have:
rdf:type(:N4,:ind)
By [] using rdf:type(:N3,:ind) we have:
rdf:type(:I4,:ind)
By [] using rdf:type(:N3,:ind) we have:
rdf:type(:J4,:ind)
By [] using rdf:type(:N4,:ind) we have:
rdf:type(:N5,:ind)
By [] using rdf:type(:N4,:ind) we have:
rdf:type(:I5,:ind)
By [] using rdf:type(:N4,:ind) we have:
rdf:type(:J5,:ind)
By [] using rdf:type(:N5,:ind) we have:
rdf:type(:N6,:ind)
By [] using rdf:type(:N5,:ind) we have:
rdf:type(:I6,:ind)
By [] using rdf:type(:N5,:ind) we have:
rdf:type(:J6,:ind)
By [] using rdf:type(:N6,:ind) we have:
rdf:type(:N7,:ind)
By [] using rdf:type(:N6,:ind) we have:
rdf:type(:I7,:ind)
By [] using rdf:type(:N6,:ind) we have:
rdf:type(:J7,:ind)
By [] using rdf:type(:N7,:ind) we have:
rdf:type(:N8,:ind)
By [] using rdf:type(:N7,:ind) we have:
rdf:type(:I8,:ind)
By [] using rdf:type(:N7,:ind) we have:
rdf:type(:J8,:ind)
By [] using rdf:type(:N8,:ind) we have:
rdf:type(:N9,:ind)
By [] using rdf:type(:N8,:ind) we have:
rdf:type(:I9,:ind)
By [] using rdf:type(:N8,:ind) we have:
rdf:type(:J9,:ind)
By [] using rdf:type(:N9,:ind) we have:
rdf:type(:N10,:ind)
By [] using rdf:type(:N9,:ind) we have:
rdf:type(:I10,:ind)
By [] using rdf:type(:N9,:ind) we have:
rdf:type(:J10,:ind)
By [] using rdf:type(:N10,:ind) we have:
rdf:type(:A2,:ind)
By [] using rdf:type(:A2,:ind) we have:
goal

valid, stack: nil