この無限ループは腹立たしい
fact1: もし「このストリートチルドレンは震えないけれどキックだ」ということは間違っているならばあの揚げは溶け難い fact2: 溶け難い物は生温かい fact3: もしもこの揚げは溶け難いとしたら「「この無限ループは腹立たしくらない一方でそれは溶け難い」ということは成り立つ」ということは成り立つということはない fact4: その雨中は溶け難いということはないが生温かい fact5: あの瑞巌寺は書き易くないがしかし格好悪い fact6: もしも「あの瑞巌寺はキックでないけれど震える」ということは事実と異なるならこのストリートチルドレンは格好悪い fact7: 「この揚げは二分裂しないがしかし腹立たしい」ということは成り立つということはないとしたら「その雨中は生温かい」ということは真実だ fact8: あの瑞巌寺は滅び去るとしたら「このストリートチルドレンは震えない一方でキックである」ということは本当でない fact9: 仮にあの瑞巌寺がキックでない一方でそれが二分裂すればそれは滅び去る fact10: もし仮にその雨中が生温かくないとするとこの無限ループは腹立たしい fact11: もしその雨中が二分裂するとしたら腹立たしい fact12: 仮にあの瑞巌寺が書き易くないけど格好悪いとすると「滅び去る」ということは本当だ fact13: もし仮にこのストリートチルドレンが震えればこの揚げは溶け難い fact14: もしもこの揚げは生温かいとしたら「その雨中は二分裂しないけどそれは生温かい」ということは成り立たない fact15: 「このストリートチルドレンは腹立たしいということはないが二分裂する」ということは成り立たないとしたらこの無限ループは震える fact16: 仮にあの瑞巌寺が生温かくてまたそれが格好悪いとするとそれは書き易い fact17: もしもこの揚げは二分裂すれば「その雨中は溶け難くてそれは生温かい」ということは誤りである fact18: もしなんらかの物が書き易いとするとそれは震える fact19: その雨中は滅び去らない fact20: もし仮に「この揚げは腹立たしくらないがしかしそれは滅び去る」ということは成り立つということはないとすればあの瑞巌寺は生温かい fact21: もし仮にあの瑞巌寺は滅び去れば「「このストリートチルドレンは震えるしキックだ」ということは事実でない」ということは成り立つ fact22: 「この揚げは生温かいししかも二分裂する」ということは間違っている fact23: もし仮にこの揚げが書き易くないけど溶け難いならそれは震える fact24: あの瑞巌寺は震える fact25: もし仮に「このストリートチルドレンは交じり合う」ということは成り立てば書き易い fact26: もし「その雨中は二分裂しないけれど生温かい」ということは成り立たないならばこの無限ループは腹立たしい fact27: もしその雨中がキックでないけどそれが滅び去るとすると生温かい
fact12 & fact5 -> int1: あの瑞巌寺は滅び去る; int1 & fact8 -> int2: 「このストリートチルドレンは震えないがキックだ」ということは偽だ; int2 & fact1 -> int3: この揚げは溶け難い; fact2 -> int4: 仮にこの揚げが溶け難いとしたら生温かい; int3 & int4 -> int5: この揚げは生温かい; int5 & fact14 -> int6: 「「その雨中は二分裂しないけど生温かい」ということは正しい」ということは間違いだ; int6 & fact26 -> hypothesis;
$facts$ = fact1: もし「このストリートチルドレンは震えないけれどキックだ」ということは間違っているならばあの揚げは溶け難い fact2: 溶け難い物は生温かい fact3: もしもこの揚げは溶け難いとしたら「「この無限ループは腹立たしくらない一方でそれは溶け難い」ということは成り立つ」ということは成り立つということはない fact4: その雨中は溶け難いということはないが生温かい fact5: あの瑞巌寺は書き易くないがしかし格好悪い fact6: もしも「あの瑞巌寺はキックでないけれど震える」ということは事実と異なるならこのストリートチルドレンは格好悪い fact7: 「この揚げは二分裂しないがしかし腹立たしい」ということは成り立つということはないとしたら「その雨中は生温かい」ということは真実だ fact8: あの瑞巌寺は滅び去るとしたら「このストリートチルドレンは震えない一方でキックである」ということは本当でない fact9: 仮にあの瑞巌寺がキックでない一方でそれが二分裂すればそれは滅び去る fact10: もし仮にその雨中が生温かくないとするとこの無限ループは腹立たしい fact11: もしその雨中が二分裂するとしたら腹立たしい fact12: 仮にあの瑞巌寺が書き易くないけど格好悪いとすると「滅び去る」ということは本当だ fact13: もし仮にこのストリートチルドレンが震えればこの揚げは溶け難い fact14: もしもこの揚げは生温かいとしたら「その雨中は二分裂しないけどそれは生温かい」ということは成り立たない fact15: 「このストリートチルドレンは腹立たしいということはないが二分裂する」ということは成り立たないとしたらこの無限ループは震える fact16: 仮にあの瑞巌寺が生温かくてまたそれが格好悪いとするとそれは書き易い fact17: もしもこの揚げは二分裂すれば「その雨中は溶け難くてそれは生温かい」ということは誤りである fact18: もしなんらかの物が書き易いとするとそれは震える fact19: その雨中は滅び去らない fact20: もし仮に「この揚げは腹立たしくらないがしかしそれは滅び去る」ということは成り立つということはないとすればあの瑞巌寺は生温かい fact21: もし仮にあの瑞巌寺は滅び去れば「「このストリートチルドレンは震えるしキックだ」ということは事実でない」ということは成り立つ fact22: 「この揚げは生温かいししかも二分裂する」ということは間違っている fact23: もし仮にこの揚げが書き易くないけど溶け難いならそれは震える fact24: あの瑞巌寺は震える fact25: もし仮に「このストリートチルドレンは交じり合う」ということは成り立てば書き易い fact26: もし「その雨中は二分裂しないけれど生温かい」ということは成り立たないならばこの無限ループは腹立たしい fact27: もしその雨中がキックでないけどそれが滅び去るとすると生温かい ; $hypothesis$ = この無限ループは腹立たしい ; $proof$ = 
fact12 & fact5 -> int1: あの瑞巌寺は滅び去る; int1 & fact8 -> int2: 「このストリートチルドレンは震えないがキックだ」ということは偽だ; int2 & fact1 -> int3: この揚げは溶け難い; fact2 -> int4: 仮にこの揚げが溶け難いとしたら生温かい; int3 & int4 -> int5: この揚げは生温かい; int5 & fact14 -> int6: 「「その雨中は二分裂しないけど生温かい」ということは正しい」ということは間違いだ; int6 & fact26 -> hypothesis; __PROVED__
事実1: もし「このストリートチルドレンは震えないけれどキックだ」ということは間違っているならばあの揚げは溶け難い
事実2: 溶け難い物は生温かい
事実3: もしもこの揚げは溶け難いとしたら「「この無限ループは腹立たしくらない一方でそれは溶け難い」ということは成り立つ」ということは成り立つということはない
事実4: その雨中は溶け難いということはないが生温かい
事実5: あの瑞巌寺は書き易くないがしかし格好悪い
事実6: もしも「あの瑞巌寺はキックでないけれど震える」ということは事実と異なるならこのストリートチルドレンは格好悪い
事実7: 「この揚げは二分裂しないがしかし腹立たしい」ということは成り立つということはないとしたら「その雨中は生温かい」ということは真実だ
事実8: あの瑞巌寺は滅び去るとしたら「このストリートチルドレンは震えない一方でキックである」ということは本当でない
事実9: 仮にあの瑞巌寺がキックでない一方でそれが二分裂すればそれは滅び去る
事実10: もし仮にその雨中が生温かくないとするとこの無限ループは腹立たしい
事実11: もしその雨中が二分裂するとしたら腹立たしい
事実12: 仮にあの瑞巌寺が書き易くないけど格好悪いとすると「滅び去る」ということは本当だ
事実13: もし仮にこのストリートチルドレンが震えればこの揚げは溶け難い
事実14: もしもこの揚げは生温かいとしたら「その雨中は二分裂しないけどそれは生温かい」ということは成り立たない
事実15: 「このストリートチルドレンは腹立たしいということはないが二分裂する」ということは成り立たないとしたらこの無限ループは震える
事実16: 仮にあの瑞巌寺が生温かくてまたそれが格好悪いとするとそれは書き易い
事実17: もしもこの揚げは二分裂すれば「その雨中は溶け難くてそれは生温かい」ということは誤りである
事実18: もしなんらかの物が書き易いとするとそれは震える
事実19: その雨中は滅び去らない
事実20: もし仮に「この揚げは腹立たしくらないがしかしそれは滅び去る」ということは成り立つということはないとすればあの瑞巌寺は生温かい
事実21: もし仮にあの瑞巌寺は滅び去れば「「このストリートチルドレンは震えるしキックだ」ということは事実でない」ということは成り立つ
事実22: 「この揚げは生温かいししかも二分裂する」ということは間違っている
事実23: もし仮にこの揚げが書き易くないけど溶け難いならそれは震える
事実24: あの瑞巌寺は震える
事実25: もし仮に「このストリートチルドレンは交じり合う」ということは成り立てば書き易い
事実26: もし「その雨中は二分裂しないけれど生温かい」ということは成り立たないならばこの無限ループは腹立たしい
事実27: もしその雨中がキックでないけどそれが滅び去るとすると生温かい

仮説: この無限ループは腹立たしい
1. 事実12と事実5から、推論1: "あの瑞巌寺は滅び去る"が導かれる
2. 推論1と事実8から、推論2: "「このストリートチルドレンは震えないがキックだ」ということは偽だ"が導かれる
3. 推論2と事実1から、推論3: "この揚げは溶け難い"が導かれる
4. 事実2から、推論4: "仮にこの揚げが溶け難いとしたら生温かい"が導かれる
5. 推論3と推論4から、推論5: "この揚げは生温かい"が導かれる
6. 推論5と事実14から、推論6: "「「その雨中は二分裂しないけど生温かい」ということは正しい」ということは間違いだ"が導かれる
7. 推論6と事実26から、仮説が導かれる

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