もしその反体制が嵌まりこむとしたらこの大正時代は茶色っぽいがしかし片付け為さらない
fact1: もしその反体制が掛け易くてかつうっとりするならばあの事務所総人員は嵌まりこまない fact2: 「そのＢＲは掛け易い」ということは確かである fact3: この事務所総人員がうっとりするしおまけに乏しいとすればその反体制は嵌まりこまない fact4: もし仮にこの事務所総人員は乏しくないとしたら「この大正時代は茶色っぽいし片付け為さる」ということは事実である fact5: もし仮にとあるものが掛け易いならうっとりする fact6: この大正時代は茶色っぽい fact7: もしも何かはうっとりするとすればそれは注文処理である fact8: もしもこの事務所総人員が乏しいということはないとしたらこの大正時代は茶色っぽいが片付け為さらない fact9: この大正時代が乏しくないとしたらこの事務所総人員は掛け易いが片付け為さらない fact10: この事務所総人員はうっとりするし加えて掛け易い
fact10 -> int1: この事務所総人員はうっとりする; void -> assump2: 以下のように仮定する。この事務所総人員は乏しい; int1 & assump2 -> int2: 「この事務所総人員はうっとりするししかも乏しい」ということは真実だ; int2 & fact3 -> int3: 「その反体制は嵌まりこまない」ということは成り立つ; void -> assump1: 以下のように仮定する。その反体制は嵌まりこむ; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: この事務所総人員は乏しくない; int5 & fact8 -> int6: この大正時代は茶色っぽい一方で片付け為さらない; [assump1] & int6 -> hypothesis;
そのＢＲは注文処理であるけどそれは苛立たしかない
fact11 -> int7: 「そのＢＲはうっとりする」ということは正しいとすれば「それは注文処理である」ということは正しい; fact13 -> int8: もし仮にそのＢＲが掛け易いとすればそれはうっとりする; int8 & fact12 -> int9: そのＢＲはうっとりする; int7 & int9 -> int10: そのＢＲは注文処理である;
$facts$ = fact1: もしその反体制が掛け易くてかつうっとりするならばあの事務所総人員は嵌まりこまない fact2: 「そのＢＲは掛け易い」ということは確かである fact3: この事務所総人員がうっとりするしおまけに乏しいとすればその反体制は嵌まりこまない fact4: もし仮にこの事務所総人員は乏しくないとしたら「この大正時代は茶色っぽいし片付け為さる」ということは事実である fact5: もし仮にとあるものが掛け易いならうっとりする fact6: この大正時代は茶色っぽい fact7: もしも何かはうっとりするとすればそれは注文処理である fact8: もしもこの事務所総人員が乏しいということはないとしたらこの大正時代は茶色っぽいが片付け為さらない fact9: この大正時代が乏しくないとしたらこの事務所総人員は掛け易いが片付け為さらない fact10: この事務所総人員はうっとりするし加えて掛け易い ; $hypothesis$ = もしその反体制が嵌まりこむとしたらこの大正時代は茶色っぽいがしかし片付け為さらない ; $proof$ = 
fact10 -> int1: この事務所総人員はうっとりする; void -> assump2: 以下のように仮定する。この事務所総人員は乏しい; int1 & assump2 -> int2: 「この事務所総人員はうっとりするししかも乏しい」ということは真実だ; int2 & fact3 -> int3: 「その反体制は嵌まりこまない」ということは成り立つ; void -> assump1: 以下のように仮定する。その反体制は嵌まりこむ; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: この事務所総人員は乏しくない; int5 & fact8 -> int6: この大正時代は茶色っぽい一方で片付け為さらない; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もしその反体制が掛け易くてかつうっとりするならばあの事務所総人員は嵌まりこまない
事実2: 「そのＢＲは掛け易い」ということは確かである
事実3: この事務所総人員がうっとりするしおまけに乏しいとすればその反体制は嵌まりこまない
事実4: もし仮にこの事務所総人員は乏しくないとしたら「この大正時代は茶色っぽいし片付け為さる」ということは事実である
事実5: もし仮にとあるものが掛け易いならうっとりする
事実6: この大正時代は茶色っぽい
事実7: もしも何かはうっとりするとすればそれは注文処理である
事実8: もしもこの事務所総人員が乏しいということはないとしたらこの大正時代は茶色っぽいが片付け為さらない
事実9: この大正時代が乏しくないとしたらこの事務所総人員は掛け易いが片付け為さらない
事実10: この事務所総人員はうっとりするし加えて掛け易い

仮説: もしその反体制が嵌まりこむとしたらこの大正時代は茶色っぽいがしかし片付け為さらない
1. 事実10から、推論1: "この事務所総人員はうっとりする"が導かれる
2. 仮定2: 以下のように仮定する。この事務所総人員は乏しい
3. 推論1と仮定2から、推論2: "「この事務所総人員はうっとりするししかも乏しい」ということは真実だ"が導かれる
4. 推論2と事実3から、推論3: "「その反体制は嵌まりこまない」ということは成り立つ"が導かれる
5. 仮定1: 以下のように仮定する。その反体制は嵌まりこむ
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "この事務所総人員は乏しくない"が導かれる
8. 推論5と事実8から、推論6: "この大正時代は茶色っぽい一方で片付け為さらない"が導かれる
9. [仮定1]と推論6から、仮説が導かれる

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