もし仮にこのシーズが性格構造ならその頼みは窺う
fact1: その頼みは緩急でない fact2: このシーズが空腹シグナルだし更に性格構造である fact3: 仮にこのシーズが伝存するしかつ性格構造であるとすればあの頼みは空腹シグナルでない fact4: この労働運動家達が韓国宮廷料理だしさらにそれは脊髄視床路である fact5: このシーズは気まずい fact6: もし「その頼みは性格構造だ」ということは正しいとしたらこのシーズは空腹シグナルである fact7: その頼みは性格構造である fact8: もし仮になにがしかの物は空腹シグナルでないとするとそれは窺う fact9: このシーズは俯けるし更に完遂出来る fact10: このシーズは気まずいしそれに伝存する fact11: その頼みは気まずい fact12: もし仮にあるものが空腹シグナルだということはないなら気まずい fact13: その頼みは伝存する fact14: 仮にその頼みが気まずいし加えてそれは性格構造だとすれば「このシーズは窺わない」ということは成り立つ fact15: あの教体は空腹シグナルである
fact10 -> int1: このシーズは伝存する; void -> assump1: 以下のように仮定する。このシーズは性格構造である; int1 & assump1 -> int2: このシーズは伝存するしその上性格構造だ; int2 & fact3 -> int3: 「その頼みは空腹シグナルでない」ということは成り立つ; fact8 -> int4: もしもその頼みが空腹シグナルだということはないなら窺う; int3 & int4 -> int5: その頼みは窺う; [assump1] & int5 -> hypothesis;
$facts$ = fact1: その頼みは緩急でない fact2: このシーズが空腹シグナルだし更に性格構造である fact3: 仮にこのシーズが伝存するしかつ性格構造であるとすればあの頼みは空腹シグナルでない fact4: この労働運動家達が韓国宮廷料理だしさらにそれは脊髄視床路である fact5: このシーズは気まずい fact6: もし「その頼みは性格構造だ」ということは正しいとしたらこのシーズは空腹シグナルである fact7: その頼みは性格構造である fact8: もし仮になにがしかの物は空腹シグナルでないとするとそれは窺う fact9: このシーズは俯けるし更に完遂出来る fact10: このシーズは気まずいしそれに伝存する fact11: その頼みは気まずい fact12: もし仮にあるものが空腹シグナルだということはないなら気まずい fact13: その頼みは伝存する fact14: 仮にその頼みが気まずいし加えてそれは性格構造だとすれば「このシーズは窺わない」ということは成り立つ fact15: あの教体は空腹シグナルである ; $hypothesis$ = もし仮にこのシーズが性格構造ならその頼みは窺う ; $proof$ = 
fact10 -> int1: このシーズは伝存する; void -> assump1: 以下のように仮定する。このシーズは性格構造である; int1 & assump1 -> int2: このシーズは伝存するしその上性格構造だ; int2 & fact3 -> int3: 「その頼みは空腹シグナルでない」ということは成り立つ; fact8 -> int4: もしもその頼みが空腹シグナルだということはないなら窺う; int3 & int4 -> int5: その頼みは窺う; [assump1] & int5 -> hypothesis; __PROVED__
事実1: その頼みは緩急でない
事実2: このシーズが空腹シグナルだし更に性格構造である
事実3: 仮にこのシーズが伝存するしかつ性格構造であるとすればあの頼みは空腹シグナルでない
事実4: この労働運動家達が韓国宮廷料理だしさらにそれは脊髄視床路である
事実5: このシーズは気まずい
事実6: もし「その頼みは性格構造だ」ということは正しいとしたらこのシーズは空腹シグナルである
事実7: その頼みは性格構造である
事実8: もし仮になにがしかの物は空腹シグナルでないとするとそれは窺う
事実9: このシーズは俯けるし更に完遂出来る
事実10: このシーズは気まずいしそれに伝存する
事実11: その頼みは気まずい
事実12: もし仮にあるものが空腹シグナルだということはないなら気まずい
事実13: その頼みは伝存する
事実14: 仮にその頼みが気まずいし加えてそれは性格構造だとすれば「このシーズは窺わない」ということは成り立つ
事実15: あの教体は空腹シグナルである

仮説: もし仮にこのシーズが性格構造ならその頼みは窺う
1. 事実10から、推論1: "このシーズは伝存する"が導かれる
2. 仮定1: 以下のように仮定する。このシーズは性格構造である
3. 推論1と仮定1から、推論2: "このシーズは伝存するしその上性格構造だ"が導かれる
4. 推論2と事実3から、推論3: "「その頼みは空腹シグナルでない」ということは成り立つ"が導かれる
5. 事実8から、推論4: "もしもその頼みが空腹シグナルだということはないなら窺う"が導かれる
6. 推論3と推論4から、推論5: "その頼みは窺う"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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