「あの診察・検査は形成し易くない」ということは本当である
fact1: 仮にその小選挙区が電脳であるしまた刑事裁判所であるとすればあの環境マネジメントシステム監査は見為さらない fact2: もしもあるものが夥しくないとすると形成し易いということはない fact3: その小選挙区は柴胡でそれに刑事裁判所である fact4: 仮になにかは見為さるということはないとすると刑事裁判所でなくてかつそれは電脳でない fact5: 仮にその環境マネジメントシステム監査は見為さらないとすると「あの診察・検査は夥しいということはない」ということは事実である fact6: もし仮になにがしかのものは刑事裁判所であるということはないならばそれは形成し易いしまた柴胡である fact7: 仮になんらかのものが電脳だとすればあの小選挙区は電脳だ fact8: 「「電脳でないし手際良い」ということは成り立たない」ものはある fact9: そのアンシャン・レジームは甘いししかも朔蓬である fact10: もしも「「電脳でないしさらに手際良い」ということは間違いな」物があるとすればあの小選挙区は電脳だ
fact3 -> int1: その小選挙区は刑事裁判所である; fact8 & fact10 -> int2: その小選挙区は電脳である; int1 & int2 -> int3: その小選挙区は電脳であるしかつ刑事裁判所だ; int3 & fact1 -> int4: その環境マネジメントシステム監査は見為さるということはない; int4 & fact5 -> int5: あの診察・検査は夥しくない; fact2 -> int6: もしもあの診察・検査が夥しくないとしたらそれは形成し易くない; int5 & int6 -> hypothesis;
「あの診察・検査は形成し易い」ということは成り立つ
fact12 -> int7: 仮にあの診察・検査が刑事裁判所だということはないとしたら形成し易いししかも柴胡だ; fact11 -> int8: 仮にあの診察・検査が見為さらないとすれば刑事裁判所でないし電脳でない;
$facts$ = fact1: 仮にその小選挙区が電脳であるしまた刑事裁判所であるとすればあの環境マネジメントシステム監査は見為さらない fact2: もしもあるものが夥しくないとすると形成し易いということはない fact3: その小選挙区は柴胡でそれに刑事裁判所である fact4: 仮になにかは見為さるということはないとすると刑事裁判所でなくてかつそれは電脳でない fact5: 仮にその環境マネジメントシステム監査は見為さらないとすると「あの診察・検査は夥しいということはない」ということは事実である fact6: もし仮になにがしかのものは刑事裁判所であるということはないならばそれは形成し易いしまた柴胡である fact7: 仮になんらかのものが電脳だとすればあの小選挙区は電脳だ fact8: 「「電脳でないし手際良い」ということは成り立たない」ものはある fact9: そのアンシャン・レジームは甘いししかも朔蓬である fact10: もしも「「電脳でないしさらに手際良い」ということは間違いな」物があるとすればあの小選挙区は電脳だ ; $hypothesis$ = 「あの診察・検査は形成し易くない」ということは本当である ; $proof$ = 
fact3 -> int1: その小選挙区は刑事裁判所である; fact8 & fact10 -> int2: その小選挙区は電脳である; int1 & int2 -> int3: その小選挙区は電脳であるしかつ刑事裁判所だ; int3 & fact1 -> int4: その環境マネジメントシステム監査は見為さるということはない; int4 & fact5 -> int5: あの診察・検査は夥しくない; fact2 -> int6: もしもあの診察・検査が夥しくないとしたらそれは形成し易くない; int5 & int6 -> hypothesis; __PROVED__
事実1: 仮にその小選挙区が電脳であるしまた刑事裁判所であるとすればあの環境マネジメントシステム監査は見為さらない
事実2: もしもあるものが夥しくないとすると形成し易いということはない
事実3: その小選挙区は柴胡でそれに刑事裁判所である
事実4: 仮になにかは見為さるということはないとすると刑事裁判所でなくてかつそれは電脳でない
事実5: 仮にその環境マネジメントシステム監査は見為さらないとすると「あの診察・検査は夥しいということはない」ということは事実である
事実6: もし仮になにがしかのものは刑事裁判所であるということはないならばそれは形成し易いしまた柴胡である
事実7: 仮になんらかのものが電脳だとすればあの小選挙区は電脳だ
事実8: 「「電脳でないし手際良い」ということは成り立たない」ものはある
事実9: そのアンシャン・レジームは甘いししかも朔蓬である
事実10: もしも「「電脳でないしさらに手際良い」ということは間違いな」物があるとすればあの小選挙区は電脳だ

仮説: 「あの診察・検査は形成し易くない」ということは本当である
1. 事実3から、推論1: "その小選挙区は刑事裁判所である"が導かれる
2. 事実8と事実10から、推論2: "その小選挙区は電脳である"が導かれる
3. 推論1と推論2から、推論3: "その小選挙区は電脳であるしかつ刑事裁判所だ"が導かれる
4. 推論3と事実1から、推論4: "その環境マネジメントシステム監査は見為さるということはない"が導かれる
5. 推論4と事実5から、推論5: "あの診察・検査は夥しくない"が導かれる
6. 事実2から、推論6: "もしもあの診察・検査が夥しくないとしたらそれは形成し易くない"が導かれる
7. 推論5と推論6から、仮説が導かれる

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