その第七章参照は気遣わない
fact1: もし「その石原発言は気遣うということはなくておまけに千九百六十年代半ばでない」ということは間違いでないとすれば改元しない fact2: もしこの悲劇性が遠慮無しでないがしかし改元するとしたらその第七章参照は気遣うということはない fact3: もしも何かは座視出来れば遠慮無しでなくてその上それは改元しない fact4: もしとある物が座視出来ないがそれが遠慮無しだとすれば申告減算する fact5: 「この悲劇性は申告減算するしそれに座視出来る」ということは確かである fact6: この悲劇性は申告減算する fact7: あの社長は改元する fact8: 仮にこの悲劇性が遠慮無しでないしそれが改元しないとするとその第七章参照は気遣うということはない fact9: もし仮になにかは遠慮無しならば「座視出来ないしかつそれは申告減算しない」ということは確かでない fact10: とある物が申告減算するとすると気遣う fact11: もしもその第七章参照は改元するとすると「気遣わない」ということは本当だ fact12: もし仮にその毛玉が申告減算するならこの悲劇性は申告減算する fact13: あの力関係は改元するし更に遠慮無しだ fact14: もし仮に何かは座視出来るならそれは改元しない fact15: この悲劇性は改元しない fact16: その第七章参照は座視出来る fact17: この呪術性は改元しない fact18: もしなにかは申告減算するとすればそれは負担すということはないし御し易くない fact19: この悲劇性は改元しないしさらに工場閉鎖でない fact20: 仮にこの悲劇性が座視出来るとしたらそれは改元しない
fact5 -> int1: この悲劇性は座視出来る; fact3 -> int2: 「仮に「この悲劇性は座視出来る」ということは成り立つとしたらこの悲劇性は遠慮無しでなくてそれに改元しない」ということは正しい; int1 & int2 -> int3: この悲劇性は遠慮無しでなくておまけに改元しない; int3 & fact8 -> hypothesis;
fact5 -> int1: {B}{a}; fact3 -> int2: {B}{a} -> (¬{C}{a} & ¬{D}{a}); int1 & int2 -> int3: (¬{C}{a} & ¬{D}{a}); int3 & fact8 -> hypothesis;
その第七章参照は気遣う
fact22 -> int4: もし仮にその第七章参照が申告減算するとすればそれは気遣う; fact23 -> int5: もしもあの力関係は遠慮無しだとすれば「座視出来ないしかつ申告減算しない」ということは成り立たない; fact24 -> int6: あの力関係は遠慮無しである; int5 & int6 -> int7: 「あの力関係は座視出来ないしおまけに申告減算しない」ということは偽だ; int7 -> int8: 「「座視出来ないししかも申告減算しない」ということは間違っている」ものはある;
$facts$ = fact1: もし「その石原発言は気遣うということはなくておまけに千九百六十年代半ばでない」ということは間違いでないとすれば改元しない fact2: もしこの悲劇性が遠慮無しでないがしかし改元するとしたらその第七章参照は気遣うということはない fact3: もしも何かは座視出来れば遠慮無しでなくてその上それは改元しない fact4: もしとある物が座視出来ないがそれが遠慮無しだとすれば申告減算する fact5: 「この悲劇性は申告減算するしそれに座視出来る」ということは確かである fact6: この悲劇性は申告減算する fact7: あの社長は改元する fact8: 仮にこの悲劇性が遠慮無しでないしそれが改元しないとするとその第七章参照は気遣うということはない fact9: もし仮になにかは遠慮無しならば「座視出来ないしかつそれは申告減算しない」ということは確かでない fact10: とある物が申告減算するとすると気遣う fact11: もしもその第七章参照は改元するとすると「気遣わない」ということは本当だ fact12: もし仮にその毛玉が申告減算するならこの悲劇性は申告減算する fact13: あの力関係は改元するし更に遠慮無しだ fact14: もし仮に何かは座視出来るならそれは改元しない fact15: この悲劇性は改元しない fact16: その第七章参照は座視出来る fact17: この呪術性は改元しない fact18: もしなにかは申告減算するとすればそれは負担すということはないし御し易くない fact19: この悲劇性は改元しないしさらに工場閉鎖でない fact20: 仮にこの悲劇性が座視出来るとしたらそれは改元しない ; $hypothesis$ = その第七章参照は気遣わない ; $proof$ = 
fact5 -> int1: この悲劇性は座視出来る; fact3 -> int2: 「仮に「この悲劇性は座視出来る」ということは成り立つとしたらこの悲劇性は遠慮無しでなくてそれに改元しない」ということは正しい; int1 & int2 -> int3: この悲劇性は遠慮無しでなくておまけに改元しない; int3 & fact8 -> hypothesis; __PROVED__
事実1: もし「その石原発言は気遣うということはなくておまけに千九百六十年代半ばでない」ということは間違いでないとすれば改元しない
事実2: もしこの悲劇性が遠慮無しでないがしかし改元するとしたらその第七章参照は気遣うということはない
事実3: もしも何かは座視出来れば遠慮無しでなくてその上それは改元しない
事実4: もしとある物が座視出来ないがそれが遠慮無しだとすれば申告減算する
事実5: 「この悲劇性は申告減算するしそれに座視出来る」ということは確かである
事実6: この悲劇性は申告減算する
事実7: あの社長は改元する
事実8: 仮にこの悲劇性が遠慮無しでないしそれが改元しないとするとその第七章参照は気遣うということはない
事実9: もし仮になにかは遠慮無しならば「座視出来ないしかつそれは申告減算しない」ということは確かでない
事実10: とある物が申告減算するとすると気遣う
事実11: もしもその第七章参照は改元するとすると「気遣わない」ということは本当だ
事実12: もし仮にその毛玉が申告減算するならこの悲劇性は申告減算する
事実13: あの力関係は改元するし更に遠慮無しだ
事実14: もし仮に何かは座視出来るならそれは改元しない
事実15: この悲劇性は改元しない
事実16: その第七章参照は座視出来る
事実17: この呪術性は改元しない
事実18: もしなにかは申告減算するとすればそれは負担すということはないし御し易くない
事実19: この悲劇性は改元しないしさらに工場閉鎖でない
事実20: 仮にこの悲劇性が座視出来るとしたらそれは改元しない

仮説: その第七章参照は気遣わない
1. 事実5から、推論1: "この悲劇性は座視出来る"が導かれる
2. 事実3から、推論2: "「仮に「この悲劇性は座視出来る」ということは成り立つとしたらこの悲劇性は遠慮無しでなくてそれに改元しない」ということは正しい"が導かれる
3. 推論1と推論2から、推論3: "この悲劇性は遠慮無しでなくておまけに改元しない"が導かれる
4. 推論3と事実8から、仮説が導かれる

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