その当該地方公共団体は差し向かわない
fact1: 仮にその面相が捕獲等でないしさらにそれが集まり易くないならばあの薄板はアプローチし易いということはない fact2: その薄板は新しないしかつニトラゼパム製剤でない fact3: 「なんらかのものは差し向かうということはないし捕獲等でない」ということは成り立たないとしたらそれは差し向かう fact4: もし仮になんらかのものはアプローチし易くないならば「それは動物モデルでなくてその上集まり易い」ということは成り立たない fact5: その面相は侍屋敷だということはない fact6: もしも「「何かは動物モデルでないけれどそれは集まり易い」ということは成り立つ」ということは成り立たないならそれは集まり易くない fact7: 「もしその薄板はアプローチし易くないとしたら「その当該地方公共団体は差し向かわないがしかしアプローチし易い」ということは成り立つ」ということは確かである fact8: 仮にその面相はみっとも可愛くないが海軍塾だとするとそれは捕獲等でない fact9: その面相はみっとも可愛くない一方で海軍塾である fact10: もしその当該地方公共団体がアプローチし易くないとすればあの面相はアプローチし易い fact11: 「あの夏は動物モデルだ」ということは事実だ fact12: もしその面相がアプローチし易いということはないとすればその当該地方公共団体はアプローチし易い fact13: あの夏は動物モデルであるけれど侍屋敷でない fact14: もしあの夏が動物モデルだがそれが侍屋敷でないならその面相は集まり易いということはない fact15: あの夏は一括計上しないけど探し易い fact16: もしなにかは集まり易くないとすれば「それは差し向かわないししかも捕獲等でない」ということは嘘である
fact8 & fact9 -> int1: その面相は捕獲等でない; fact13 & fact14 -> int2: その面相は集まり易くない; int1 & int2 -> int3: その面相は捕獲等だということはなくて集まり易いということはない; int3 & fact1 -> int4: その薄板はアプローチし易いということはない; int4 & fact7 -> int5: その当該地方公共団体は差し向かうということはないがしかしアプローチし易い; int5 -> hypothesis;
その当該地方公共団体は差し向かう
fact21 -> int6: もし「その当該地方公共団体は差し向かわなくて捕獲等でない」ということは間違っていればそれは差し向かう; fact17 -> int7: もし仮にその当該地方公共団体は集まり易くないとしたら「差し向かわないしそれに捕獲等でない」ということは嘘である; fact20 -> int8: もし「その当該地方公共団体は動物モデルでないけどそれは集まり易い」ということは間違いならそれは集まり易くない; fact19 -> int9: もし仮に「その当該地方公共団体はアプローチし易くない」ということは真実ならば「動物モデルでなくて加えてそれは集まり易い」ということは事実と異なる; fact18 -> int10: とある物は侍屋敷でない;
$facts$ = fact1: 仮にその面相が捕獲等でないしさらにそれが集まり易くないならばあの薄板はアプローチし易いということはない fact2: その薄板は新しないしかつニトラゼパム製剤でない fact3: 「なんらかのものは差し向かうということはないし捕獲等でない」ということは成り立たないとしたらそれは差し向かう fact4: もし仮になんらかのものはアプローチし易くないならば「それは動物モデルでなくてその上集まり易い」ということは成り立たない fact5: その面相は侍屋敷だということはない fact6: もしも「「何かは動物モデルでないけれどそれは集まり易い」ということは成り立つ」ということは成り立たないならそれは集まり易くない fact7: 「もしその薄板はアプローチし易くないとしたら「その当該地方公共団体は差し向かわないがしかしアプローチし易い」ということは成り立つ」ということは確かである fact8: 仮にその面相はみっとも可愛くないが海軍塾だとするとそれは捕獲等でない fact9: その面相はみっとも可愛くない一方で海軍塾である fact10: もしその当該地方公共団体がアプローチし易くないとすればあの面相はアプローチし易い fact11: 「あの夏は動物モデルだ」ということは事実だ fact12: もしその面相がアプローチし易いということはないとすればその当該地方公共団体はアプローチし易い fact13: あの夏は動物モデルであるけれど侍屋敷でない fact14: もしあの夏が動物モデルだがそれが侍屋敷でないならその面相は集まり易いということはない fact15: あの夏は一括計上しないけど探し易い fact16: もしなにかは集まり易くないとすれば「それは差し向かわないししかも捕獲等でない」ということは嘘である ; $hypothesis$ = その当該地方公共団体は差し向かわない ; $proof$ = 
fact8 & fact9 -> int1: その面相は捕獲等でない; fact13 & fact14 -> int2: その面相は集まり易くない; int1 & int2 -> int3: その面相は捕獲等だということはなくて集まり易いということはない; int3 & fact1 -> int4: その薄板はアプローチし易いということはない; int4 & fact7 -> int5: その当該地方公共団体は差し向かうということはないがしかしアプローチし易い; int5 -> hypothesis; __PROVED__
事実1: 仮にその面相が捕獲等でないしさらにそれが集まり易くないならばあの薄板はアプローチし易いということはない
事実2: その薄板は新しないしかつニトラゼパム製剤でない
事実3: 「なんらかのものは差し向かうということはないし捕獲等でない」ということは成り立たないとしたらそれは差し向かう
事実4: もし仮になんらかのものはアプローチし易くないならば「それは動物モデルでなくてその上集まり易い」ということは成り立たない
事実5: その面相は侍屋敷だということはない
事実6: もしも「「何かは動物モデルでないけれどそれは集まり易い」ということは成り立つ」ということは成り立たないならそれは集まり易くない
事実7: 「もしその薄板はアプローチし易くないとしたら「その当該地方公共団体は差し向かわないがしかしアプローチし易い」ということは成り立つ」ということは確かである
事実8: 仮にその面相はみっとも可愛くないが海軍塾だとするとそれは捕獲等でない
事実9: その面相はみっとも可愛くない一方で海軍塾である
事実10: もしその当該地方公共団体がアプローチし易くないとすればあの面相はアプローチし易い
事実11: 「あの夏は動物モデルだ」ということは事実だ
事実12: もしその面相がアプローチし易いということはないとすればその当該地方公共団体はアプローチし易い
事実13: あの夏は動物モデルであるけれど侍屋敷でない
事実14: もしあの夏が動物モデルだがそれが侍屋敷でないならその面相は集まり易いということはない
事実15: あの夏は一括計上しないけど探し易い
事実16: もしなにかは集まり易くないとすれば「それは差し向かわないししかも捕獲等でない」ということは嘘である

仮説: その当該地方公共団体は差し向かわない
1. 事実8と事実9から、推論1: "その面相は捕獲等でない"が導かれる
2. 事実13と事実14から、推論2: "その面相は集まり易くない"が導かれる
3. 推論1と推論2から、推論3: "その面相は捕獲等だということはなくて集まり易いということはない"が導かれる
4. 推論3と事実1から、推論4: "その薄板はアプローチし易いということはない"が導かれる
5. 推論4と事実7から、推論5: "その当該地方公共団体は差し向かうということはないがしかしアプローチし易い"が導かれる
6. 推論5から、仮説が導かれる

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