Chainer can get Stuck:

[rTreutlein]

!(import! &self (library lib_import))
!(git-import! "https://github.com/trueagi-io/PLN.git")
!(import! &self (library PLN lib_pln))

(= (kb) ((Sentence ((BenchFact demoCompare 1 1) (stv 1.0 0.8129042588863236)) (1)) (Sentence ((BenchFact demoCompare 1 2) (stv 1.0 0.877109126984073)) (2)) (Sentence ((BenchFact demoCompare 1 3) (stv 1.0 0.82467329935592)) (3)) (Sentence ((BenchFact demoCompare 1 4) (stv 1.0 0.6404467736571475)) (4)) (Sentence ((BenchFact demoCompare 1 5) (stv 1.0 0.5697096476974659)) (5)) (Sentence ((BenchFact demoCompare 1 6) (stv 1.0 0.8280276070412809)) (6)) (Sentence ((BenchFact demoCompare 1 7) (stv 1.0 0.9300973904882546)) (7)) (Sentence ((BenchFact demoCompare 1 8) (stv 1.0 0.45668231088261)) (8)) (Sentence ((BenchFact demoCompare 1 9) (stv 1.0 0.9685271748609343)) (9)) (Sentence ((BenchFact demoCompare 1 10) (stv 1.0 0.5304758559153953)) (10)) (Sentence ((BenchFact demoCompare 1 11) (stv 1.0 0.5655969300250053)) (11)) (Sentence ((BenchFact demoCompare 1 12) (stv 1.0 0.6801101008430537)) (12)) (Sentence ((BenchFact demoCompare 1 13) (stv 1.0 0.5806856156306293)) (13)) (Sentence ((BenchFact demoCompare 1 14) (stv 1.0 0.8695375516725834)) (14)) (Sentence ((BenchFact demoCompare 1 15) (stv 1.0 0.8926772824213625)) (15)) (Sentence ((BenchFact demoCompare 1 16) (stv 1.0 0.7420272694498079)) (16)) (Sentence ((BenchFact demoCompare 1 17) (stv 1.0 0.7630355431706783)) (17)) (Sentence ((BenchFact demoCompare 1 18) (stv 1.0 0.8953811632278055)) (18)) (Sentence ((BenchFact demoCompare 1 19) (stv 1.0 0.7104085672672656)) (19)) (Sentence ((BenchFact demoCompare 1 20) (stv 1.0 0.7934973227438328)) (20)) (Sentence ((BenchFact demoCompare 1 21) (stv 1.0 0.69883873423688)) (21)) (Sentence ((BenchFact demoCompare 1 22) (stv 1.0 0.6327246954398126)) (22)) (Sentence ((BenchFact demoCompare 1 23) (stv 1.0 0.9278442616528538)) (23)) (Sentence ((BenchFact demoCompare 1 24) (stv 1.0 0.5293454146878573)) (24)) (Sentence ((BenchFact demoCompare 1 25) (stv 1.0 0.5449178450219909)) (25)) (Sentence ((BenchFact demoCompare 1 26) (stv 1.0 0.6849901952806793)) (26)) (Sentence ((BenchFact demoCompare 1 27) (stv 1.0 0.9798146413354254)) (27)) (Sentence ((Implication (BenchFact demoCompare 1 1) (Implication (BenchFact demoCompare 1 2) (Implication (BenchFact demoCompare 1 3) (BenchNode demoCompare 1 1 1)))) (stv 1.0 0.5127133621240062)) (28)) (Sentence ((Implication (BenchFact demoCompare 1 4) (Implication (BenchFact demoCompare 1 5) (Implication (BenchFact demoCompare 1 6) (BenchNode demoCompare 1 1 2)))) (stv 1.0 0.46522417432786006)) (29)) (Sentence ((Implication (BenchFact demoCompare 1 7) (Implication (BenchFact demoCompare 1 8) (Implication (BenchFact demoCompare 1 9) (BenchNode demoCompare 1 1 3)))) (stv 1.0 0.8566126445059137)) (30)) (Sentence ((Implication (BenchFact demoCompare 1 10) (Implication (BenchFact demoCompare 1 11) (Implication (BenchFact demoCompare 1 12) (BenchNode demoCompare 1 1 4)))) (stv 1.0 0.9183403071898122)) (31)) (Sentence ((Implication (BenchFact demoCompare 1 13) (Implication (BenchFact demoCompare 1 14) (Implication (BenchFact demoCompare 1 15) (BenchNode demoCompare 1 1 5)))) (stv 1.0 0.9702328075134332)) (32)) (Sentence ((Implication (BenchFact demoCompare 1 16) (Implication (BenchFact demoCompare 1 17) (Implication (BenchFact demoCompare 1 18) (BenchNode demoCompare 1 1 6)))) (stv 1.0 0.6870469689390059)) (33)) (Sentence ((Implication (BenchFact demoCompare 1 19) (Implication (BenchFact demoCompare 1 20) (Implication (BenchFact demoCompare 1 21) (BenchNode demoCompare 1 1 7)))) (stv 1.0 0.9039057353802599)) (34)) (Sentence ((Implication (BenchFact demoCompare 1 22) (Implication (BenchFact demoCompare 1 23) (Implication (BenchFact demoCompare 1 24) (BenchNode demoCompare 1 1 8)))) (stv 1.0 0.5216060344469503)) (35)) (Sentence ((Implication (BenchFact demoCompare 1 25) (Implication (BenchFact demoCompare 1 26) (Implication (BenchFact demoCompare 1 27) (BenchNode demoCompare 1 1 9)))) (stv 1.0 0.842801807202257)) (36)) (Sentence ((Implication (BenchNode demoCompare 1 1 1) (Implication (BenchNode demoCompare 1 1 2) (Implication (BenchNode demoCompare 1 1 3) (BenchNode demoCompare 1 2 1)))) (stv 1.0 0.8988440783332022)) (37)) (Sentence ((Implication (BenchNode demoCompare 1 1 4) (Implication (BenchNode demoCompare 1 1 5) (Implication (BenchNode demoCompare 1 1 6) (BenchNode demoCompare 1 2 2)))) (stv 1.0 0.8083480029613985)) (38)) (Sentence ((Implication (BenchNode demoCompare 1 1 7) (Implication (BenchNode demoCompare 1 1 8) (Implication (BenchNode demoCompare 1 1 9) (BenchNode demoCompare 1 2 3)))) (stv 1.0 0.4517098219935207)) (39)) (Sentence ((Implication (BenchNode demoCompare 1 2 1) (Implication (BenchNode demoCompare 1 2 2) (Implication (BenchNode demoCompare 1 2 3) (BenchTarget demoCompare 1)))) (stv 1.0 0.8906655665310756)) (40))))

!(PLN.Query (kb) (BenchTarget demoCompare 1) 1000)

I was working on some synthetic benchmarks when i noticed that this chainer can get stuck if it choose things in a suboptimal order.