あの牆壁瓦礫は鈍い
fact1: この彼岸花は纏まり易い fact2: もしも何らかのものが有力視するとすると鈍い fact3: もしもその蔣介石政府が有力視するとしたらあの牆壁瓦礫は生き為さる fact4: その蔣介石政府は有力視する fact5: 仮にとあるものが生き為さるしさらに与え易いなら「それは鈍いということはない」ということは成り立つ fact6: もしもこの彼岸花が纏まり易いならあの牆壁瓦礫は与え易い
fact3 & fact4 -> int1: あの牆壁瓦礫は生き為さる; fact6 & fact1 -> int2: あの牆壁瓦礫は与え易い; int1 & int2 -> int3: 「あの牆壁瓦礫は生き為さるしそれに与え易い」ということは成り立つ; fact5 -> int4: もし仮にあの牆壁瓦礫は生き為さるしさらに与え易いとすると「鈍いということはない」ということは成り立つ; int3 & int4 -> hypothesis;
「あの牆壁瓦礫は鈍い」ということは成り立つ
fact7 -> int5: もし仮にあの牆壁瓦礫が有力視すれば鈍い;
$facts$ = fact1: この彼岸花は纏まり易い fact2: もしも何らかのものが有力視するとすると鈍い fact3: もしもその蔣介石政府が有力視するとしたらあの牆壁瓦礫は生き為さる fact4: その蔣介石政府は有力視する fact5: 仮にとあるものが生き為さるしさらに与え易いなら「それは鈍いということはない」ということは成り立つ fact6: もしもこの彼岸花が纏まり易いならあの牆壁瓦礫は与え易い ; $hypothesis$ = あの牆壁瓦礫は鈍い ; $proof$ = 
fact3 & fact4 -> int1: あの牆壁瓦礫は生き為さる; fact6 & fact1 -> int2: あの牆壁瓦礫は与え易い; int1 & int2 -> int3: 「あの牆壁瓦礫は生き為さるしそれに与え易い」ということは成り立つ; fact5 -> int4: もし仮にあの牆壁瓦礫は生き為さるしさらに与え易いとすると「鈍いということはない」ということは成り立つ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: この彼岸花は纏まり易い
事実2: もしも何らかのものが有力視するとすると鈍い
事実3: もしもその蔣介石政府が有力視するとしたらあの牆壁瓦礫は生き為さる
事実4: その蔣介石政府は有力視する
事実5: 仮にとあるものが生き為さるしさらに与え易いなら「それは鈍いということはない」ということは成り立つ
事実6: もしもこの彼岸花が纏まり易いならあの牆壁瓦礫は与え易い

仮説: あの牆壁瓦礫は鈍い
1. 事実3と事実4から、推論1: "あの牆壁瓦礫は生き為さる"が導かれる
2. 事実6と事実1から、推論2: "あの牆壁瓦礫は与え易い"が導かれる
3. 推論1と推論2から、推論3: "「あの牆壁瓦礫は生き為さるしそれに与え易い」ということは成り立つ"が導かれる
4. 事実5から、推論4: "もし仮にあの牆壁瓦礫は生き為さるしさらに与え易いとすると「鈍いということはない」ということは成り立つ"が導かれる
5. 推論3と推論4から、仮説が否定される

よって、仮説が否定されました。