あの農村集落は切り離し難くない
fact1: 「あの再会は失踪者でないがしかしそれは近寄り難い」ということは間違っている fact2: 仮に「「失踪者でないけれど近寄り難い」ということは偽である」ものがあればこの網膜は失踪者である fact3: あの農村集落が土盛り工事でないけれど反映され易いとするとあの複メス巣は大反対する fact4: もしもあの複メス巣が調べ出さないか失踪者でないかもしくは両方ともだとするとあの農村集落は調べ出さない fact5: もしも何らかの物が調べ出さないし更に新国立劇場ボックスオフィスでないならばそれは失踪者だということはない fact6: あの農村集落は土盛り工事でない fact7: あの複メス巣が大反対すればこの網膜は調べ出さなくてかつ新国立劇場ボックスオフィスでない fact8: もし仮にこの網膜が近寄り難いしまた失踪者であるとするとあの再会は調べ出す fact9: 「あの再会は切り離し難い」ということは真実だ fact10: この網膜は新国立劇場ボックスオフィスでない fact11: もしこの網膜が新国立劇場ボックスオフィスだとしたらあの複メス巣は調べ出さない fact12: もし仮にあの農村集落が切り離し難いとすればそれは土盛り工事でなくて反映され易い fact13: あの再会は新国立劇場ボックスオフィスでないけど嘆かわしい fact14: 甚だしいかあるいは疲れ易くない物は近寄り難くない fact15: もしも「あの再会は近寄り難くない」ということは真実だとしたらあてがうかそれは新国立劇場ボックスオフィスであるか両方である fact16: 仮になにがしかの物が調べ出さないならばそれは大反対するし更に切り離し難い fact17: もし「あの再会はあてがう」ということは事実であるとしたらこの網膜は新国立劇場ボックスオフィスだ fact18: もしあの複メス巣が大反対するならこの網膜は新国立劇場ボックスオフィスでない
void -> assump1: 以下のように仮定する。あの農村集落は切り離し難い; fact12 & assump1 -> int1: あの農村集落は土盛り工事だということはないが反映され易い; int1 & fact3 -> int2: あの複メス巣は大反対する; int2 & fact7 -> int3: この網膜が調べ出さないしさらに新国立劇場ボックスオフィスでない; fact5 -> int4: 仮にこの網膜が調べ出さないしさらに新国立劇場ボックスオフィスだということはないならばそれは失踪者でない; int3 & int4 -> int5: この網膜は失踪者でない; fact1 -> int6: 「「失踪者でない一方で近寄り難い」ということは間違っている」物はある; fact2 & int6 -> int7: この網膜は失踪者だ; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
あの農村集落は切り離し難い
fact22 -> int9: あの農村集落が調べ出さないとすると大反対するししかも切り離し難い; fact23 -> int10: あの再会が甚だしいか疲れ易くないとすると近寄り難くない;
$facts$ = fact1: 「あの再会は失踪者でないがしかしそれは近寄り難い」ということは間違っている fact2: 仮に「「失踪者でないけれど近寄り難い」ということは偽である」ものがあればこの網膜は失踪者である fact3: あの農村集落が土盛り工事でないけれど反映され易いとするとあの複メス巣は大反対する fact4: もしもあの複メス巣が調べ出さないか失踪者でないかもしくは両方ともだとするとあの農村集落は調べ出さない fact5: もしも何らかの物が調べ出さないし更に新国立劇場ボックスオフィスでないならばそれは失踪者だということはない fact6: あの農村集落は土盛り工事でない fact7: あの複メス巣が大反対すればこの網膜は調べ出さなくてかつ新国立劇場ボックスオフィスでない fact8: もし仮にこの網膜が近寄り難いしまた失踪者であるとするとあの再会は調べ出す fact9: 「あの再会は切り離し難い」ということは真実だ fact10: この網膜は新国立劇場ボックスオフィスでない fact11: もしこの網膜が新国立劇場ボックスオフィスだとしたらあの複メス巣は調べ出さない fact12: もし仮にあの農村集落が切り離し難いとすればそれは土盛り工事でなくて反映され易い fact13: あの再会は新国立劇場ボックスオフィスでないけど嘆かわしい fact14: 甚だしいかあるいは疲れ易くない物は近寄り難くない fact15: もしも「あの再会は近寄り難くない」ということは真実だとしたらあてがうかそれは新国立劇場ボックスオフィスであるか両方である fact16: 仮になにがしかの物が調べ出さないならばそれは大反対するし更に切り離し難い fact17: もし「あの再会はあてがう」ということは事実であるとしたらこの網膜は新国立劇場ボックスオフィスだ fact18: もしあの複メス巣が大反対するならこの網膜は新国立劇場ボックスオフィスでない ; $hypothesis$ = あの農村集落は切り離し難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの農村集落は切り離し難い; fact12 & assump1 -> int1: あの農村集落は土盛り工事だということはないが反映され易い; int1 & fact3 -> int2: あの複メス巣は大反対する; int2 & fact7 -> int3: この網膜が調べ出さないしさらに新国立劇場ボックスオフィスでない; fact5 -> int4: 仮にこの網膜が調べ出さないしさらに新国立劇場ボックスオフィスだということはないならばそれは失踪者でない; int3 & int4 -> int5: この網膜は失踪者でない; fact1 -> int6: 「「失踪者でない一方で近寄り難い」ということは間違っている」物はある; fact2 & int6 -> int7: この網膜は失踪者だ; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: 「あの再会は失踪者でないがしかしそれは近寄り難い」ということは間違っている
事実2: 仮に「「失踪者でないけれど近寄り難い」ということは偽である」ものがあればこの網膜は失踪者である
事実3: あの農村集落が土盛り工事でないけれど反映され易いとするとあの複メス巣は大反対する
事実4: もしもあの複メス巣が調べ出さないか失踪者でないかもしくは両方ともだとするとあの農村集落は調べ出さない
事実5: もしも何らかの物が調べ出さないし更に新国立劇場ボックスオフィスでないならばそれは失踪者だということはない
事実6: あの農村集落は土盛り工事でない
事実7: あの複メス巣が大反対すればこの網膜は調べ出さなくてかつ新国立劇場ボックスオフィスでない
事実8: もし仮にこの網膜が近寄り難いしまた失踪者であるとするとあの再会は調べ出す
事実9: 「あの再会は切り離し難い」ということは真実だ
事実10: この網膜は新国立劇場ボックスオフィスでない
事実11: もしこの網膜が新国立劇場ボックスオフィスだとしたらあの複メス巣は調べ出さない
事実12: もし仮にあの農村集落が切り離し難いとすればそれは土盛り工事でなくて反映され易い
事実13: あの再会は新国立劇場ボックスオフィスでないけど嘆かわしい
事実14: 甚だしいかあるいは疲れ易くない物は近寄り難くない
事実15: もしも「あの再会は近寄り難くない」ということは真実だとしたらあてがうかそれは新国立劇場ボックスオフィスであるか両方である
事実16: 仮になにがしかの物が調べ出さないならばそれは大反対するし更に切り離し難い
事実17: もし「あの再会はあてがう」ということは事実であるとしたらこの網膜は新国立劇場ボックスオフィスだ
事実18: もしあの複メス巣が大反対するならこの網膜は新国立劇場ボックスオフィスでない

仮説: あの農村集落は切り離し難くない
1. 仮定1: 以下のように仮定する。あの農村集落は切り離し難い
2. 事実12と仮定1から、推論1: "あの農村集落は土盛り工事だということはないが反映され易い"が導かれる
3. 推論1と事実3から、推論2: "あの複メス巣は大反対する"が導かれる
4. 推論2と事実7から、推論3: "この網膜が調べ出さないしさらに新国立劇場ボックスオフィスでない"が導かれる
5. 事実5から、推論4: "仮にこの網膜が調べ出さないしさらに新国立劇場ボックスオフィスだということはないならばそれは失踪者でない"が導かれる
6. 推論3と推論4から、推論5: "この網膜は失踪者でない"が導かれる
7. 事実1から、推論6: "「「失踪者でない一方で近寄り難い」ということは間違っている」物はある"が導かれる
8. 事実2と推論6から、推論7: "この網膜は失踪者だ"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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