あの商品棚は精密爆撃であるかあるいは伝え難いかあるいはどちらもである
fact1: もし「あの人達一人一人は腫れぼったくておまけに使用し易い」ということは成り立つということはないならばあのヘルスアセスメントはプロフェッショナルでない fact2: 「「「押さえ難いし閉店後である」ということは嘘である」物はある」ということは間違っていない fact3: もしあのヘルスアセスメントがプロフェッショナルでないとしたらあの商品棚は精密爆撃だ fact4: この代金支払いが使用し易いならこの積極的例外は押さえ難い fact5: もしも「閉店後でない」ものがあるならこの積極的例外は押さえ難くない fact6: 仮に「「押さえ難いししかも閉店後である」ということは成り立たない」物があるとすればあの積極的例外は押さえ難くない fact7: 仮にこの代金支払いは使用し易くないとすれば「あの人達一人一人は腫れぼったいし使用し易い」ということは誤りである fact8: もし何かは使用し易くないなら「精密爆撃であるかもしくはそれは伝え難い」ということは成り立たない
void -> assump1: 以下のように仮定する。この代金支払いは使用し易い; fact4 & assump1 -> int1: この積極的例外は押さえ難い; fact2 & fact6 -> int2: この積極的例外は押さえ難くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この代金支払いは使用し易くない; int4 & fact7 -> int5: 「あの人達一人一人は腫れぼったいしその上使用し易い」ということは成り立たない; int5 & fact1 -> int6: あのヘルスアセスメントはプロフェッショナルだということはない; int6 & fact3 -> int7: あの商品棚は精密爆撃だ; int7 -> hypothesis;
「あの商品棚は精密爆撃であるかまたは伝え難いかもしくはどちらもだ」ということは間違っている
fact9 -> int8: もしも「あの商品棚は使用し易くない」ということは真実だとしたら「「それは精密爆撃であるか伝え難いかどちらもだ」ということは本当だ」ということは成り立たない;
$facts$ = fact1: もし「あの人達一人一人は腫れぼったくておまけに使用し易い」ということは成り立つということはないならばあのヘルスアセスメントはプロフェッショナルでない fact2: 「「「押さえ難いし閉店後である」ということは嘘である」物はある」ということは間違っていない fact3: もしあのヘルスアセスメントがプロフェッショナルでないとしたらあの商品棚は精密爆撃だ fact4: この代金支払いが使用し易いならこの積極的例外は押さえ難い fact5: もしも「閉店後でない」ものがあるならこの積極的例外は押さえ難くない fact6: 仮に「「押さえ難いししかも閉店後である」ということは成り立たない」物があるとすればあの積極的例外は押さえ難くない fact7: 仮にこの代金支払いは使用し易くないとすれば「あの人達一人一人は腫れぼったいし使用し易い」ということは誤りである fact8: もし何かは使用し易くないなら「精密爆撃であるかもしくはそれは伝え難い」ということは成り立たない ; $hypothesis$ = あの商品棚は精密爆撃であるかあるいは伝え難いかあるいはどちらもである ; $proof$ = 
void -> assump1: 以下のように仮定する。この代金支払いは使用し易い; fact4 & assump1 -> int1: この積極的例外は押さえ難い; fact2 & fact6 -> int2: この積極的例外は押さえ難くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この代金支払いは使用し易くない; int4 & fact7 -> int5: 「あの人達一人一人は腫れぼったいしその上使用し易い」ということは成り立たない; int5 & fact1 -> int6: あのヘルスアセスメントはプロフェッショナルだということはない; int6 & fact3 -> int7: あの商品棚は精密爆撃だ; int7 -> hypothesis; __PROVED__
事実1: もし「あの人達一人一人は腫れぼったくておまけに使用し易い」ということは成り立つということはないならばあのヘルスアセスメントはプロフェッショナルでない
事実2: 「「「押さえ難いし閉店後である」ということは嘘である」物はある」ということは間違っていない
事実3: もしあのヘルスアセスメントがプロフェッショナルでないとしたらあの商品棚は精密爆撃だ
事実4: この代金支払いが使用し易いならこの積極的例外は押さえ難い
事実5: もしも「閉店後でない」ものがあるならこの積極的例外は押さえ難くない
事実6: 仮に「「押さえ難いししかも閉店後である」ということは成り立たない」物があるとすればあの積極的例外は押さえ難くない
事実7: 仮にこの代金支払いは使用し易くないとすれば「あの人達一人一人は腫れぼったいし使用し易い」ということは誤りである
事実8: もし何かは使用し易くないなら「精密爆撃であるかもしくはそれは伝え難い」ということは成り立たない

仮説: あの商品棚は精密爆撃であるかあるいは伝え難いかあるいはどちらもである
1. 仮定1: 以下のように仮定する。この代金支払いは使用し易い
2. 事実4と仮定1から、推論1: "この積極的例外は押さえ難い"が導かれる
3. 事実2と事実6から、推論2: "この積極的例外は押さえ難くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この代金支払いは使用し易くない"が導かれる
6. 推論4と事実7から、推論5: "「あの人達一人一人は腫れぼったいしその上使用し易い」ということは成り立たない"が導かれる
7. 推論5と事実1から、推論6: "あのヘルスアセスメントはプロフェッショナルだということはない"が導かれる
8. 推論6と事実3から、推論7: "あの商品棚は精密爆撃だ"が導かれる
9. 推論7から、仮説が導かれる

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