あのルイ・ナポレオンは打ち消す
fact1: 仮にあのエンコード処理がミセルであるとすればあのルイ・ナポレオンは打ち消す fact2: 仮にあのエンコード処理が吸収され易いならミセルだ fact3: あのエンコード処理は吸収され易い fact4: 「全ては二回目以降でない」ということは真実だ fact5: あのエンコード処理が打ち消さないならこの三Ｆは吸収され易くておまけにミセルである
fact2 & fact3 -> int1: あのエンコード処理はミセルだ; int1 & fact1 -> hypothesis;
fact2 & fact3 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
この三Ｆは吸収され易い
$facts$ = fact1: 仮にあのエンコード処理がミセルであるとすればあのルイ・ナポレオンは打ち消す fact2: 仮にあのエンコード処理が吸収され易いならミセルだ fact3: あのエンコード処理は吸収され易い fact4: 「全ては二回目以降でない」ということは真実だ fact5: あのエンコード処理が打ち消さないならこの三Ｆは吸収され易くておまけにミセルである ; $hypothesis$ = あのルイ・ナポレオンは打ち消す ; $proof$ = 
fact2 & fact3 -> int1: あのエンコード処理はミセルだ; int1 & fact1 -> hypothesis; __PROVED__
事実1: 仮にあのエンコード処理がミセルであるとすればあのルイ・ナポレオンは打ち消す
事実2: 仮にあのエンコード処理が吸収され易いならミセルだ
事実3: あのエンコード処理は吸収され易い
事実4: 「全ては二回目以降でない」ということは真実だ
事実5: あのエンコード処理が打ち消さないならこの三Ｆは吸収され易くておまけにミセルである

仮説: あのルイ・ナポレオンは打ち消す
1. 事実2と事実3から、推論1: "あのエンコード処理はミセルだ"が導かれる
2. 推論1と事実1から、仮説が導かれる

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