In our proofs we mostly omit sortal predicates such as Time(t), Region(r) and so on. Scenario 3. Qualitative prediction. If Ob3b is a rigid object and a closed container containing Ob3a, and Ob3a is a closed container (not necessarily rigid) containing object Os3, then Os3 will remain inside Ob3b. C.3.A.A: RigidObject(Ob3b). C.3.A.B: CContained(Ta3,Os3,Singleton(Ob3a)). C.3.A.C: CContained(Ta3,Ob3a,Singleton(Ob3b)). Infer: CContained(Tb3,Os3a,Singleton(Ob3a)). Proof of Scenario 3. 3.1 Contained(Place(Ta3,Os3),Place(Ta3,Ob3a)). C.3.A.B + Lemma 2.G 3.2 Contained(Place(Ta3,Ob3a),Place(Ta3,Ob3b)). C.3.A.C + Lemma 2.G 3.3 Contained(Place(Ta3,Os3),Place(Ta3,Ob3b)). 3.2 + 3.4 + S.C.A.A 3.4 CContained(Ta3,Os3,Singleton(Ob3b)). 3.5 + Lemma 2.G 3.5 CContained(Tb3,Os3,Singleton(Ob3b)). Lemma 2.H + C.3.A.A + C.3.A.D + C.3.A.E. The rest follows as in Scenarios 1 and 2.