あのきりたんぽ鍋は区別出来ない
fact1: この各プレイヤーは程遠くないしバンダースナッチでない fact2: あの段取り上手は抉らないしその上憂くない fact3: 仮に「あの二世議員は程遠いけれど長ーくない」ということは成り立たないとしたらそれは程遠いということはない fact4: あのビームラインは程遠い fact5: 仮にこの各プレイヤーは慌ただしくないとしたら「忙しないがしかしバンダースナッチでない」ということは誤っている fact6: もし「あのビームラインは慌ただしいということはないがしかし満ち溢れる」ということは成り立つということはないとすると「この各プレイヤーは慌ただしくない」ということは誤っているということはない fact7: もし仮にあの探検家が痛ーくないけれど短足だとしたらあの二世議員は満ち溢れるということはない fact8: もし「あの段取り上手は忙しない」ということは成り立てば「この各プレイヤーは慌ただしくなくてバンダースナッチだということはない」ということは成り立つということはない fact9: もしもあの二世議員がバンダースナッチだということはないならこの各プレイヤーは忙しなくない fact10: 「長ーくないし彼本来な」物はある fact11: あのきりたんぽ鍋は長ーくないし彼本来でない fact12: もしなにがしかの物は忙しなくないとすれば「それは混同し易くないし更にそれは区別出来る」ということは偽である fact13: あのビームラインは程遠くないとすれば「それは慌ただしくないがしかし満ち溢れる」ということは間違いだ fact14: 仮にあの二世議員が満ち溢れなくてそれが程遠くないならばあのビームラインは彼本来である fact15: 「あの二世議員は程遠いがしかし長ーくない」ということは誤りだ fact16: この各プレイヤーは慌ただしくなくてかつバンダースナッチでない fact17: 仮に「短足でない」物があるとするとあの段取り上手は忙しない fact18: もしあのビームラインが彼本来であるとするとあのきりたんぽ鍋は区別出来る fact19: 「「痛ーくないけれど短足である」ということは事実と異なる」物があるならあの段取り上手は忙しない fact20: 「あの二世議員は忙しなくない一方で満ち溢れる」ということは間違っている
void -> assump1: 以下のように仮定する。「あの探検家は痛ーくないけれど短足である」ということは嘘だ; assump1 -> int1: 「「痛ーくないが短足である」ということは成り立たない」ものはある; int1 & fact19 -> int2: あの段取り上手は忙しない; int2 & fact8 -> int3: 「この各プレイヤーは慌ただしくなくて更にバンダースナッチでない」ということは偽だ; int3 & fact16 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの探検家は痛ーいということはない一方で短足である; int5 & fact7 -> int6: あの二世議員は満ち溢れない; fact3 & fact15 -> int7: あの二世議員は程遠いということはない; int6 & int7 -> int8: あの二世議員は満ち溢れなくてそれは程遠くない; int8 & fact14 -> int9: あのビームラインは彼本来だ; int9 & fact18 -> hypothesis;
「あの二世議員は混同し易くない一方で区別出来る」ということは誤っている
fact22 -> int10: あの二世議員は忙しなくないとすれば「混同し易くないしそれは区別出来る」ということは間違いである; fact21 -> int11: 「長ーくないしおまけに彼本来だということはない」物はある;
$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: 以下のように仮定する。「あの探検家は痛ーくないけれど短足である」ということは嘘だ; assump1 -> int1: 「「痛ーくないが短足である」ということは成り立たない」ものはある; int1 & fact19 -> int2: あの段取り上手は忙しない; int2 & fact8 -> int3: 「この各プレイヤーは慌ただしくなくて更にバンダースナッチでない」ということは偽だ; int3 & fact16 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの探検家は痛ーいということはない一方で短足である; int5 & fact7 -> int6: あの二世議員は満ち溢れない; fact3 & fact15 -> int7: あの二世議員は程遠いということはない; int6 & int7 -> int8: あの二世議員は満ち溢れなくてそれは程遠くない; int8 & fact14 -> int9: あのビームラインは彼本来だ; int9 & fact18 -> hypothesis; __DISPROVED__
事実1: この各プレイヤーは程遠くないしバンダースナッチでない
事実2: あの段取り上手は抉らないしその上憂くない
事実3: 仮に「あの二世議員は程遠いけれど長ーくない」ということは成り立たないとしたらそれは程遠いということはない
事実4: あのビームラインは程遠い
事実5: 仮にこの各プレイヤーは慌ただしくないとしたら「忙しないがしかしバンダースナッチでない」ということは誤っている
事実6: もし「あのビームラインは慌ただしいということはないがしかし満ち溢れる」ということは成り立つということはないとすると「この各プレイヤーは慌ただしくない」ということは誤っているということはない
事実7: もし仮にあの探検家が痛ーくないけれど短足だとしたらあの二世議員は満ち溢れるということはない
事実8: もし「あの段取り上手は忙しない」ということは成り立てば「この各プレイヤーは慌ただしくなくてバンダースナッチだということはない」ということは成り立つということはない
事実9: もしもあの二世議員がバンダースナッチだということはないならこの各プレイヤーは忙しなくない
事実10: 「長ーくないし彼本来な」物はある
事実11: あのきりたんぽ鍋は長ーくないし彼本来でない
事実12: もしなにがしかの物は忙しなくないとすれば「それは混同し易くないし更にそれは区別出来る」ということは偽である
事実13: あのビームラインは程遠くないとすれば「それは慌ただしくないがしかし満ち溢れる」ということは間違いだ
事実14: 仮にあの二世議員が満ち溢れなくてそれが程遠くないならばあのビームラインは彼本来である
事実15: 「あの二世議員は程遠いがしかし長ーくない」ということは誤りだ
事実16: この各プレイヤーは慌ただしくなくてかつバンダースナッチでない
事実17: 仮に「短足でない」物があるとするとあの段取り上手は忙しない
事実18: もしあのビームラインが彼本来であるとするとあのきりたんぽ鍋は区別出来る
事実19: 「「痛ーくないけれど短足である」ということは事実と異なる」物があるならあの段取り上手は忙しない
事実20: 「あの二世議員は忙しなくない一方で満ち溢れる」ということは間違っている

仮説: あのきりたんぽ鍋は区別出来ない
1. 仮定1: 以下のように仮定する。「あの探検家は痛ーくないけれど短足である」ということは嘘だ
2. 仮定1から、推論1: "「「痛ーくないが短足である」ということは成り立たない」ものはある"が導かれる
3. 推論1と事実19から、推論2: "あの段取り上手は忙しない"が導かれる
4. 推論2と事実8から、推論3: "「この各プレイヤーは慌ただしくなくて更にバンダースナッチでない」ということは偽だ"が導かれる
5. 推論3と事実16から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの探検家は痛ーいということはない一方で短足である"が導かれる
7. 推論5と事実7から、推論6: "あの二世議員は満ち溢れない"が導かれる
8. 事実3と事実15から、推論7: "あの二世議員は程遠いということはない"が導かれる
9. 推論6と推論7から、推論8: "あの二世議員は満ち溢れなくてそれは程遠くない"が導かれる
10. 推論8と事実14から、推論9: "あのビームラインは彼本来だ"が導かれる
11. 推論9と事実18から、仮説が否定される

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