この式辞は無心だ
fact1: もしこの式辞が収納出来るとするとその心臓部は収納出来る fact2: もしもこの式辞が水平軸であるかあるいはそれは用量依存性であるかあるいはどちらもであるとしたら詳しくない fact3: もしもなにがしかの物が混入し易いとすればそれは悲運だ fact4: この式辞は気安くない fact5: もし「「無心だということはない」ということは成り立つ」ものはあるとしたら「その十時半は詳しいしかつ精錬炉である」ということは偽だ fact6: その十時半が水平軸でないし無心でないとすればこの式辞は無心でない fact7: この式辞は水平軸でないなら「収納出来ないけど精錬炉である」ということは間違いだ fact8: もし「なにがしかのものは詳しくてかつ精錬炉である」ということは事実と異なるとすれば詳しくない fact9: もし「この式辞は収納出来ないけれどそれは精錬炉である」ということは偽であるなら無心だ fact10: この式辞は詳しい fact11: もし仮にあのページ表示時が収納出来るとすればその十時半は詳しいがそれは用量依存性でない fact12: 仮にあるものは詳しくないならば「この式辞は水平軸であるけど用量依存性でない」ということは正しくない fact13: もし「この橋本氏注は悲運だ」ということは真実だとすると「あのページ表示時は追体験しないけれど気怠い」ということは成り立たない fact14: この単元計画は前年同期比であるかそれは描き易いということはないかあるいは両方ともである fact15: この単元計画は描き易いということはないとすれば「その月次決算は揮発し易いということはないが起こり易い」ということは成り立つ fact16: 仮にその月次決算が揮発し易くないけれどそれが起こり易いならばあの橋本氏注は混入し易い fact17: もし仮に「なにかは追体験しないけれど気怠い」ということは確かでないとすると無心であるということはない fact18: もし仮にこの単元計画が前年同期比であるかもしくは描き易くないとするとそれは描き易くない fact19: この式辞は精錬炉でないとしたら無心だ
void -> assump1: 以下のように仮定する。この式辞は水平軸である; assump1 -> int1: この式辞は水平軸であるかまたは用量依存性だ; int1 & fact2 -> int2: この式辞は詳しくない; int2 & fact10 -> int3: これは矛盾である; [assump1] & int3 -> int4: この式辞は水平軸でない; int4 & fact7 -> int5: 「この式辞は収納出来るということはないけど精錬炉である」ということは間違いである; int5 & fact9 -> hypothesis;
「この式辞は無心であるということはない」ということは正しい
$facts$ = fact1: もしこの式辞が収納出来るとするとその心臓部は収納出来る fact2: もしもこの式辞が水平軸であるかあるいはそれは用量依存性であるかあるいはどちらもであるとしたら詳しくない fact3: もしもなにがしかの物が混入し易いとすればそれは悲運だ fact4: この式辞は気安くない fact5: もし「「無心だということはない」ということは成り立つ」ものはあるとしたら「その十時半は詳しいしかつ精錬炉である」ということは偽だ fact6: その十時半が水平軸でないし無心でないとすればこの式辞は無心でない fact7: この式辞は水平軸でないなら「収納出来ないけど精錬炉である」ということは間違いだ fact8: もし「なにがしかのものは詳しくてかつ精錬炉である」ということは事実と異なるとすれば詳しくない fact9: もし「この式辞は収納出来ないけれどそれは精錬炉である」ということは偽であるなら無心だ fact10: この式辞は詳しい fact11: もし仮にあのページ表示時が収納出来るとすればその十時半は詳しいがそれは用量依存性でない fact12: 仮にあるものは詳しくないならば「この式辞は水平軸であるけど用量依存性でない」ということは正しくない fact13: もし「この橋本氏注は悲運だ」ということは真実だとすると「あのページ表示時は追体験しないけれど気怠い」ということは成り立たない fact14: この単元計画は前年同期比であるかそれは描き易いということはないかあるいは両方ともである fact15: この単元計画は描き易いということはないとすれば「その月次決算は揮発し易いということはないが起こり易い」ということは成り立つ fact16: 仮にその月次決算が揮発し易くないけれどそれが起こり易いならばあの橋本氏注は混入し易い fact17: もし仮に「なにかは追体験しないけれど気怠い」ということは確かでないとすると無心であるということはない fact18: もし仮にこの単元計画が前年同期比であるかもしくは描き易くないとするとそれは描き易くない fact19: この式辞は精錬炉でないとしたら無心だ ; $hypothesis$ = この式辞は無心だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この式辞は水平軸である; assump1 -> int1: この式辞は水平軸であるかまたは用量依存性だ; int1 & fact2 -> int2: この式辞は詳しくない; int2 & fact10 -> int3: これは矛盾である; [assump1] & int3 -> int4: この式辞は水平軸でない; int4 & fact7 -> int5: 「この式辞は収納出来るということはないけど精錬炉である」ということは間違いである; int5 & fact9 -> hypothesis; __PROVED__
事実1: もしこの式辞が収納出来るとするとその心臓部は収納出来る
事実2: もしもこの式辞が水平軸であるかあるいはそれは用量依存性であるかあるいはどちらもであるとしたら詳しくない
事実3: もしもなにがしかの物が混入し易いとすればそれは悲運だ
事実4: この式辞は気安くない
事実5: もし「「無心だということはない」ということは成り立つ」ものはあるとしたら「その十時半は詳しいしかつ精錬炉である」ということは偽だ
事実6: その十時半が水平軸でないし無心でないとすればこの式辞は無心でない
事実7: この式辞は水平軸でないなら「収納出来ないけど精錬炉である」ということは間違いだ
事実8: もし「なにがしかのものは詳しくてかつ精錬炉である」ということは事実と異なるとすれば詳しくない
事実9: もし「この式辞は収納出来ないけれどそれは精錬炉である」ということは偽であるなら無心だ
事実10: この式辞は詳しい
事実11: もし仮にあのページ表示時が収納出来るとすればその十時半は詳しいがそれは用量依存性でない
事実12: 仮にあるものは詳しくないならば「この式辞は水平軸であるけど用量依存性でない」ということは正しくない
事実13: もし「この橋本氏注は悲運だ」ということは真実だとすると「あのページ表示時は追体験しないけれど気怠い」ということは成り立たない
事実14: この単元計画は前年同期比であるかそれは描き易いということはないかあるいは両方ともである
事実15: この単元計画は描き易いということはないとすれば「その月次決算は揮発し易いということはないが起こり易い」ということは成り立つ
事実16: 仮にその月次決算が揮発し易くないけれどそれが起こり易いならばあの橋本氏注は混入し易い
事実17: もし仮に「なにかは追体験しないけれど気怠い」ということは確かでないとすると無心であるということはない
事実18: もし仮にこの単元計画が前年同期比であるかもしくは描き易くないとするとそれは描き易くない
事実19: この式辞は精錬炉でないとしたら無心だ

仮説: この式辞は無心だ
1. 仮定1: 以下のように仮定する。この式辞は水平軸である
2. 仮定1から、推論1: "この式辞は水平軸であるかまたは用量依存性だ"が導かれる
3. 推論1と事実2から、推論2: "この式辞は詳しくない"が導かれる
4. 推論2と事実10から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この式辞は水平軸でない"が導かれる
6. 推論4と事実7から、推論5: "「この式辞は収納出来るということはないけど精錬炉である」ということは間違いである"が導かれる
7. 推論5と事実9から、仮説が導かれる

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