あの電気設備設置はカリニでない
fact1: 仮にこのＵＩＤはグラフィック・デザインであるし新村出だとすればそれは烏滸がましい fact2: 仮に「「握り潰さない一方で叩き潰す」ということは嘘な」物があるとしたらあの電気設備設置は尖み付けない fact3: 「あの電気設備設置が烏滸はましくらない」ということは真実だ fact4: もし仮にあるものが尖み付けるならそれはカリニである fact5: もし仮にこのＵＩＤがグラフィック・デザインだがそれは新村出であるということはないとしたらそれは烏滸がましい fact6: このＵＩＤはグラフィック・デザインだがそれは新村出でない fact7: 仮にあの電気設備設置が尖み付けないならばそれはカリニでないけれど揺曳する fact8: なにかは握り潰さないがしかし叩き潰すとしたらそれは烏滸がましかない
fact8 -> int1: 仮にこのＵＩＤは握り潰さない一方で叩き潰すならそれは烏滸がましかない; void -> assump1: 以下のように仮定する。このＵＩＤは握り潰さないけど叩き潰す; int1 & assump1 -> int2: このＵＩＤは烏滸がましいということはない; fact6 & fact5 -> int3: 「このＵＩＤは烏滸がましい」ということは成り立つ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「このＵＩＤは握り潰さないがしかし叩き潰す」ということは成り立たない; int5 -> int6: 「「握り潰さない一方で叩き潰す」ということは間違っている」物はある; int6 & fact2 -> int7: あの電気設備設置は尖み付けるということはない; int7 & fact7 -> int8: あの電気設備設置はカリニでないがしかしそれは揺曳する; int8 -> hypothesis;
あの電気設備設置はカリニである
fact9 -> int9: 仮にあの電気設備設置が尖み付けるとしたらカリニだ;
$facts$ = fact1: 仮にこのＵＩＤはグラフィック・デザインであるし新村出だとすればそれは烏滸がましい fact2: 仮に「「握り潰さない一方で叩き潰す」ということは嘘な」物があるとしたらあの電気設備設置は尖み付けない fact3: 「あの電気設備設置が烏滸はましくらない」ということは真実だ fact4: もし仮にあるものが尖み付けるならそれはカリニである fact5: もし仮にこのＵＩＤがグラフィック・デザインだがそれは新村出であるということはないとしたらそれは烏滸がましい fact6: このＵＩＤはグラフィック・デザインだがそれは新村出でない fact7: 仮にあの電気設備設置が尖み付けないならばそれはカリニでないけれど揺曳する fact8: なにかは握り潰さないがしかし叩き潰すとしたらそれは烏滸がましかない ; $hypothesis$ = あの電気設備設置はカリニでない ; $proof$ = 
fact8 -> int1: 仮にこのＵＩＤは握り潰さない一方で叩き潰すならそれは烏滸がましかない; void -> assump1: 以下のように仮定する。このＵＩＤは握り潰さないけど叩き潰す; int1 & assump1 -> int2: このＵＩＤは烏滸がましいということはない; fact6 & fact5 -> int3: 「このＵＩＤは烏滸がましい」ということは成り立つ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「このＵＩＤは握り潰さないがしかし叩き潰す」ということは成り立たない; int5 -> int6: 「「握り潰さない一方で叩き潰す」ということは間違っている」物はある; int6 & fact2 -> int7: あの電気設備設置は尖み付けるということはない; int7 & fact7 -> int8: あの電気設備設置はカリニでないがしかしそれは揺曳する; int8 -> hypothesis; __PROVED__
事実1: 仮にこのＵＩＤはグラフィック・デザインであるし新村出だとすればそれは烏滸がましい
事実2: 仮に「「握り潰さない一方で叩き潰す」ということは嘘な」物があるとしたらあの電気設備設置は尖み付けない
事実3: 「あの電気設備設置が烏滸はましくらない」ということは真実だ
事実4: もし仮にあるものが尖み付けるならそれはカリニである
事実5: もし仮にこのＵＩＤがグラフィック・デザインだがそれは新村出であるということはないとしたらそれは烏滸がましい
事実6: このＵＩＤはグラフィック・デザインだがそれは新村出でない
事実7: 仮にあの電気設備設置が尖み付けないならばそれはカリニでないけれど揺曳する
事実8: なにかは握り潰さないがしかし叩き潰すとしたらそれは烏滸がましかない

仮説: あの電気設備設置はカリニでない
1. 事実8から、推論1: "仮にこのＵＩＤは握り潰さない一方で叩き潰すならそれは烏滸がましかない"が導かれる
2. 仮定1: 以下のように仮定する。このＵＩＤは握り潰さないけど叩き潰す
3. 推論1と仮定1から、推論2: "このＵＩＤは烏滸がましいということはない"が導かれる
4. 事実6と事実5から、推論3: "「このＵＩＤは烏滸がましい」ということは成り立つ"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「このＵＩＤは握り潰さないがしかし叩き潰す」ということは成り立たない"が導かれる
7. 推論5から、推論6: "「「握り潰さない一方で叩き潰す」ということは間違っている」物はある"が導かれる
8. 推論6と事実2から、推論7: "あの電気設備設置は尖み付けるということはない"が導かれる
9. 推論7と事実7から、推論8: "あの電気設備設置はカリニでないがしかしそれは揺曳する"が導かれる
10. 推論8から、仮説が導かれる

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