「そのＦＣ部分は寒し」ということは真実だ
fact1: もし発症し易い物が色好いとするとあの無実は心安い fact2: もし仮に何かは相談するということはないとすると「それは色好いけれどし易くない」ということは間違っている fact3: あのＯＬＢは御水でかつ成瀬家である fact4: もし仮にあの無実が心安いとするとそのＦＣ部分は寒し fact5: 仮に「ある物は味気無くない一方で相談する」ということは誤りであるならばそれは寒しない fact6: あの政策領域は色好い fact7: あのＯＬＢは味気無くないならば「あの政策領域は煩わしいけど相談しない」ということは成り立たない fact8: もし仮に「あの政策領域は煩わしいがしかし相談しない」ということは成り立たないならそれは発症し易い fact9: 仮に「あのＯＬＢは発症し易いということはないけど煩わしい」ということは成り立つということはないとしたら煩わしくない fact10: もしもあのＯＬＢが御水だしまたそれは成瀬家であるとするとそれは味気無くない fact11: あのＯＬＢが煩わしくないし加えて味気無くないならそのＦＣ部分は相談しない fact12: 仮に何らかの物が発症し易いとしたらそれは煩わしくないし加えてそれは味気無くない
fact10 & fact3 -> int1: あのＯＬＢは味気無くない; int1 & fact7 -> int2: 「あの政策領域は煩わしいがしかし相談しない」ということは成り立たない; int2 & fact8 -> int3: あの政策領域は発症し易い; int3 & fact6 -> int4: あの政策領域は発症し易いし色好い; int4 -> int5: なにがしかのものは発症し易いしさらにそれは色好い; int5 & fact1 -> int6: あの無実は心安い; int6 & fact4 -> hypothesis;
そのＦＣ部分は寒しということはない
fact14 -> int7: もしも「そのＦＣ部分は味気無くないがしかし相談する」ということは成り立たないならば寒しない;
$facts$ = fact1: もし発症し易い物が色好いとするとあの無実は心安い fact2: もし仮に何かは相談するということはないとすると「それは色好いけれどし易くない」ということは間違っている fact3: あのＯＬＢは御水でかつ成瀬家である fact4: もし仮にあの無実が心安いとするとそのＦＣ部分は寒し fact5: 仮に「ある物は味気無くない一方で相談する」ということは誤りであるならばそれは寒しない fact6: あの政策領域は色好い fact7: あのＯＬＢは味気無くないならば「あの政策領域は煩わしいけど相談しない」ということは成り立たない fact8: もし仮に「あの政策領域は煩わしいがしかし相談しない」ということは成り立たないならそれは発症し易い fact9: 仮に「あのＯＬＢは発症し易いということはないけど煩わしい」ということは成り立つということはないとしたら煩わしくない fact10: もしもあのＯＬＢが御水だしまたそれは成瀬家であるとするとそれは味気無くない fact11: あのＯＬＢが煩わしくないし加えて味気無くないならそのＦＣ部分は相談しない fact12: 仮に何らかの物が発症し易いとしたらそれは煩わしくないし加えてそれは味気無くない ; $hypothesis$ = 「そのＦＣ部分は寒し」ということは真実だ ; $proof$ = 
fact10 & fact3 -> int1: あのＯＬＢは味気無くない; int1 & fact7 -> int2: 「あの政策領域は煩わしいがしかし相談しない」ということは成り立たない; int2 & fact8 -> int3: あの政策領域は発症し易い; int3 & fact6 -> int4: あの政策領域は発症し易いし色好い; int4 -> int5: なにがしかのものは発症し易いしさらにそれは色好い; int5 & fact1 -> int6: あの無実は心安い; int6 & fact4 -> hypothesis; __PROVED__
事実1: もし発症し易い物が色好いとするとあの無実は心安い
事実2: もし仮に何かは相談するということはないとすると「それは色好いけれどし易くない」ということは間違っている
事実3: あのＯＬＢは御水でかつ成瀬家である
事実4: もし仮にあの無実が心安いとするとそのＦＣ部分は寒し
事実5: 仮に「ある物は味気無くない一方で相談する」ということは誤りであるならばそれは寒しない
事実6: あの政策領域は色好い
事実7: あのＯＬＢは味気無くないならば「あの政策領域は煩わしいけど相談しない」ということは成り立たない
事実8: もし仮に「あの政策領域は煩わしいがしかし相談しない」ということは成り立たないならそれは発症し易い
事実9: 仮に「あのＯＬＢは発症し易いということはないけど煩わしい」ということは成り立つということはないとしたら煩わしくない
事実10: もしもあのＯＬＢが御水だしまたそれは成瀬家であるとするとそれは味気無くない
事実11: あのＯＬＢが煩わしくないし加えて味気無くないならそのＦＣ部分は相談しない
事実12: 仮に何らかの物が発症し易いとしたらそれは煩わしくないし加えてそれは味気無くない

仮説: 「そのＦＣ部分は寒し」ということは真実だ
1. 事実10と事実3から、推論1: "あのＯＬＢは味気無くない"が導かれる
2. 推論1と事実7から、推論2: "「あの政策領域は煩わしいがしかし相談しない」ということは成り立たない"が導かれる
3. 推論2と事実8から、推論3: "あの政策領域は発症し易い"が導かれる
4. 推論3と事実6から、推論4: "あの政策領域は発症し易いし色好い"が導かれる
5. 推論4から、推論5: "なにがしかのものは発症し易いしさらにそれは色好い"が導かれる
6. 推論5と事実1から、推論6: "あの無実は心安い"が導かれる
7. 推論6と事実4から、仮説が導かれる

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