「この再審事由は上り始めるけどそれは相談し易くない」ということは本当だということはない
fact1: あの雨雲は行軍しないかまたは骨髄移植であるということはないかまたは両方ともである fact2: 「あの雨雲は骨髄移植でないけどそれは相談し易い」ということは確かでない fact3: あの雨雲は右手方だ fact4: 「あのサイフォンは荒げるないし加えて取り難くない」ということは成り立つということはない fact5: もし仮に「あのサイフォンは荒げるないしそれに取り難くない」ということは事実と異なるとしたらあの雨雲はどぎつい fact6: 「この修道院は荒げる」ということは真実だ fact7: もし仮に「あのサイフォンは実体験しないし取り難くない」ということは成り立たないならその出産前は相談し易い fact8: もしも「あの雨雲は骨髄移植であるということはないが相談し易い」ということは間違いであるとするとあのサイフォンは相談し易いということはない fact9: あのサイフォンが右手方でないとしたらこの再審事由は実体験するしまたどぎつい fact10: あの雷門は荒げるししかも録音出来る fact11: 仮にあのサイフォンは荒げるとすると「あの雨雲はどぎつい」ということは成り立つ fact12: もし「相談し易くない」物があるとすればその出産前は水野家でおまけに右手方である fact13: 仮にその出産前は相談し易くないならば「この再審事由は上り始めるがしかし相談し易くない」ということは誤っている fact14: あの雨雲は行軍するかまたは骨髄移植でないかあるいは両方ともだ fact15: この理工学部は陥落する fact16: その出産前は行軍する fact17: 「この理工学部は近似するけれど上り始めない」ということは間違いだ fact18: もし仮にどぎついものが実体験するとすればこの理工学部は右手方である fact19: 仮に「その出産前は見せては成らない」ということは成り立つならそれは実体験するし近似する fact20: 仮に「この理工学部は近似するししかも右手方である」ということは正しいならばあの雷門は見せては成らない fact21: もしあの雨雲が行軍しないかもしくはそれは骨髄移植でないとしたらそれは実体験する fact22: この再審事由は実体験しない fact23: すべては近似するしそれに陥落する fact24: もしもあの雷門が見せては成らないとするとその出産前は相談し易くない fact25: もし「その出産前は行軍する」ということは真実であるとすればそれは見せては成らないし更にそれは上り始めない
fact5 & fact4 -> int1: あの雨雲はどぎつい; fact1 & fact21 -> int2: あの雨雲は実体験する; int1 & int2 -> int3: あの雨雲はどぎつくてかつ実体験する; int3 -> int4: 「どぎつくてかつ実体験する」物はある; int4 & fact18 -> int5: この理工学部は右手方だ; fact23 -> int6: この理工学部は近似するし陥落する; int6 -> int7: この理工学部は近似する; int5 & int7 -> int8: この理工学部は近似するし右手方だ; int8 & fact20 -> int9: あの雷門は見せては成るということはない; int9 & fact24 -> int10: その出産前は相談し易くない; int10 & fact13 -> hypothesis;
その出産前は水野家であるしどぎつい
fact26 & fact28 -> int11: あのサイフォンは相談し易くない; int11 -> int12: 何らかのものは相談し易くない; int12 & fact31 -> int13: 「その出産前は水野家だしさらに右手方だ」ということは確かである; int13 -> int14: その出産前は水野家である; fact29 & fact30 -> int15: その出産前は見せては成らなくてそれに上り始めない; int15 -> int16: その出産前は見せては成らない; fact27 & int16 -> int17: その出産前は実体験するしおまけに近似する; int17 -> int18: 「その出産前は実体験する」ということは成り立つ;
$facts$ = fact1: あの雨雲は行軍しないかまたは骨髄移植であるということはないかまたは両方ともである fact2: 「あの雨雲は骨髄移植でないけどそれは相談し易い」ということは確かでない fact3: あの雨雲は右手方だ fact4: 「あのサイフォンは荒げるないし加えて取り難くない」ということは成り立つということはない fact5: もし仮に「あのサイフォンは荒げるないしそれに取り難くない」ということは事実と異なるとしたらあの雨雲はどぎつい fact6: 「この修道院は荒げる」ということは真実だ fact7: もし仮に「あのサイフォンは実体験しないし取り難くない」ということは成り立たないならその出産前は相談し易い fact8: もしも「あの雨雲は骨髄移植であるということはないが相談し易い」ということは間違いであるとするとあのサイフォンは相談し易いということはない fact9: あのサイフォンが右手方でないとしたらこの再審事由は実体験するしまたどぎつい fact10: あの雷門は荒げるししかも録音出来る fact11: 仮にあのサイフォンは荒げるとすると「あの雨雲はどぎつい」ということは成り立つ fact12: もし「相談し易くない」物があるとすればその出産前は水野家でおまけに右手方である fact13: 仮にその出産前は相談し易くないならば「この再審事由は上り始めるがしかし相談し易くない」ということは誤っている fact14: あの雨雲は行軍するかまたは骨髄移植でないかあるいは両方ともだ fact15: この理工学部は陥落する fact16: その出産前は行軍する fact17: 「この理工学部は近似するけれど上り始めない」ということは間違いだ fact18: もし仮にどぎついものが実体験するとすればこの理工学部は右手方である fact19: 仮に「その出産前は見せては成らない」ということは成り立つならそれは実体験するし近似する fact20: 仮に「この理工学部は近似するししかも右手方である」ということは正しいならばあの雷門は見せては成らない fact21: もしあの雨雲が行軍しないかもしくはそれは骨髄移植でないとしたらそれは実体験する fact22: この再審事由は実体験しない fact23: すべては近似するしそれに陥落する fact24: もしもあの雷門が見せては成らないとするとその出産前は相談し易くない fact25: もし「その出産前は行軍する」ということは真実であるとすればそれは見せては成らないし更にそれは上り始めない ; $hypothesis$ = 「この再審事由は上り始めるけどそれは相談し易くない」ということは本当だということはない ; $proof$ = 
fact5 & fact4 -> int1: あの雨雲はどぎつい; fact1 & fact21 -> int2: あの雨雲は実体験する; int1 & int2 -> int3: あの雨雲はどぎつくてかつ実体験する; int3 -> int4: 「どぎつくてかつ実体験する」物はある; int4 & fact18 -> int5: この理工学部は右手方だ; fact23 -> int6: この理工学部は近似するし陥落する; int6 -> int7: この理工学部は近似する; int5 & int7 -> int8: この理工学部は近似するし右手方だ; int8 & fact20 -> int9: あの雷門は見せては成るということはない; int9 & fact24 -> int10: その出産前は相談し易くない; int10 & fact13 -> hypothesis; __PROVED__
事実1: あの雨雲は行軍しないかまたは骨髄移植であるということはないかまたは両方ともである
事実2: 「あの雨雲は骨髄移植でないけどそれは相談し易い」ということは確かでない
事実3: あの雨雲は右手方だ
事実4: 「あのサイフォンは荒げるないし加えて取り難くない」ということは成り立つということはない
事実5: もし仮に「あのサイフォンは荒げるないしそれに取り難くない」ということは事実と異なるとしたらあの雨雲はどぎつい
事実6: 「この修道院は荒げる」ということは真実だ
事実7: もし仮に「あのサイフォンは実体験しないし取り難くない」ということは成り立たないならその出産前は相談し易い
事実8: もしも「あの雨雲は骨髄移植であるということはないが相談し易い」ということは間違いであるとするとあのサイフォンは相談し易いということはない
事実9: あのサイフォンが右手方でないとしたらこの再審事由は実体験するしまたどぎつい
事実10: あの雷門は荒げるししかも録音出来る
事実11: 仮にあのサイフォンは荒げるとすると「あの雨雲はどぎつい」ということは成り立つ
事実12: もし「相談し易くない」物があるとすればその出産前は水野家でおまけに右手方である
事実13: 仮にその出産前は相談し易くないならば「この再審事由は上り始めるがしかし相談し易くない」ということは誤っている
事実14: あの雨雲は行軍するかまたは骨髄移植でないかあるいは両方ともだ
事実15: この理工学部は陥落する
事実16: その出産前は行軍する
事実17: 「この理工学部は近似するけれど上り始めない」ということは間違いだ
事実18: もし仮にどぎついものが実体験するとすればこの理工学部は右手方である
事実19: 仮に「その出産前は見せては成らない」ということは成り立つならそれは実体験するし近似する
事実20: 仮に「この理工学部は近似するししかも右手方である」ということは正しいならばあの雷門は見せては成らない
事実21: もしあの雨雲が行軍しないかもしくはそれは骨髄移植でないとしたらそれは実体験する
事実22: この再審事由は実体験しない
事実23: すべては近似するしそれに陥落する
事実24: もしもあの雷門が見せては成らないとするとその出産前は相談し易くない
事実25: もし「その出産前は行軍する」ということは真実であるとすればそれは見せては成らないし更にそれは上り始めない

仮説: 「この再審事由は上り始めるけどそれは相談し易くない」ということは本当だということはない
1. 事実5と事実4から、推論1: "あの雨雲はどぎつい"が導かれる
2. 事実1と事実21から、推論2: "あの雨雲は実体験する"が導かれる
3. 推論1と推論2から、推論3: "あの雨雲はどぎつくてかつ実体験する"が導かれる
4. 推論3から、推論4: "「どぎつくてかつ実体験する」物はある"が導かれる
5. 推論4と事実18から、推論5: "この理工学部は右手方だ"が導かれる
6. 事実23から、推論6: "この理工学部は近似するし陥落する"が導かれる
7. 推論6から、推論7: "この理工学部は近似する"が導かれる
8. 推論5と推論7から、推論8: "この理工学部は近似するし右手方だ"が導かれる
9. 推論8と事実20から、推論9: "あの雷門は見せては成るということはない"が導かれる
10. 推論9と事実24から、推論10: "その出産前は相談し易くない"が導かれる
11. 推論10と事実13から、仮説が導かれる

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