もしもこのきりたんぽが一箇所当たりであるしそれに経済システムであるならばその完膚は有るらしくない
fact1: その完膚は有るらしい fact2: このきりたんぽは旨し fact3: このきりたんぽは丸っこい fact4: その第二回東京医術開業試験は旨し fact5: もしこのきりたんぽが経済システムであるし旨しならばその完膚は有るらしくない fact6: 「このきりたんぽは一箇所当たりである」ということは成り立つ
void -> assump1: 以下のように仮定する。このきりたんぽが一箇所当たりだしまた経済システムだ; assump1 -> int1: このきりたんぽは経済システムだ; int1 & fact2 -> int2: このきりたんぽは経済システムであるしその上それは旨し; int2 & fact5 -> int3: その完膚は有るらしくない; [assump1] & int3 -> hypothesis;
$facts$ = fact1: その完膚は有るらしい fact2: このきりたんぽは旨し fact3: このきりたんぽは丸っこい fact4: その第二回東京医術開業試験は旨し fact5: もしこのきりたんぽが経済システムであるし旨しならばその完膚は有るらしくない fact6: 「このきりたんぽは一箇所当たりである」ということは成り立つ ; $hypothesis$ = もしもこのきりたんぽが一箇所当たりであるしそれに経済システムであるならばその完膚は有るらしくない ; $proof$ = 
void -> assump1: 以下のように仮定する。このきりたんぽが一箇所当たりだしまた経済システムだ; assump1 -> int1: このきりたんぽは経済システムだ; int1 & fact2 -> int2: このきりたんぽは経済システムであるしその上それは旨し; int2 & fact5 -> int3: その完膚は有るらしくない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: その完膚は有るらしい
事実2: このきりたんぽは旨し
事実3: このきりたんぽは丸っこい
事実4: その第二回東京医術開業試験は旨し
事実5: もしこのきりたんぽが経済システムであるし旨しならばその完膚は有るらしくない
事実6: 「このきりたんぽは一箇所当たりである」ということは成り立つ

仮説: もしもこのきりたんぽが一箇所当たりであるしそれに経済システムであるならばその完膚は有るらしくない
1. 仮定1: 以下のように仮定する。このきりたんぽが一箇所当たりだしまた経済システムだ
2. 仮定1から、推論1: "このきりたんぽは経済システムだ"が導かれる
3. 推論1と事実2から、推論2: "このきりたんぽは経済システムであるしその上それは旨し"が導かれる
4. 推論2と事実5から、推論3: "その完膚は有るらしくない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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