この送別は日米比較でない
fact1: なんらかのものは藩営事業である fact2: もし「あの精神病理学は日米比較でないしそれは見せ合わない」ということは間違いであるとしたらこの送別は日米比較である fact3: もし仮に「あの当該資産は法師温泉だがしかし気まずくない」ということは成り立たないとすればこの下壁は藩営事業だ fact4: もしなにがしかの物が持参しないとすると集権化するしおまけにそれは建物所有でない fact5: もし仮にあの精神病理学は建物所有でないとすれば「あの深部白質は行き難いししかも見せ合う」ということは偽である fact6: 仮に「ある物は見せ合わないし建物所有でない」ということは真実であるとするとそれは集権化する fact7: もし仮に「見せ合う」物があるとすればその準優勝は標準装備しない fact8: もし仮に「とあるものは行き難いししかも見せ合う」ということは成り立たないとしたらそれは見せ合うということはない fact9: 「「行き難い」ということは成り立つ」物はある fact10: 何かは藩営事業だとしたらそれは持参しない fact11: 仮にあの精神病理学が集権化するしそれに持参するとしたらこの送別は日米比較でない fact12: もし仮にその朝鮮医学は行き難いなら「あの精神病理学は日米比較でなくてそれは見せ合わない」ということは成り立たない fact13: 何らかの物は気まずくて藩営事業だ fact14: もしあの機能レベルは及ばすということはないなら「あの当該資産は法師温泉だが気まずくない」ということは誤りである fact15: もし仮に気まずい物が藩営事業であるとしたらあの精神病理学は持参する fact16: もし行き難いものがあるならばあの精神病理学は見せ合わないしかつ建物所有でない
fact9 & fact16 -> int1: あの精神病理学は見せ合うということはないし加えて建物所有でない; fact6 -> int2: 仮にあの精神病理学が見せ合わないし更にそれは建物所有であるということはないとするとそれは集権化する; int1 & int2 -> int3: 「あの精神病理学は集権化する」ということは事実である; fact13 & fact15 -> int4: 「あの精神病理学は持参する」ということは正しい; int3 & int4 -> int5: あの精神病理学は集権化するし持参する; int5 & fact11 -> hypothesis;
あの深部白質は見せ合わない
fact18 -> int6: もし仮に「あの深部白質は行き難くて見せ合う」ということは確かでないならば「見せ合うということはない」ということは嘘であるということはない;
$facts$ = fact1: なんらかのものは藩営事業である fact2: もし「あの精神病理学は日米比較でないしそれは見せ合わない」ということは間違いであるとしたらこの送別は日米比較である fact3: もし仮に「あの当該資産は法師温泉だがしかし気まずくない」ということは成り立たないとすればこの下壁は藩営事業だ fact4: もしなにがしかの物が持参しないとすると集権化するしおまけにそれは建物所有でない fact5: もし仮にあの精神病理学は建物所有でないとすれば「あの深部白質は行き難いししかも見せ合う」ということは偽である fact6: 仮に「ある物は見せ合わないし建物所有でない」ということは真実であるとするとそれは集権化する fact7: もし仮に「見せ合う」物があるとすればその準優勝は標準装備しない fact8: もし仮に「とあるものは行き難いししかも見せ合う」ということは成り立たないとしたらそれは見せ合うということはない fact9: 「「行き難い」ということは成り立つ」物はある fact10: 何かは藩営事業だとしたらそれは持参しない fact11: 仮にあの精神病理学が集権化するしそれに持参するとしたらこの送別は日米比較でない fact12: もし仮にその朝鮮医学は行き難いなら「あの精神病理学は日米比較でなくてそれは見せ合わない」ということは成り立たない fact13: 何らかの物は気まずくて藩営事業だ fact14: もしあの機能レベルは及ばすということはないなら「あの当該資産は法師温泉だが気まずくない」ということは誤りである fact15: もし仮に気まずい物が藩営事業であるとしたらあの精神病理学は持参する fact16: もし行き難いものがあるならばあの精神病理学は見せ合わないしかつ建物所有でない ; $hypothesis$ = この送別は日米比較でない ; $proof$ = 
fact9 & fact16 -> int1: あの精神病理学は見せ合うということはないし加えて建物所有でない; fact6 -> int2: 仮にあの精神病理学が見せ合わないし更にそれは建物所有であるということはないとするとそれは集権化する; int1 & int2 -> int3: 「あの精神病理学は集権化する」ということは事実である; fact13 & fact15 -> int4: 「あの精神病理学は持参する」ということは正しい; int3 & int4 -> int5: あの精神病理学は集権化するし持参する; int5 & fact11 -> hypothesis; __PROVED__
事実1: なんらかのものは藩営事業である
事実2: もし「あの精神病理学は日米比較でないしそれは見せ合わない」ということは間違いであるとしたらこの送別は日米比較である
事実3: もし仮に「あの当該資産は法師温泉だがしかし気まずくない」ということは成り立たないとすればこの下壁は藩営事業だ
事実4: もしなにがしかの物が持参しないとすると集権化するしおまけにそれは建物所有でない
事実5: もし仮にあの精神病理学は建物所有でないとすれば「あの深部白質は行き難いししかも見せ合う」ということは偽である
事実6: 仮に「ある物は見せ合わないし建物所有でない」ということは真実であるとするとそれは集権化する
事実7: もし仮に「見せ合う」物があるとすればその準優勝は標準装備しない
事実8: もし仮に「とあるものは行き難いししかも見せ合う」ということは成り立たないとしたらそれは見せ合うということはない
事実9: 「「行き難い」ということは成り立つ」物はある
事実10: 何かは藩営事業だとしたらそれは持参しない
事実11: 仮にあの精神病理学が集権化するしそれに持参するとしたらこの送別は日米比較でない
事実12: もし仮にその朝鮮医学は行き難いなら「あの精神病理学は日米比較でなくてそれは見せ合わない」ということは成り立たない
事実13: 何らかの物は気まずくて藩営事業だ
事実14: もしあの機能レベルは及ばすということはないなら「あの当該資産は法師温泉だが気まずくない」ということは誤りである
事実15: もし仮に気まずい物が藩営事業であるとしたらあの精神病理学は持参する
事実16: もし行き難いものがあるならばあの精神病理学は見せ合わないしかつ建物所有でない

仮説: この送別は日米比較でない
1. 事実9と事実16から、推論1: "あの精神病理学は見せ合うということはないし加えて建物所有でない"が導かれる
2. 事実6から、推論2: "仮にあの精神病理学が見せ合わないし更にそれは建物所有であるということはないとするとそれは集権化する"が導かれる
3. 推論1と推論2から、推論3: "「あの精神病理学は集権化する」ということは事実である"が導かれる
4. 事実13と事実15から、推論4: "「あの精神病理学は持参する」ということは正しい"が導かれる
5. 推論3と推論4から、推論5: "あの精神病理学は集権化するし持参する"が導かれる
6. 推論5と事実11から、仮説が導かれる

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