そのサイバー朝礼は屁えこき虫だ
fact1: もし仮にそのびんたが憔悴するとしたらあのクリップウィンドウは情報社会でない fact2: もし仮にあのクリップウィンドウは情報社会でないとしたら「あの寝袋は捕らえ難いがしかし情報社会でない」ということは成り立たない fact3: もし仮に「なにかは捕らえ難いけど情報社会でない」ということは事実でないとするとそれは人気振りである fact4: 「そのびんたは憔悴するかもしくはアパレルメーカーでないかあるいは両方だ」ということは事実である fact5: もし仮にそのびんたがアパレルメーカーでないとするとあのクリップウィンドウは情報社会であるということはない fact6: もし仮に「何らかの物はアパレルメーカーであるけれど憔悴しない」ということは成り立たないとしたら「それは屁えこき虫でない」ということは真実である fact7: 仮にあの周辺分野は情報社会でないならばそれは野暮ったいということはない fact8: そのサイバー朝礼が屁えこき虫でないけれどそれが掃除し易いとすればそれは生温かい fact9: もしも「あの寝袋は人気振りである」ということは成り立てばそのサイバー朝礼は掃除し易い fact10: そのサイバー朝礼は切り出さなくて寄る辺無くない fact11: もし仮にそのサイバー朝礼は切り出すということはなくて寄る辺無くないとしたら生温かくない
fact4 & fact1 & fact5 -> int1: あのクリップウィンドウは情報社会でない; int1 & fact2 -> int2: 「あの寝袋は捕らえ難いがしかしそれは情報社会だということはない」ということは嘘である; fact3 -> int3: もし「あの寝袋は捕らえ難いけれど情報社会でない」ということは間違っていればそれは人気振りである; int2 & int3 -> int4: あの寝袋は人気振りだ; int4 & fact9 -> int5: そのサイバー朝礼は掃除し易い; void -> assump1: 以下のように仮定する。そのサイバー朝礼は屁えこき虫だということはない; int5 & assump1 -> int6: そのサイバー朝礼は屁えこき虫でない一方でそれは掃除し易い; int6 & fact8 -> int7: 「そのサイバー朝礼は生温かい」ということは成り立つ; fact10 & fact11 -> int8: そのサイバー朝礼は生温かくない; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
あの周辺分野は野暮ったくないがしかし掃除し易い
$facts$ = fact1: もし仮にそのびんたが憔悴するとしたらあのクリップウィンドウは情報社会でない fact2: もし仮にあのクリップウィンドウは情報社会でないとしたら「あの寝袋は捕らえ難いがしかし情報社会でない」ということは成り立たない fact3: もし仮に「なにかは捕らえ難いけど情報社会でない」ということは事実でないとするとそれは人気振りである fact4: 「そのびんたは憔悴するかもしくはアパレルメーカーでないかあるいは両方だ」ということは事実である fact5: もし仮にそのびんたがアパレルメーカーでないとするとあのクリップウィンドウは情報社会であるということはない fact6: もし仮に「何らかの物はアパレルメーカーであるけれど憔悴しない」ということは成り立たないとしたら「それは屁えこき虫でない」ということは真実である fact7: 仮にあの周辺分野は情報社会でないならばそれは野暮ったいということはない fact8: そのサイバー朝礼が屁えこき虫でないけれどそれが掃除し易いとすればそれは生温かい fact9: もしも「あの寝袋は人気振りである」ということは成り立てばそのサイバー朝礼は掃除し易い fact10: そのサイバー朝礼は切り出さなくて寄る辺無くない fact11: もし仮にそのサイバー朝礼は切り出すということはなくて寄る辺無くないとしたら生温かくない ; $hypothesis$ = そのサイバー朝礼は屁えこき虫だ ; $proof$ = 
fact4 & fact1 & fact5 -> int1: あのクリップウィンドウは情報社会でない; int1 & fact2 -> int2: 「あの寝袋は捕らえ難いがしかしそれは情報社会だということはない」ということは嘘である; fact3 -> int3: もし「あの寝袋は捕らえ難いけれど情報社会でない」ということは間違っていればそれは人気振りである; int2 & int3 -> int4: あの寝袋は人気振りだ; int4 & fact9 -> int5: そのサイバー朝礼は掃除し易い; void -> assump1: 以下のように仮定する。そのサイバー朝礼は屁えこき虫だということはない; int5 & assump1 -> int6: そのサイバー朝礼は屁えこき虫でない一方でそれは掃除し易い; int6 & fact8 -> int7: 「そのサイバー朝礼は生温かい」ということは成り立つ; fact10 & fact11 -> int8: そのサイバー朝礼は生温かくない; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: もし仮にそのびんたが憔悴するとしたらあのクリップウィンドウは情報社会でない
事実2: もし仮にあのクリップウィンドウは情報社会でないとしたら「あの寝袋は捕らえ難いがしかし情報社会でない」ということは成り立たない
事実3: もし仮に「なにかは捕らえ難いけど情報社会でない」ということは事実でないとするとそれは人気振りである
事実4: 「そのびんたは憔悴するかもしくはアパレルメーカーでないかあるいは両方だ」ということは事実である
事実5: もし仮にそのびんたがアパレルメーカーでないとするとあのクリップウィンドウは情報社会であるということはない
事実6: もし仮に「何らかの物はアパレルメーカーであるけれど憔悴しない」ということは成り立たないとしたら「それは屁えこき虫でない」ということは真実である
事実7: 仮にあの周辺分野は情報社会でないならばそれは野暮ったいということはない
事実8: そのサイバー朝礼が屁えこき虫でないけれどそれが掃除し易いとすればそれは生温かい
事実9: もしも「あの寝袋は人気振りである」ということは成り立てばそのサイバー朝礼は掃除し易い
事実10: そのサイバー朝礼は切り出さなくて寄る辺無くない
事実11: もし仮にそのサイバー朝礼は切り出すということはなくて寄る辺無くないとしたら生温かくない

仮説: そのサイバー朝礼は屁えこき虫だ
1. 事実4と事実1と事実5から、推論1: "あのクリップウィンドウは情報社会でない"が導かれる
2. 推論1と事実2から、推論2: "「あの寝袋は捕らえ難いがしかしそれは情報社会だということはない」ということは嘘である"が導かれる
3. 事実3から、推論3: "もし「あの寝袋は捕らえ難いけれど情報社会でない」ということは間違っていればそれは人気振りである"が導かれる
4. 推論2と推論3から、推論4: "あの寝袋は人気振りだ"が導かれる
5. 推論4と事実9から、推論5: "そのサイバー朝礼は掃除し易い"が導かれる
6. 仮定1: 以下のように仮定する。そのサイバー朝礼は屁えこき虫だということはない
7. 推論5と仮定1から、推論6: "そのサイバー朝礼は屁えこき虫でない一方でそれは掃除し易い"が導かれる
8. 推論6と事実8から、推論7: "「そのサイバー朝礼は生温かい」ということは成り立つ"が導かれる
9. 事実10と事実11から、推論8: "そのサイバー朝礼は生温かくない"が導かれる
10. 推論7と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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