この記述子は長くない
fact1: もし仮になにがしかのものは万年雪でないなら夏らしくない fact2: あのボール紙は万年雪でない fact3: なんらかのものは近寄り難いがしかし筋骨でない fact4: なにがしかの物は出現し易いということはないしそれは弱々しかない fact5: もしも「出現し易くないしその上弱々しいということはない」物があるならこの記述子は長くない
fact4 & fact5 -> hypothesis;
fact4 & fact5 -> hypothesis;
「この記述子は長い」ということは成り立つ
fact6 -> int1: もしもあのボール紙は万年雪でないとしたら夏らしくない; int1 & fact7 -> int2: あのボール紙は夏らしくない; int2 -> int3: 「夏らしくない」物はある;
$facts$ = fact1: もし仮になにがしかのものは万年雪でないなら夏らしくない fact2: あのボール紙は万年雪でない fact3: なんらかのものは近寄り難いがしかし筋骨でない fact4: なにがしかの物は出現し易いということはないしそれは弱々しかない fact5: もしも「出現し易くないしその上弱々しいということはない」物があるならこの記述子は長くない ; $hypothesis$ = この記述子は長くない ; $proof$ = 
fact4 & fact5 -> hypothesis; __PROVED__
事実1: もし仮になにがしかのものは万年雪でないなら夏らしくない
事実2: あのボール紙は万年雪でない
事実3: なんらかのものは近寄り難いがしかし筋骨でない
事実4: なにがしかの物は出現し易いということはないしそれは弱々しかない
事実5: もしも「出現し易くないしその上弱々しいということはない」物があるならこの記述子は長くない

仮説: この記述子は長くない
1. 事実4と事実5から、仮説が導かれる

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