この掲載は誤解し易くない
fact1: この掲載は一行力でない fact2: 「一行力は誤解し易い」ということは間違っていない fact3: その組合は限り無しないかまたは重苦しいか両方ともである fact4: この掲載が一行力であるということはないかもしくは限り無しないかもしくは両方だとするとその組合は誤解し易くない fact5: もしも「その組合は限り無しないかあるいは重苦しくないかまたはどちらもだ」ということは成り立たないとするとこの倚辞は一行力でない fact6: この倚辞は一行力だ fact7: この急性型は算定出来ないかまたは常備菜でないかもしくは両方ともだ fact8: もしもその組合が限り無しないかあるいは重苦しくないかあるいはどちらもならばあの掲載は誤解し易くない
void -> assump1: 以下のように仮定する。「その組合は限り無しないかあるいは重苦しくないかどちらもだ」ということは誤っている; fact5 & assump1 -> int1: この倚辞は一行力でない; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: その組合は限り無しないかまたはそれは重苦しくないかまたはどちらもだ; int3 & fact8 -> hypothesis;
この掲載は誤解し易い
fact9 -> int4: この掲載が一行力だとしたらそれは誤解し易い;
$facts$ = fact1: この掲載は一行力でない fact2: 「一行力は誤解し易い」ということは間違っていない fact3: その組合は限り無しないかまたは重苦しいか両方ともである fact4: この掲載が一行力であるということはないかもしくは限り無しないかもしくは両方だとするとその組合は誤解し易くない fact5: もしも「その組合は限り無しないかあるいは重苦しくないかまたはどちらもだ」ということは成り立たないとするとこの倚辞は一行力でない fact6: この倚辞は一行力だ fact7: この急性型は算定出来ないかまたは常備菜でないかもしくは両方ともだ fact8: もしもその組合が限り無しないかあるいは重苦しくないかあるいはどちらもならばあの掲載は誤解し易くない ; $hypothesis$ = この掲載は誤解し易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その組合は限り無しないかあるいは重苦しくないかどちらもだ」ということは誤っている; fact5 & assump1 -> int1: この倚辞は一行力でない; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: その組合は限り無しないかまたはそれは重苦しくないかまたはどちらもだ; int3 & fact8 -> hypothesis; __PROVED__
事実1: この掲載は一行力でない
事実2: 「一行力は誤解し易い」ということは間違っていない
事実3: その組合は限り無しないかまたは重苦しいか両方ともである
事実4: この掲載が一行力であるということはないかもしくは限り無しないかもしくは両方だとするとその組合は誤解し易くない
事実5: もしも「その組合は限り無しないかあるいは重苦しくないかまたはどちらもだ」ということは成り立たないとするとこの倚辞は一行力でない
事実6: この倚辞は一行力だ
事実7: この急性型は算定出来ないかまたは常備菜でないかもしくは両方ともだ
事実8: もしもその組合が限り無しないかあるいは重苦しくないかあるいはどちらもならばあの掲載は誤解し易くない

仮説: この掲載は誤解し易くない
1. 仮定1: 以下のように仮定する。「その組合は限り無しないかあるいは重苦しくないかどちらもだ」ということは誤っている
2. 事実5と仮定1から、推論1: "この倚辞は一行力でない"が導かれる
3. 推論1と事実6から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "その組合は限り無しないかまたはそれは重苦しくないかまたはどちらもだ"が導かれる
5. 推論3と事実8から、仮説が導かれる

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