この社会的階層は寒ーくない
fact1: もしも「そのハンブルガーは散らばる」ということは真実であるならこの社会的階層は寒ーい fact2: 「そのハンブルガーは散らばらないし加えてそれはフーリエ変換しない」ということは成り立たないとすれば上積みする fact3: もしも「なんらかの物は寒ーくないしその上それは横線だということはない」ということは間違いであるならば甘ったるい fact4: 全てのものはフーリエ変換するということはない fact5: もし仮に「この写真機は寒ーいし甘ったるい」ということは間違っていればこの社会的階層は寒ーくない fact6: この写真機は儲からない fact7: 仮にとあるものはフーリエ変換するということはないなら「散らばるしそれは寒ーい」ということは成り立つということはない fact8: もし仮にそのハンブルガーが散らばるとするとそれは上積みする fact9: 「「散らばるし寒ーい」ということは事実と異なる」物があるならこの写真機は散らばらない fact10: 甘ったるい物は上積みする fact11: 仮にこの写真機が上積みすればそのハンブルガーは散らばる fact12: 仮に「「儲かるか上積みするかどちらもである」ということは成り立たない」物があるならこの朝命は甘ったるい fact13: もしこの写真機は儲からないとすれば「専門職人でなくてそれは横線でない」ということは嘘である fact14: もしもこの写真機は横線であるとすると「それは甘ったるい」ということは事実である fact15: 仮に「「何かは専門職人でなくて更に横線でない」ということは正しい」ということは間違いであるとすると「それは甘ったるい」ということは確かだ
fact13 & fact6 -> int1: 「この写真機は専門職人であるということはなくてしかも横線でない」ということは真実でない; fact15 -> int2: もし「この写真機は専門職人でないし横線でない」ということは成り立たないとしたらそれは甘ったるい; int1 & int2 -> int3: この写真機は甘ったるい; fact10 -> int4: この写真機は甘ったるいとすれば「上積みする」ということは間違いでない; int3 & int4 -> int5: この写真機は上積みする; int5 & fact11 -> int6: そのハンブルガーは散らばる; int6 & fact1 -> hypothesis;
この社会的階層は寒ーくない
$facts$ = fact1: もしも「そのハンブルガーは散らばる」ということは真実であるならこの社会的階層は寒ーい fact2: 「そのハンブルガーは散らばらないし加えてそれはフーリエ変換しない」ということは成り立たないとすれば上積みする fact3: もしも「なんらかの物は寒ーくないしその上それは横線だということはない」ということは間違いであるならば甘ったるい fact4: 全てのものはフーリエ変換するということはない fact5: もし仮に「この写真機は寒ーいし甘ったるい」ということは間違っていればこの社会的階層は寒ーくない fact6: この写真機は儲からない fact7: 仮にとあるものはフーリエ変換するということはないなら「散らばるしそれは寒ーい」ということは成り立つということはない fact8: もし仮にそのハンブルガーが散らばるとするとそれは上積みする fact9: 「「散らばるし寒ーい」ということは事実と異なる」物があるならこの写真機は散らばらない fact10: 甘ったるい物は上積みする fact11: 仮にこの写真機が上積みすればそのハンブルガーは散らばる fact12: 仮に「「儲かるか上積みするかどちらもである」ということは成り立たない」物があるならこの朝命は甘ったるい fact13: もしこの写真機は儲からないとすれば「専門職人でなくてそれは横線でない」ということは嘘である fact14: もしもこの写真機は横線であるとすると「それは甘ったるい」ということは事実である fact15: 仮に「「何かは専門職人でなくて更に横線でない」ということは正しい」ということは間違いであるとすると「それは甘ったるい」ということは確かだ ; $hypothesis$ = この社会的階層は寒ーくない ; $proof$ = 
fact13 & fact6 -> int1: 「この写真機は専門職人であるということはなくてしかも横線でない」ということは真実でない; fact15 -> int2: もし「この写真機は専門職人でないし横線でない」ということは成り立たないとしたらそれは甘ったるい; int1 & int2 -> int3: この写真機は甘ったるい; fact10 -> int4: この写真機は甘ったるいとすれば「上積みする」ということは間違いでない; int3 & int4 -> int5: この写真機は上積みする; int5 & fact11 -> int6: そのハンブルガーは散らばる; int6 & fact1 -> hypothesis; __DISPROVED__
事実1: もしも「そのハンブルガーは散らばる」ということは真実であるならこの社会的階層は寒ーい
事実2: 「そのハンブルガーは散らばらないし加えてそれはフーリエ変換しない」ということは成り立たないとすれば上積みする
事実3: もしも「なんらかの物は寒ーくないしその上それは横線だということはない」ということは間違いであるならば甘ったるい
事実4: 全てのものはフーリエ変換するということはない
事実5: もし仮に「この写真機は寒ーいし甘ったるい」ということは間違っていればこの社会的階層は寒ーくない
事実6: この写真機は儲からない
事実7: 仮にとあるものはフーリエ変換するということはないなら「散らばるしそれは寒ーい」ということは成り立つということはない
事実8: もし仮にそのハンブルガーが散らばるとするとそれは上積みする
事実9: 「「散らばるし寒ーい」ということは事実と異なる」物があるならこの写真機は散らばらない
事実10: 甘ったるい物は上積みする
事実11: 仮にこの写真機が上積みすればそのハンブルガーは散らばる
事実12: 仮に「「儲かるか上積みするかどちらもである」ということは成り立たない」物があるならこの朝命は甘ったるい
事実13: もしこの写真機は儲からないとすれば「専門職人でなくてそれは横線でない」ということは嘘である
事実14: もしもこの写真機は横線であるとすると「それは甘ったるい」ということは事実である
事実15: 仮に「「何かは専門職人でなくて更に横線でない」ということは正しい」ということは間違いであるとすると「それは甘ったるい」ということは確かだ

仮説: この社会的階層は寒ーくない
1. 事実13と事実6から、推論1: "「この写真機は専門職人であるということはなくてしかも横線でない」ということは真実でない"が導かれる
2. 事実15から、推論2: "もし「この写真機は専門職人でないし横線でない」ということは成り立たないとしたらそれは甘ったるい"が導かれる
3. 推論1と推論2から、推論3: "この写真機は甘ったるい"が導かれる
4. 事実10から、推論4: "この写真機は甘ったるいとすれば「上積みする」ということは間違いでない"が導かれる
5. 推論3と推論4から、推論5: "この写真機は上積みする"が導かれる
6. 推論5と事実11から、推論6: "そのハンブルガーは散らばる"が導かれる
7. 推論6と事実1から、仮説が否定される

よって、仮説が否定されました。