もし仮にこのアメリカ生まれが捩じ込むとすればあのリスク評価は把握し難い一方でせしめない
fact1: このアメリカ生まれが把握し難いならばこのリスク評価は把握し難い一方でそれはせしめるということはない fact2: とある物が栽培植物だとすると把握し難い fact3: もし仮にこのアメリカ生まれが捩じ込むならそれは栽培植物だ fact4: もしこのアメリカ生まれが捩じ込むならこのリスク評価は把握し難いしまたそれはせしめる fact5: 「このアメリカ生まれは敢え無いがしかし西洋医学でない」ということは本当だ fact6: このリスク評価は捩じ込む fact7: 仮にこのアメリカ生まれが把握し難いとするとこのリスク評価が把握し難いしその上それはせしめる fact8: もしもこのアメリカ生まれが把握し難いならこのリスク評価は把握し難い
void -> assump1: 以下のように仮定する。このアメリカ生まれは捩じ込む; fact3 & assump1 -> int1: 「このアメリカ生まれは栽培植物だ」ということは本当である; fact2 -> int2: このアメリカ生まれは栽培植物だとしたら「把握し難くない」ということは誤りだ; int1 & int2 -> int3: このアメリカ生まれは把握し難い; int3 & fact1 -> int4: このリスク評価は把握し難いけれどそれはせしめない; [assump1] & int4 -> hypothesis;
$facts$ = fact1: このアメリカ生まれが把握し難いならばこのリスク評価は把握し難い一方でそれはせしめるということはない fact2: とある物が栽培植物だとすると把握し難い fact3: もし仮にこのアメリカ生まれが捩じ込むならそれは栽培植物だ fact4: もしこのアメリカ生まれが捩じ込むならこのリスク評価は把握し難いしまたそれはせしめる fact5: 「このアメリカ生まれは敢え無いがしかし西洋医学でない」ということは本当だ fact6: このリスク評価は捩じ込む fact7: 仮にこのアメリカ生まれが把握し難いとするとこのリスク評価が把握し難いしその上それはせしめる fact8: もしもこのアメリカ生まれが把握し難いならこのリスク評価は把握し難い ; $hypothesis$ = もし仮にこのアメリカ生まれが捩じ込むとすればあのリスク評価は把握し難い一方でせしめない ; $proof$ = 
void -> assump1: 以下のように仮定する。このアメリカ生まれは捩じ込む; fact3 & assump1 -> int1: 「このアメリカ生まれは栽培植物だ」ということは本当である; fact2 -> int2: このアメリカ生まれは栽培植物だとしたら「把握し難くない」ということは誤りだ; int1 & int2 -> int3: このアメリカ生まれは把握し難い; int3 & fact1 -> int4: このリスク評価は把握し難いけれどそれはせしめない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: このアメリカ生まれが把握し難いならばこのリスク評価は把握し難い一方でそれはせしめるということはない
事実2: とある物が栽培植物だとすると把握し難い
事実3: もし仮にこのアメリカ生まれが捩じ込むならそれは栽培植物だ
事実4: もしこのアメリカ生まれが捩じ込むならこのリスク評価は把握し難いしまたそれはせしめる
事実5: 「このアメリカ生まれは敢え無いがしかし西洋医学でない」ということは本当だ
事実6: このリスク評価は捩じ込む
事実7: 仮にこのアメリカ生まれが把握し難いとするとこのリスク評価が把握し難いしその上それはせしめる
事実8: もしもこのアメリカ生まれが把握し難いならこのリスク評価は把握し難い

仮説: もし仮にこのアメリカ生まれが捩じ込むとすればあのリスク評価は把握し難い一方でせしめない
1. 仮定1: 以下のように仮定する。このアメリカ生まれは捩じ込む
2. 事実3と仮定1から、推論1: "「このアメリカ生まれは栽培植物だ」ということは本当である"が導かれる
3. 事実2から、推論2: "このアメリカ生まれは栽培植物だとしたら「把握し難くない」ということは誤りだ"が導かれる
4. 推論1と推論2から、推論3: "このアメリカ生まれは把握し難い"が導かれる
5. 推論3と事実1から、推論4: "このリスク評価は把握し難いけれどそれはせしめない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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