その春日は気温分布でない
fact1: そのツィタデレ作戦は年利である fact2: 「このショコラは理解し難い」ということは本当だ fact3: そのツィタデレ作戦は四苦八苦する fact4: このショコラは後ろ暗いならば「生活体験だ」ということは成り立つ fact5: その限界は生活体験である fact6: もしも「そのツィタデレ作戦は年利であるし轢き殺す」ということは成り立つならばあの春日は気温分布でない fact7: 「あのオルドは四苦八苦しないけれどそれは広宣流布する」ということは誤っているとすればそれは弾き返す fact8: このショコラは後ろ暗い fact9: その春日は四苦八苦する fact10: このショコラは広宣流布する fact11: もし仮に「このショコラは四苦八苦しない」ということは間違いであるということはないとすれば「あのオルドは四苦八苦しないが広宣流布する」ということは事実と異なる fact12: とある物が与え易いとすればそれは気温分布である fact13: そのツィタデレ作戦は眩い fact14: このショコラが四苦八苦するし与え易いならばあのオルドは生活体験でない fact15: 仮に何かは眩くないしそれは生活体験でないとしたら弾き返す fact16: このショコラは与え易くてそれは眩い fact17: 生活体験が与え易いなら四苦八苦するということはない fact18: もしあのオルドが弾き返すとすればそのツィタデレ作戦は轢き殺す fact19: もし仮にその春日が四苦八苦すれば眩いということはないしさらに生活体験であるということはない fact20: その青竹は恭しくて電飾である
fact16 -> int1: このショコラは与え易い; fact8 & fact4 -> int2: 「このショコラは生活体験である」ということは本当である; int1 & int2 -> int3: このショコラは生活体験でそれは与え易い; fact17 -> int4: もし仮にこのショコラは生活体験であるししかも与え易いなら四苦八苦しない; int3 & int4 -> int5: このショコラは四苦八苦しない; int5 & fact11 -> int6: 「あのオルドは四苦八苦しないけれど広宣流布する」ということは間違っている; int6 & fact7 -> int7: あのオルドは弾き返す; int7 & fact18 -> int8: そのツィタデレ作戦は轢き殺す; int8 & fact1 -> int9: そのツィタデレ作戦は年利であるし轢き殺す; int9 & fact6 -> hypothesis;
その春日は気温分布だ
fact21 -> int10: 仮にその春日が与え易いとすると気温分布だ;
$facts$ = fact1: そのツィタデレ作戦は年利である fact2: 「このショコラは理解し難い」ということは本当だ fact3: そのツィタデレ作戦は四苦八苦する fact4: このショコラは後ろ暗いならば「生活体験だ」ということは成り立つ fact5: その限界は生活体験である fact6: もしも「そのツィタデレ作戦は年利であるし轢き殺す」ということは成り立つならばあの春日は気温分布でない fact7: 「あのオルドは四苦八苦しないけれどそれは広宣流布する」ということは誤っているとすればそれは弾き返す fact8: このショコラは後ろ暗い fact9: その春日は四苦八苦する fact10: このショコラは広宣流布する fact11: もし仮に「このショコラは四苦八苦しない」ということは間違いであるということはないとすれば「あのオルドは四苦八苦しないが広宣流布する」ということは事実と異なる fact12: とある物が与え易いとすればそれは気温分布である fact13: そのツィタデレ作戦は眩い fact14: このショコラが四苦八苦するし与え易いならばあのオルドは生活体験でない fact15: 仮に何かは眩くないしそれは生活体験でないとしたら弾き返す fact16: このショコラは与え易くてそれは眩い fact17: 生活体験が与え易いなら四苦八苦するということはない fact18: もしあのオルドが弾き返すとすればそのツィタデレ作戦は轢き殺す fact19: もし仮にその春日が四苦八苦すれば眩いということはないしさらに生活体験であるということはない fact20: その青竹は恭しくて電飾である ; $hypothesis$ = その春日は気温分布でない ; $proof$ = 
fact16 -> int1: このショコラは与え易い; fact8 & fact4 -> int2: 「このショコラは生活体験である」ということは本当である; int1 & int2 -> int3: このショコラは生活体験でそれは与え易い; fact17 -> int4: もし仮にこのショコラは生活体験であるししかも与え易いなら四苦八苦しない; int3 & int4 -> int5: このショコラは四苦八苦しない; int5 & fact11 -> int6: 「あのオルドは四苦八苦しないけれど広宣流布する」ということは間違っている; int6 & fact7 -> int7: あのオルドは弾き返す; int7 & fact18 -> int8: そのツィタデレ作戦は轢き殺す; int8 & fact1 -> int9: そのツィタデレ作戦は年利であるし轢き殺す; int9 & fact6 -> hypothesis; __PROVED__
事実1: そのツィタデレ作戦は年利である
事実2: 「このショコラは理解し難い」ということは本当だ
事実3: そのツィタデレ作戦は四苦八苦する
事実4: このショコラは後ろ暗いならば「生活体験だ」ということは成り立つ
事実5: その限界は生活体験である
事実6: もしも「そのツィタデレ作戦は年利であるし轢き殺す」ということは成り立つならばあの春日は気温分布でない
事実7: 「あのオルドは四苦八苦しないけれどそれは広宣流布する」ということは誤っているとすればそれは弾き返す
事実8: このショコラは後ろ暗い
事実9: その春日は四苦八苦する
事実10: このショコラは広宣流布する
事実11: もし仮に「このショコラは四苦八苦しない」ということは間違いであるということはないとすれば「あのオルドは四苦八苦しないが広宣流布する」ということは事実と異なる
事実12: とある物が与え易いとすればそれは気温分布である
事実13: そのツィタデレ作戦は眩い
事実14: このショコラが四苦八苦するし与え易いならばあのオルドは生活体験でない
事実15: 仮に何かは眩くないしそれは生活体験でないとしたら弾き返す
事実16: このショコラは与え易くてそれは眩い
事実17: 生活体験が与え易いなら四苦八苦するということはない
事実18: もしあのオルドが弾き返すとすればそのツィタデレ作戦は轢き殺す
事実19: もし仮にその春日が四苦八苦すれば眩いということはないしさらに生活体験であるということはない
事実20: その青竹は恭しくて電飾である

仮説: その春日は気温分布でない
1. 事実16から、推論1: "このショコラは与え易い"が導かれる
2. 事実8と事実4から、推論2: "「このショコラは生活体験である」ということは本当である"が導かれる
3. 推論1と推論2から、推論3: "このショコラは生活体験でそれは与え易い"が導かれる
4. 事実17から、推論4: "もし仮にこのショコラは生活体験であるししかも与え易いなら四苦八苦しない"が導かれる
5. 推論3と推論4から、推論5: "このショコラは四苦八苦しない"が導かれる
6. 推論5と事実11から、推論6: "「あのオルドは四苦八苦しないけれど広宣流布する」ということは間違っている"が導かれる
7. 推論6と事実7から、推論7: "あのオルドは弾き返す"が導かれる
8. 推論7と事実18から、推論8: "そのツィタデレ作戦は轢き殺す"が導かれる
9. 推論8と事実1から、推論9: "そのツィタデレ作戦は年利であるし轢き殺す"が導かれる
10. 推論9と事実6から、仮説が導かれる

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