「あの老年は不織布でないかあるいは引き受け行為であるかもしくは両方である」ということは成り立たない
fact1: 全ての物は割り付けでない fact2: もし仮にこの勤め帰りが立て易くて合併し易いならばあの老年は合併し易くない fact3: 「この勤め帰りは立て易くてかつそれは合併し易い」ということは誤りでない fact4: もし仮になんらかの物は合併し易いということはないとすれば「それは不織布でないか引き受け行為であるかまたはどちらもである」ということは誤りである fact5: どれもこれもは立て易い
fact4 -> int1: あの老年は合併し易くないとすれば「不織布でないかまたは引き受け行為であるかあるいは両方ともだ」ということは成り立つということはない; fact3 & fact2 -> int2: あの老年は合併し易くない; int1 & int2 -> hypothesis;
あの老年は不織布であるということはないかもしくは引き受け行為であるか両方ともだ
fact6 -> int3: あの一ラインは割り付けでない; fact7 -> int4: あの一ラインは立て易い; int3 & int4 -> int5: あの一ラインは立て易い一方で割り付けでない; int5 -> int6: 「すべてのものは立て易いが割り付けでない」ということは成り立つ; int6 -> int7: この勤め帰りは立て易いがしかし割り付けでない;
$facts$ = fact1: 全ての物は割り付けでない fact2: もし仮にこの勤め帰りが立て易くて合併し易いならばあの老年は合併し易くない fact3: 「この勤め帰りは立て易くてかつそれは合併し易い」ということは誤りでない fact4: もし仮になんらかの物は合併し易いということはないとすれば「それは不織布でないか引き受け行為であるかまたはどちらもである」ということは誤りである fact5: どれもこれもは立て易い ; $hypothesis$ = 「あの老年は不織布でないかあるいは引き受け行為であるかもしくは両方である」ということは成り立たない ; $proof$ = 
fact4 -> int1: あの老年は合併し易くないとすれば「不織布でないかまたは引き受け行為であるかあるいは両方ともだ」ということは成り立つということはない; fact3 & fact2 -> int2: あの老年は合併し易くない; int1 & int2 -> hypothesis; __PROVED__
事実1: 全ての物は割り付けでない
事実2: もし仮にこの勤め帰りが立て易くて合併し易いならばあの老年は合併し易くない
事実3: 「この勤め帰りは立て易くてかつそれは合併し易い」ということは誤りでない
事実4: もし仮になんらかの物は合併し易いということはないとすれば「それは不織布でないか引き受け行為であるかまたはどちらもである」ということは誤りである
事実5: どれもこれもは立て易い

仮説: 「あの老年は不織布でないかあるいは引き受け行為であるかもしくは両方である」ということは成り立たない
1. 事実4から、推論1: "あの老年は合併し易くないとすれば「不織布でないかまたは引き受け行為であるかあるいは両方ともだ」ということは成り立つということはない"が導かれる
2. 事実3と事実2から、推論2: "あの老年は合併し易くない"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。