もしもあのＧＡＬＳが渋いとすればこのＸＦＹ‐一型試作は断り難い
fact1: もしあのＧＡＬＳがどでかくないし溶け掛けないならその弾性力学は馴れ馴れしくない fact2: もし仮にその弾性力学が馴れ馴れしいということはないとしたらこのＸＦＹ‐一型試作は断り難い fact3: 「渋い物はどでかくないしまた溶け掛けない」ということは真実である fact4: あのＧＡＬＳがどでかいということはないけど溶け掛けるとしたらその弾性力学は馴れ馴れしくない
fact3 -> int1: 仮に「あのＧＡＬＳは渋い」ということは成り立つとしたらそれはどでかいということはないしかつそれは溶け掛けない; void -> assump1: 以下のように仮定する。あのＧＡＬＳは渋い; int1 & assump1 -> int2: あのＧＡＬＳはどでかくないしその上溶け掛けない; int2 & fact1 -> int3: その弾性力学は馴れ馴れしくない; int3 & fact2 -> int4: このＸＦＹ‐一型試作は断り難い; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もしあのＧＡＬＳがどでかくないし溶け掛けないならその弾性力学は馴れ馴れしくない fact2: もし仮にその弾性力学が馴れ馴れしいということはないとしたらこのＸＦＹ‐一型試作は断り難い fact3: 「渋い物はどでかくないしまた溶け掛けない」ということは真実である fact4: あのＧＡＬＳがどでかいということはないけど溶け掛けるとしたらその弾性力学は馴れ馴れしくない ; $hypothesis$ = もしもあのＧＡＬＳが渋いとすればこのＸＦＹ‐一型試作は断り難い ; $proof$ = 
fact3 -> int1: 仮に「あのＧＡＬＳは渋い」ということは成り立つとしたらそれはどでかいということはないしかつそれは溶け掛けない; void -> assump1: 以下のように仮定する。あのＧＡＬＳは渋い; int1 & assump1 -> int2: あのＧＡＬＳはどでかくないしその上溶け掛けない; int2 & fact1 -> int3: その弾性力学は馴れ馴れしくない; int3 & fact2 -> int4: このＸＦＹ‐一型試作は断り難い; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もしあのＧＡＬＳがどでかくないし溶け掛けないならその弾性力学は馴れ馴れしくない
事実2: もし仮にその弾性力学が馴れ馴れしいということはないとしたらこのＸＦＹ‐一型試作は断り難い
事実3: 「渋い物はどでかくないしまた溶け掛けない」ということは真実である
事実4: あのＧＡＬＳがどでかいということはないけど溶け掛けるとしたらその弾性力学は馴れ馴れしくない

仮説: もしもあのＧＡＬＳが渋いとすればこのＸＦＹ‐一型試作は断り難い
1. 事実3から、推論1: "仮に「あのＧＡＬＳは渋い」ということは成り立つとしたらそれはどでかいということはないしかつそれは溶け掛けない"が導かれる
2. 仮定1: 以下のように仮定する。あのＧＡＬＳは渋い
3. 推論1と仮定1から、推論2: "あのＧＡＬＳはどでかくないしその上溶け掛けない"が導かれる
4. 推論2と事実1から、推論3: "その弾性力学は馴れ馴れしくない"が導かれる
5. 推論3と事実2から、推論4: "このＸＦＹ‐一型試作は断り難い"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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