あのＸＭＬデータはぴちぴちしない
fact1: この化学準備室はＢ組でないとしたら「粘っこくないしさらにそれは折り込む」ということは間違っている fact2: 「この化学準備室はＢ組でない」ということは真実だ fact3: その竹箒はＢ組でない fact4: 「この化学準備室は南蛮平定であるかもしくは殴り合わない」ということは誤りだ fact5: 「とある物は粘っこいがＯＧＴＴでない」ということは成り立たないとすればそれはＯＧＴＴである fact6: もしこの層状がぴちぴちするならあのＸＭＬデータはぴちぴちする fact7: 仮に「あの短毛種はロープであるかまたはそれはＯＧＴＴだということはない」ということは成り立たないとすればその竹箒はＯＧＴＴだ fact8: 「あの短毛種がＢ組だしかつそれは薬臭い」ということは誤っている fact9: この層状が経営情報でない一方で折り込むとするとその竹箒は創世記でない fact10: 「この化学準備室は粘っこくないけどそれは折り込む」ということは確かだということはないとしたらこの層状は折り込む fact11: あのＸＭＬデータは麻袋だ fact12: あのＸＭＬデータが麻袋でそれがぴちぴちするとしたらこの層状は経営情報でない fact13: もしその竹箒が経営情報でないとしたらこの層状はぴちぴちするし加えて麻袋だ fact14: もし仮に「あの短毛種はＢ組であるし薬臭い」ということは誤りであるとすればそれはＢ組でない fact15: その竹箒が経営情報でないけど粘っこいとすればこの層状はＯＧＴＴでない fact16: この層状は与え易い fact17: この化学準備室が創世記でないならその竹箒は折り込むがしかし経営情報でない fact18: もし何らかのものはＯＧＴＴであるならばそれは創世記である fact19: この化学準備室は経営情報である fact20: 「あの短毛種はロープであるかもしくはそれはＯＧＴＴでないかどちらもである」ということは間違いだ
void -> assump1: 以下のように仮定する。「あのＸＭＬデータはぴちぴちする」ということは成り立つ; fact11 & assump1 -> int1: あのＸＭＬデータは麻袋であるしそれはぴちぴちする; int1 & fact12 -> int2: この層状は経営情報でない; fact2 & fact1 -> int3: 「この化学準備室は粘っこくない一方で折り込む」ということは成り立たない; fact10 & int3 -> int4: この層状は折り込む; int2 & int4 -> int5: この層状は経営情報でないけれど折り込む; int5 & fact9 -> int6: その竹箒は創世記だということはない; fact7 & fact20 -> int7: その竹箒はＯＧＴＴだ; fact18 -> int8: もし仮にその竹箒はＯＧＴＴであるとしたらそれは創世記だ; int7 & int8 -> int9: その竹箒は創世記だ; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
あのＸＭＬデータはぴちぴちする
fact21 -> int11: もし「この化学準備室は粘っこいがしかしＯＧＴＴでない」ということは誤りならばそれはＯＧＴＴである; fact25 & fact26 -> int12: あの短毛種はＢ組でない; int12 -> int13: 何らかのものはＢ組だということはない;
$facts$ = fact1: この化学準備室はＢ組でないとしたら「粘っこくないしさらにそれは折り込む」ということは間違っている fact2: 「この化学準備室はＢ組でない」ということは真実だ fact3: その竹箒はＢ組でない fact4: 「この化学準備室は南蛮平定であるかもしくは殴り合わない」ということは誤りだ fact5: 「とある物は粘っこいがＯＧＴＴでない」ということは成り立たないとすればそれはＯＧＴＴである fact6: もしこの層状がぴちぴちするならあのＸＭＬデータはぴちぴちする fact7: 仮に「あの短毛種はロープであるかまたはそれはＯＧＴＴだということはない」ということは成り立たないとすればその竹箒はＯＧＴＴだ fact8: 「あの短毛種がＢ組だしかつそれは薬臭い」ということは誤っている fact9: この層状が経営情報でない一方で折り込むとするとその竹箒は創世記でない fact10: 「この化学準備室は粘っこくないけどそれは折り込む」ということは確かだということはないとしたらこの層状は折り込む fact11: あのＸＭＬデータは麻袋だ fact12: あのＸＭＬデータが麻袋でそれがぴちぴちするとしたらこの層状は経営情報でない fact13: もしその竹箒が経営情報でないとしたらこの層状はぴちぴちするし加えて麻袋だ fact14: もし仮に「あの短毛種はＢ組であるし薬臭い」ということは誤りであるとすればそれはＢ組でない fact15: その竹箒が経営情報でないけど粘っこいとすればこの層状はＯＧＴＴでない fact16: この層状は与え易い fact17: この化学準備室が創世記でないならその竹箒は折り込むがしかし経営情報でない fact18: もし何らかのものはＯＧＴＴであるならばそれは創世記である fact19: この化学準備室は経営情報である fact20: 「あの短毛種はロープであるかもしくはそれはＯＧＴＴでないかどちらもである」ということは間違いだ ; $hypothesis$ = あのＸＭＬデータはぴちぴちしない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのＸＭＬデータはぴちぴちする」ということは成り立つ; fact11 & assump1 -> int1: あのＸＭＬデータは麻袋であるしそれはぴちぴちする; int1 & fact12 -> int2: この層状は経営情報でない; fact2 & fact1 -> int3: 「この化学準備室は粘っこくない一方で折り込む」ということは成り立たない; fact10 & int3 -> int4: この層状は折り込む; int2 & int4 -> int5: この層状は経営情報でないけれど折り込む; int5 & fact9 -> int6: その竹箒は創世記だということはない; fact7 & fact20 -> int7: その竹箒はＯＧＴＴだ; fact18 -> int8: もし仮にその竹箒はＯＧＴＴであるとしたらそれは創世記だ; int7 & int8 -> int9: その竹箒は創世記だ; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __PROVED__
事実1: この化学準備室はＢ組でないとしたら「粘っこくないしさらにそれは折り込む」ということは間違っている
事実2: 「この化学準備室はＢ組でない」ということは真実だ
事実3: その竹箒はＢ組でない
事実4: 「この化学準備室は南蛮平定であるかもしくは殴り合わない」ということは誤りだ
事実5: 「とある物は粘っこいがＯＧＴＴでない」ということは成り立たないとすればそれはＯＧＴＴである
事実6: もしこの層状がぴちぴちするならあのＸＭＬデータはぴちぴちする
事実7: 仮に「あの短毛種はロープであるかまたはそれはＯＧＴＴだということはない」ということは成り立たないとすればその竹箒はＯＧＴＴだ
事実8: 「あの短毛種がＢ組だしかつそれは薬臭い」ということは誤っている
事実9: この層状が経営情報でない一方で折り込むとするとその竹箒は創世記でない
事実10: 「この化学準備室は粘っこくないけどそれは折り込む」ということは確かだということはないとしたらこの層状は折り込む
事実11: あのＸＭＬデータは麻袋だ
事実12: あのＸＭＬデータが麻袋でそれがぴちぴちするとしたらこの層状は経営情報でない
事実13: もしその竹箒が経営情報でないとしたらこの層状はぴちぴちするし加えて麻袋だ
事実14: もし仮に「あの短毛種はＢ組であるし薬臭い」ということは誤りであるとすればそれはＢ組でない
事実15: その竹箒が経営情報でないけど粘っこいとすればこの層状はＯＧＴＴでない
事実16: この層状は与え易い
事実17: この化学準備室が創世記でないならその竹箒は折り込むがしかし経営情報でない
事実18: もし何らかのものはＯＧＴＴであるならばそれは創世記である
事実19: この化学準備室は経営情報である
事実20: 「あの短毛種はロープであるかもしくはそれはＯＧＴＴでないかどちらもである」ということは間違いだ

仮説: あのＸＭＬデータはぴちぴちしない
1. 仮定1: 以下のように仮定する。「あのＸＭＬデータはぴちぴちする」ということは成り立つ
2. 事実11と仮定1から、推論1: "あのＸＭＬデータは麻袋であるしそれはぴちぴちする"が導かれる
3. 推論1と事実12から、推論2: "この層状は経営情報でない"が導かれる
4. 事実2と事実1から、推論3: "「この化学準備室は粘っこくない一方で折り込む」ということは成り立たない"が導かれる
5. 事実10と推論3から、推論4: "この層状は折り込む"が導かれる
6. 推論2と推論4から、推論5: "この層状は経営情報でないけれど折り込む"が導かれる
7. 推論5と事実9から、推論6: "その竹箒は創世記だということはない"が導かれる
8. 事実7と事実20から、推論7: "その竹箒はＯＧＴＴだ"が導かれる
9. 事実18から、推論8: "もし仮にその竹箒はＯＧＴＴであるとしたらそれは創世記だ"が導かれる
10. 推論7と推論8から、推論9: "その竹箒は創世記だ"が導かれる
11. 推論6と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が導かれる

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