「あの開化は休まないし推定出来るということはない」ということは事実と異なる
fact1: あの拍子抜けは乳臭くない fact2: 仮にとある物がＸ‐Ｐだとすれば休むということはなくて加えて推定出来ない fact3: 仮にこの能古見人形がブザーでないとしたらそのスローカメラはブザーでない fact4: 「あの開化は希う」ということは本当である fact5: もしもその英雄は対処出来るけれどＸ‐Ｐでないならばそれは乳臭いということはない fact6: 仮にあの拍子抜けがＸ‐Ｐであるならばあの英雄は対処出来る一方でＸ‐Ｐでない fact7: そのスローカメラは推定出来る一方で痛み易くない fact8: もしも「この能古見人形は希うけれどそれはスクラムでない」ということは嘘であるとすればそれはブザーでない fact9: 「もし「あの拍子抜けはＸ‐Ｐでない」ということは真実であるとしたらそのスローカメラが土方軍だけど痛み易くない」ということは成り立つ fact10: 仮にその英雄は土方軍でないとすれば「そのスローカメラは乳臭くないしさらにＸ‐Ｐでない」ということは成り立たない fact11: もし土方軍が痛み易くないならそれはブザーだ fact12: もしもあの開化が土方軍でないとしたらそのスローカメラは土方軍でない fact13: 「この能古見人形は希うしおまけにスクラムだ」ということは成り立つということはない fact14: その英雄はＸ‐Ｐであるということはない fact15: 「この能古見人形は希うけどスクラムでない」ということは誤りである fact16: 「その英雄はスクラムでなくて乳臭くない」ということは嘘だ fact17: もしもそのスローカメラは土方軍であるしまた痛み易いなら「ブザーである」ということは本当である fact18: もしもその英雄は乳臭いということはないならば「あの開化は休むということはなくてそれにそれは推定出来ない」ということは成り立たない
void -> assump1: 以下のように仮定する。あの拍子抜けはＸ‐Ｐでない; fact9 & assump1 -> int1: そのスローカメラが土方軍だけどそれは痛み易くない; fact11 -> int2: 仮にそのスローカメラが土方軍だけど痛み易くないとしたらブザーだ; int1 & int2 -> int3: そのスローカメラはブザーである; fact15 & fact8 -> int4: この能古見人形はブザーでない; fact3 & int4 -> int5: そのスローカメラはブザーでない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの拍子抜けはＸ‐Ｐだ; int7 & fact6 -> int8: その英雄は対処出来るけれどそれはＸ‐Ｐであるということはない; int8 & fact5 -> int9: その英雄は乳臭くない; int9 & fact18 -> hypothesis;
あの開化は休まないし推定出来ない
fact19 -> int10: あの開化はＸ‐Ｐであるならば休まないし加えて推定出来るということはない;
$facts$ = fact1: あの拍子抜けは乳臭くない fact2: 仮にとある物がＸ‐Ｐだとすれば休むということはなくて加えて推定出来ない fact3: 仮にこの能古見人形がブザーでないとしたらそのスローカメラはブザーでない fact4: 「あの開化は希う」ということは本当である fact5: もしもその英雄は対処出来るけれどＸ‐Ｐでないならばそれは乳臭いということはない fact6: 仮にあの拍子抜けがＸ‐Ｐであるならばあの英雄は対処出来る一方でＸ‐Ｐでない fact7: そのスローカメラは推定出来る一方で痛み易くない fact8: もしも「この能古見人形は希うけれどそれはスクラムでない」ということは嘘であるとすればそれはブザーでない fact9: 「もし「あの拍子抜けはＸ‐Ｐでない」ということは真実であるとしたらそのスローカメラが土方軍だけど痛み易くない」ということは成り立つ fact10: 仮にその英雄は土方軍でないとすれば「そのスローカメラは乳臭くないしさらにＸ‐Ｐでない」ということは成り立たない fact11: もし土方軍が痛み易くないならそれはブザーだ fact12: もしもあの開化が土方軍でないとしたらそのスローカメラは土方軍でない fact13: 「この能古見人形は希うしおまけにスクラムだ」ということは成り立つということはない fact14: その英雄はＸ‐Ｐであるということはない fact15: 「この能古見人形は希うけどスクラムでない」ということは誤りである fact16: 「その英雄はスクラムでなくて乳臭くない」ということは嘘だ fact17: もしもそのスローカメラは土方軍であるしまた痛み易いなら「ブザーである」ということは本当である fact18: もしもその英雄は乳臭いということはないならば「あの開化は休むということはなくてそれにそれは推定出来ない」ということは成り立たない ; $hypothesis$ = 「あの開化は休まないし推定出来るということはない」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。あの拍子抜けはＸ‐Ｐでない; fact9 & assump1 -> int1: そのスローカメラが土方軍だけどそれは痛み易くない; fact11 -> int2: 仮にそのスローカメラが土方軍だけど痛み易くないとしたらブザーだ; int1 & int2 -> int3: そのスローカメラはブザーである; fact15 & fact8 -> int4: この能古見人形はブザーでない; fact3 & int4 -> int5: そのスローカメラはブザーでない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの拍子抜けはＸ‐Ｐだ; int7 & fact6 -> int8: その英雄は対処出来るけれどそれはＸ‐Ｐであるということはない; int8 & fact5 -> int9: その英雄は乳臭くない; int9 & fact18 -> hypothesis; __PROVED__
事実1: あの拍子抜けは乳臭くない
事実2: 仮にとある物がＸ‐Ｐだとすれば休むということはなくて加えて推定出来ない
事実3: 仮にこの能古見人形がブザーでないとしたらそのスローカメラはブザーでない
事実4: 「あの開化は希う」ということは本当である
事実5: もしもその英雄は対処出来るけれどＸ‐Ｐでないならばそれは乳臭いということはない
事実6: 仮にあの拍子抜けがＸ‐Ｐであるならばあの英雄は対処出来る一方でＸ‐Ｐでない
事実7: そのスローカメラは推定出来る一方で痛み易くない
事実8: もしも「この能古見人形は希うけれどそれはスクラムでない」ということは嘘であるとすればそれはブザーでない
事実9: 「もし「あの拍子抜けはＸ‐Ｐでない」ということは真実であるとしたらそのスローカメラが土方軍だけど痛み易くない」ということは成り立つ
事実10: 仮にその英雄は土方軍でないとすれば「そのスローカメラは乳臭くないしさらにＸ‐Ｐでない」ということは成り立たない
事実11: もし土方軍が痛み易くないならそれはブザーだ
事実12: もしもあの開化が土方軍でないとしたらそのスローカメラは土方軍でない
事実13: 「この能古見人形は希うしおまけにスクラムだ」ということは成り立つということはない
事実14: その英雄はＸ‐Ｐであるということはない
事実15: 「この能古見人形は希うけどスクラムでない」ということは誤りである
事実16: 「その英雄はスクラムでなくて乳臭くない」ということは嘘だ
事実17: もしもそのスローカメラは土方軍であるしまた痛み易いなら「ブザーである」ということは本当である
事実18: もしもその英雄は乳臭いということはないならば「あの開化は休むということはなくてそれにそれは推定出来ない」ということは成り立たない

仮説: 「あの開化は休まないし推定出来るということはない」ということは事実と異なる
1. 仮定1: 以下のように仮定する。あの拍子抜けはＸ‐Ｐでない
2. 事実9と仮定1から、推論1: "そのスローカメラが土方軍だけどそれは痛み易くない"が導かれる
3. 事実11から、推論2: "仮にそのスローカメラが土方軍だけど痛み易くないとしたらブザーだ"が導かれる
4. 推論1と推論2から、推論3: "そのスローカメラはブザーである"が導かれる
5. 事実15と事実8から、推論4: "この能古見人形はブザーでない"が導かれる
6. 事実3と推論4から、推論5: "そのスローカメラはブザーでない"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの拍子抜けはＸ‐Ｐだ"が導かれる
9. 推論7と事実6から、推論8: "その英雄は対処出来るけれどそれはＸ‐Ｐであるということはない"が導かれる
10. 推論8と事実5から、推論9: "その英雄は乳臭くない"が導かれる
11. 推論9と事実18から、仮説が導かれる

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