「「もしいみじとすれば酷いけど栄光でない」物はある」ということは間違いだ
fact1: もし仮に何かは揮発し易いということはないとしたら酷くてそれにそれは栄光である fact2: そのボンドは物悲しくて帰趨だ fact3: もしあの脱力感が酷くないとしたらその生活再建は栄光であるし帰趨である fact4: もしその生活再建が栄光でしかも帰趨ならその平均在院日数は帰趨でない fact5: 仮に帰趨がいみじとしたら揮発し易くない fact6: 仮にそのボンドは揮発し易くないとしたら「それは酷い」ということは確かだ fact7: もしもあるものは揮発し易くないとしたら酷い一方で栄光でない fact8: もし仮になにがしかの物が高め合わないとすればそれは酷くない fact9: もしその平均在院日数が揮発し易いしまた物悲しいとしたらそのサブフレームは物悲しくない fact10: 「もし仮にいみじとしたら酷くてかつ栄光な」ものはある
fact2 -> int1: そのボンドは帰趨だ; void -> assump1: 以下のように仮定する。そのボンドはいみじ; int1 & assump1 -> int2: そのボンドは帰趨であるししかもそれはいみじ; fact5 -> int3: もしそのボンドは帰趨であるしまたいみじならばそれは揮発し易くない; int2 & int3 -> int4: そのボンドは揮発し易くない; fact7 -> int5: そのボンドが揮発し易いということはないとするとそれは酷いが栄光であるということはない; int4 & int5 -> int6: そのボンドは酷いけど栄光でない; [assump1] & int6 -> int7: もしもそのボンドがいみじとすると酷い一方で栄光でない; int7 -> hypothesis;
そのボンドはいみじししかも日本語化だ
fact14 -> int8: もしも「あの脱力感は高め合わない」ということは成り立つとするとそれは酷くない;
$facts$ = fact1: もし仮に何かは揮発し易いということはないとしたら酷くてそれにそれは栄光である fact2: そのボンドは物悲しくて帰趨だ fact3: もしあの脱力感が酷くないとしたらその生活再建は栄光であるし帰趨である fact4: もしその生活再建が栄光でしかも帰趨ならその平均在院日数は帰趨でない fact5: 仮に帰趨がいみじとしたら揮発し易くない fact6: 仮にそのボンドは揮発し易くないとしたら「それは酷い」ということは確かだ fact7: もしもあるものは揮発し易くないとしたら酷い一方で栄光でない fact8: もし仮になにがしかの物が高め合わないとすればそれは酷くない fact9: もしその平均在院日数が揮発し易いしまた物悲しいとしたらそのサブフレームは物悲しくない fact10: 「もし仮にいみじとしたら酷くてかつ栄光な」ものはある ; $hypothesis$ = 「「もしいみじとすれば酷いけど栄光でない」物はある」ということは間違いだ ; $proof$ = 
fact2 -> int1: そのボンドは帰趨だ; void -> assump1: 以下のように仮定する。そのボンドはいみじ; int1 & assump1 -> int2: そのボンドは帰趨であるししかもそれはいみじ; fact5 -> int3: もしそのボンドは帰趨であるしまたいみじならばそれは揮発し易くない; int2 & int3 -> int4: そのボンドは揮発し易くない; fact7 -> int5: そのボンドが揮発し易いということはないとするとそれは酷いが栄光であるということはない; int4 & int5 -> int6: そのボンドは酷いけど栄光でない; [assump1] & int6 -> int7: もしもそのボンドがいみじとすると酷い一方で栄光でない; int7 -> hypothesis; __DISPROVED__
事実1: もし仮に何かは揮発し易いということはないとしたら酷くてそれにそれは栄光である
事実2: そのボンドは物悲しくて帰趨だ
事実3: もしあの脱力感が酷くないとしたらその生活再建は栄光であるし帰趨である
事実4: もしその生活再建が栄光でしかも帰趨ならその平均在院日数は帰趨でない
事実5: 仮に帰趨がいみじとしたら揮発し易くない
事実6: 仮にそのボンドは揮発し易くないとしたら「それは酷い」ということは確かだ
事実7: もしもあるものは揮発し易くないとしたら酷い一方で栄光でない
事実8: もし仮になにがしかの物が高め合わないとすればそれは酷くない
事実9: もしその平均在院日数が揮発し易いしまた物悲しいとしたらそのサブフレームは物悲しくない
事実10: 「もし仮にいみじとしたら酷くてかつ栄光な」ものはある

仮説: 「「もしいみじとすれば酷いけど栄光でない」物はある」ということは間違いだ
1. 事実2から、推論1: "そのボンドは帰趨だ"が導かれる
2. 仮定1: 以下のように仮定する。そのボンドはいみじ
3. 推論1と仮定1から、推論2: "そのボンドは帰趨であるししかもそれはいみじ"が導かれる
4. 事実5から、推論3: "もしそのボンドは帰趨であるしまたいみじならばそれは揮発し易くない"が導かれる
5. 推論2と推論3から、推論4: "そのボンドは揮発し易くない"が導かれる
6. 事実7から、推論5: "そのボンドが揮発し易いということはないとするとそれは酷いが栄光であるということはない"が導かれる
7. 推論4と推論5から、推論6: "そのボンドは酷いけど栄光でない"が導かれる
8. [仮定1]と推論6から、推論7: "もしもそのボンドがいみじとすると酷い一方で栄光でない"が導かれる
9. 推論7から、仮説が否定される

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