仮にそのＦＥ‐Ｃが想像し易いならあの指名は御使い下さる
fact1: もしもそのＦＥ‐Ｃが想像し易いとすると見られ易い fact2: もしこの四等分が想像し易いならばあのＦＥ‐Ｃは気付き難い fact3: もしもそのＦＥ‐Ｃが気付き難いとすればこの四等分は想像し易い fact4: 「そのＦＥ‐Ｃは見られ易い」ということは成り立つとすればこの四等分は気付き難い fact5: 何らかの物は想像し易い一方で御使い下さらない fact6: もしも「「この四等分は華々しいがデータベース化しない」ということは成り立たない」ということは正しいならそれは華々しくない fact7: 気付き難い物はある fact8: もしそのＦＥ‐Ｃは華々しいとすると「想像し易い」ということは成り立つ fact9: 気付き難い物が華々しくないとすればあの指名は御使い下さる fact10: なにかは気付き難くてそれに華々しい fact11: 「御使い下さるしその上気付き難くない」ものはあるとすると「この四等分は華々しい」ということは真実である fact12: 「この四等分は華々しいけどデータベース化しない」ということは間違っている fact13: なにかは華々しくない fact14: あの指名は見られ易い
void -> assump1: 以下のように仮定する。「そのＦＥ‐Ｃは想像し易い」ということは真実である; fact1 & assump1 -> int1: そのＦＥ‐Ｃは見られ易い; int1 & fact4 -> int2: この四等分は気付き難い; fact6 & fact12 -> int3: 「この四等分は華々しくない」ということは成り立つ; int2 & int3 -> int4: この四等分は気付き難いけれどそれは華々しくない; int4 -> int5: なにかは気付き難いがしかし華々しくない; int5 & fact9 -> int6: あの指名は御使い下さる; [assump1] & int6 -> hypothesis;
$facts$ = fact1: もしもそのＦＥ‐Ｃが想像し易いとすると見られ易い fact2: もしこの四等分が想像し易いならばあのＦＥ‐Ｃは気付き難い fact3: もしもそのＦＥ‐Ｃが気付き難いとすればこの四等分は想像し易い fact4: 「そのＦＥ‐Ｃは見られ易い」ということは成り立つとすればこの四等分は気付き難い fact5: 何らかの物は想像し易い一方で御使い下さらない fact6: もしも「「この四等分は華々しいがデータベース化しない」ということは成り立たない」ということは正しいならそれは華々しくない fact7: 気付き難い物はある fact8: もしそのＦＥ‐Ｃは華々しいとすると「想像し易い」ということは成り立つ fact9: 気付き難い物が華々しくないとすればあの指名は御使い下さる fact10: なにかは気付き難くてそれに華々しい fact11: 「御使い下さるしその上気付き難くない」ものはあるとすると「この四等分は華々しい」ということは真実である fact12: 「この四等分は華々しいけどデータベース化しない」ということは間違っている fact13: なにかは華々しくない fact14: あの指名は見られ易い ; $hypothesis$ = 仮にそのＦＥ‐Ｃが想像し易いならあの指名は御使い下さる ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのＦＥ‐Ｃは想像し易い」ということは真実である; fact1 & assump1 -> int1: そのＦＥ‐Ｃは見られ易い; int1 & fact4 -> int2: この四等分は気付き難い; fact6 & fact12 -> int3: 「この四等分は華々しくない」ということは成り立つ; int2 & int3 -> int4: この四等分は気付き難いけれどそれは華々しくない; int4 -> int5: なにかは気付き難いがしかし華々しくない; int5 & fact9 -> int6: あの指名は御使い下さる; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もしもそのＦＥ‐Ｃが想像し易いとすると見られ易い
事実2: もしこの四等分が想像し易いならばあのＦＥ‐Ｃは気付き難い
事実3: もしもそのＦＥ‐Ｃが気付き難いとすればこの四等分は想像し易い
事実4: 「そのＦＥ‐Ｃは見られ易い」ということは成り立つとすればこの四等分は気付き難い
事実5: 何らかの物は想像し易い一方で御使い下さらない
事実6: もしも「「この四等分は華々しいがデータベース化しない」ということは成り立たない」ということは正しいならそれは華々しくない
事実7: 気付き難い物はある
事実8: もしそのＦＥ‐Ｃは華々しいとすると「想像し易い」ということは成り立つ
事実9: 気付き難い物が華々しくないとすればあの指名は御使い下さる
事実10: なにかは気付き難くてそれに華々しい
事実11: 「御使い下さるしその上気付き難くない」ものはあるとすると「この四等分は華々しい」ということは真実である
事実12: 「この四等分は華々しいけどデータベース化しない」ということは間違っている
事実13: なにかは華々しくない
事実14: あの指名は見られ易い

仮説: 仮にそのＦＥ‐Ｃが想像し易いならあの指名は御使い下さる
1. 仮定1: 以下のように仮定する。「そのＦＥ‐Ｃは想像し易い」ということは真実である
2. 事実1と仮定1から、推論1: "そのＦＥ‐Ｃは見られ易い"が導かれる
3. 推論1と事実4から、推論2: "この四等分は気付き難い"が導かれる
4. 事実6と事実12から、推論3: "「この四等分は華々しくない」ということは成り立つ"が導かれる
5. 推論2と推論3から、推論4: "この四等分は気付き難いけれどそれは華々しくない"が導かれる
6. 推論4から、推論5: "なにかは気付き難いがしかし華々しくない"が導かれる
7. 推論5と事実9から、推論6: "あの指名は御使い下さる"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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