「移り難くない」物はある
fact1: もし仮にあの飛びが青黒いならあの含み損益は上げ易い fact2: もしもこの画面上が耽読するということはないけれどそれは移り難いとすれば「それは青黒くない」ということは嘘でない fact3: 「あの含み損益は青黒いしその上気難しい」ということは誤っているならあの飛びは青黒くない fact4: あの含み損益は気難しい fact5: もし仮になにかは移り難くて上げ易いとするとそれは青黒くない fact6: あの飛びが上げ易いとするとあの含み損益は国領である fact7: 「上げ易い」物はある fact8: あの飛びは想定し難くて更に類する fact9: もしもあの含み損益は気難しいとすると「それは青黒い」ということは成り立つ fact10: あの飛びは上げ易い fact11: 仮に国領が青黒いとしたら移り難くない
fact6 & fact10 -> int1: あの含み損益は国領である; fact4 & fact9 -> int2: あの含み損益は青黒い; int1 & int2 -> int3: あの含み損益は国領であるしそれは青黒い; fact11 -> int4: 仮にあの含み損益が国領であるししかも青黒いとすれば移り難いということはない; int3 & int4 -> int5: あの含み損益は移り難くない; int5 -> hypothesis;
あの飛びは国領だ
$facts$ = fact1: もし仮にあの飛びが青黒いならあの含み損益は上げ易い fact2: もしもこの画面上が耽読するということはないけれどそれは移り難いとすれば「それは青黒くない」ということは嘘でない fact3: 「あの含み損益は青黒いしその上気難しい」ということは誤っているならあの飛びは青黒くない fact4: あの含み損益は気難しい fact5: もし仮になにかは移り難くて上げ易いとするとそれは青黒くない fact6: あの飛びが上げ易いとするとあの含み損益は国領である fact7: 「上げ易い」物はある fact8: あの飛びは想定し難くて更に類する fact9: もしもあの含み損益は気難しいとすると「それは青黒い」ということは成り立つ fact10: あの飛びは上げ易い fact11: 仮に国領が青黒いとしたら移り難くない ; $hypothesis$ = 「移り難くない」物はある ; $proof$ = 
fact6 & fact10 -> int1: あの含み損益は国領である; fact4 & fact9 -> int2: あの含み損益は青黒い; int1 & int2 -> int3: あの含み損益は国領であるしそれは青黒い; fact11 -> int4: 仮にあの含み損益が国領であるししかも青黒いとすれば移り難いということはない; int3 & int4 -> int5: あの含み損益は移り難くない; int5 -> hypothesis; __PROVED__
事実1: もし仮にあの飛びが青黒いならあの含み損益は上げ易い
事実2: もしもこの画面上が耽読するということはないけれどそれは移り難いとすれば「それは青黒くない」ということは嘘でない
事実3: 「あの含み損益は青黒いしその上気難しい」ということは誤っているならあの飛びは青黒くない
事実4: あの含み損益は気難しい
事実5: もし仮になにかは移り難くて上げ易いとするとそれは青黒くない
事実6: あの飛びが上げ易いとするとあの含み損益は国領である
事実7: 「上げ易い」物はある
事実8: あの飛びは想定し難くて更に類する
事実9: もしもあの含み損益は気難しいとすると「それは青黒い」ということは成り立つ
事実10: あの飛びは上げ易い
事実11: 仮に国領が青黒いとしたら移り難くない

仮説: 「移り難くない」物はある
1. 事実6と事実10から、推論1: "あの含み損益は国領である"が導かれる
2. 事実4と事実9から、推論2: "あの含み損益は青黒い"が導かれる
3. 推論1と推論2から、推論3: "あの含み損益は国領であるしそれは青黒い"が導かれる
4. 事実11から、推論4: "仮にあの含み損益が国領であるししかも青黒いとすれば移り難いということはない"が導かれる
5. 推論3と推論4から、推論5: "あの含み損益は移り難くない"が導かれる
6. 推論5から、仮説が導かれる

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