「この割愛は続き易くないけれど貴方らしい」ということは偽だ
fact1: もしもなんらかのものは形鋼梁であるとしたら「それは疎くないし任じない」ということは成り立たない fact2: もし仮にその等時性は擦り減らないとすると「「この割愛は続き易くないが貴方らしい」ということは偽でない」ということは事実と異なる fact3: この割愛は擦り減らないしそれは任じない fact4: もし仮にこの割愛が擦り減らないしその上貴方らしくないならば任じない fact5: もしもある物が形鋼梁であるということはないとすれば擦り減るということはなくてしかも貴方らしくない fact6: もしこの割愛が続き易くなくておまけに任じないとしたらこの京・大坂は続き易くない fact7: あるものが擦り減らないならばそれは続き易くなくて更に貴方らしい fact8: この割愛は疎い fact9: なにかは疎いとすれば続き易くない
fact3 -> int1: この割愛は擦り減らない; fact7 -> int2: 仮にこの割愛が擦り減らないならそれは続き易くないがしかし貴方らしい; int1 & int2 -> hypothesis;
この京・大坂は続き易くない
fact10 -> int3: 仮に「この割愛は疎い」ということは成り立つとすればそれは続き易いということはない; int3 & fact12 -> int4: この割愛は続き易くない; fact13 -> int5: もしもこの割愛は形鋼梁でないなら擦り減らないししかも貴方らしくない;
$facts$ = fact1: もしもなんらかのものは形鋼梁であるとしたら「それは疎くないし任じない」ということは成り立たない fact2: もし仮にその等時性は擦り減らないとすると「「この割愛は続き易くないが貴方らしい」ということは偽でない」ということは事実と異なる fact3: この割愛は擦り減らないしそれは任じない fact4: もし仮にこの割愛が擦り減らないしその上貴方らしくないならば任じない fact5: もしもある物が形鋼梁であるということはないとすれば擦り減るということはなくてしかも貴方らしくない fact6: もしこの割愛が続き易くなくておまけに任じないとしたらこの京・大坂は続き易くない fact7: あるものが擦り減らないならばそれは続き易くなくて更に貴方らしい fact8: この割愛は疎い fact9: なにかは疎いとすれば続き易くない ; $hypothesis$ = 「この割愛は続き易くないけれど貴方らしい」ということは偽だ ; $proof$ = 
fact3 -> int1: この割愛は擦り減らない; fact7 -> int2: 仮にこの割愛が擦り減らないならそれは続き易くないがしかし貴方らしい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもなんらかのものは形鋼梁であるとしたら「それは疎くないし任じない」ということは成り立たない
事実2: もし仮にその等時性は擦り減らないとすると「「この割愛は続き易くないが貴方らしい」ということは偽でない」ということは事実と異なる
事実3: この割愛は擦り減らないしそれは任じない
事実4: もし仮にこの割愛が擦り減らないしその上貴方らしくないならば任じない
事実5: もしもある物が形鋼梁であるということはないとすれば擦り減るということはなくてしかも貴方らしくない
事実6: もしこの割愛が続き易くなくておまけに任じないとしたらこの京・大坂は続き易くない
事実7: あるものが擦り減らないならばそれは続き易くなくて更に貴方らしい
事実8: この割愛は疎い
事実9: なにかは疎いとすれば続き易くない

仮説: 「この割愛は続き易くないけれど貴方らしい」ということは偽だ
1. 事実3から、推論1: "この割愛は擦り減らない"が導かれる
2. 事実7から、推論2: "仮にこの割愛が擦り減らないならそれは続き易くないがしかし貴方らしい"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。