もし仮にその頓用が重苦しいとしたらあの錯誤は確保し続ける
fact1: 仮に「ある物は媚び諂うということはないけどそれは認知出来る」ということは誤っているとすると確保し続ける fact2: もし「その頓用は重苦しい」ということは成り立つとしたらそれは利用し易くない fact3: もしもその頓用は利用し易くないとすれば「あの錯誤は媚び諂わないが認知出来る」ということは成り立たない
void -> assump1: 以下のように仮定する。その頓用は重苦しい; fact2 & assump1 -> int1: その頓用は利用し易いということはない; int1 & fact3 -> int2: 「あの錯誤は媚び諂うということはない一方で認知出来る」ということは成り立たない; fact1 -> int3: 「あの錯誤は媚び諂うということはないけど認知出来る」ということは偽であるなら確保し続ける; int2 & int3 -> int4: あの錯誤は確保し続ける; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 仮に「ある物は媚び諂うということはないけどそれは認知出来る」ということは誤っているとすると確保し続ける fact2: もし「その頓用は重苦しい」ということは成り立つとしたらそれは利用し易くない fact3: もしもその頓用は利用し易くないとすれば「あの錯誤は媚び諂わないが認知出来る」ということは成り立たない ; $hypothesis$ = もし仮にその頓用が重苦しいとしたらあの錯誤は確保し続ける ; $proof$ = 
void -> assump1: 以下のように仮定する。その頓用は重苦しい; fact2 & assump1 -> int1: その頓用は利用し易いということはない; int1 & fact3 -> int2: 「あの錯誤は媚び諂うということはない一方で認知出来る」ということは成り立たない; fact1 -> int3: 「あの錯誤は媚び諂うということはないけど認知出来る」ということは偽であるなら確保し続ける; int2 & int3 -> int4: あの錯誤は確保し続ける; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 仮に「ある物は媚び諂うということはないけどそれは認知出来る」ということは誤っているとすると確保し続ける
事実2: もし「その頓用は重苦しい」ということは成り立つとしたらそれは利用し易くない
事実3: もしもその頓用は利用し易くないとすれば「あの錯誤は媚び諂わないが認知出来る」ということは成り立たない

仮説: もし仮にその頓用が重苦しいとしたらあの錯誤は確保し続ける
1. 仮定1: 以下のように仮定する。その頓用は重苦しい
2. 事実2と仮定1から、推論1: "その頓用は利用し易いということはない"が導かれる
3. 推論1と事実3から、推論2: "「あの錯誤は媚び諂うということはない一方で認知出来る」ということは成り立たない"が導かれる
4. 事実1から、推論3: "「あの錯誤は媚び諂うということはないけど認知出来る」ということは偽であるなら確保し続ける"が導かれる
5. 推論2と推論3から、推論4: "あの錯誤は確保し続ける"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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