";simplisity" 0 0 
0 1 4
" ; number of theories considered is set to two " 0 0
8 0 2

5 1 "Simplisity as implemented in ARU" 

5 2 "Evidence 1 is node 2 and explained by nodes 3, 4, and 5"
10 2 ""
1 2 1

5 3 "competitor Hypothesis 1 of T1"
10 3 "T1"

5 4 "coHypothesis 2 of T2"
10 4 "T2"

5 5 "coHypothesis 3 of T2"
10 5 "T2"

1 4 5

1 4 2

1 5 2

6 3 4

1 3 2

7 2 3

7 2 4

7 2 5