(asserta i1 :m i2)
(asserta i2 (:m :o) i3)
(asserta i1 :f i4)
(asserta i4 :b i5)
(asserta i5 (:o- :m- :e) i6)
(asserta i6 :d i7)
(asserta i7 (:b :m :o :d) i8)
(asserta i8 :a i9)
(asserta i9 (:s :d :f) i10)
(asserta i8 (:b :m :m- :o :d :o-) i2)

