あのＯＬは扱い易い
fact1: 「なんらかのものは引っ張らない」ということは本当だとすれば「賢しししかも見付け易い」ということは成り立たない fact2: もしもあのＯＬが扱い易くないとすれば見付け易いということはない fact3: あのＯＬは賢し fact4: もしもあのＯＬが賢しとすれば見付け易い fact5: 仮に「その種指定は賢ししそれに見付け易い」ということは成り立たないならあのＯＬは扱い易くない fact6: 仮に「この町村数は引っ張らないしその上羽ばたきでない」ということは成り立たないならその種指定は引っ張らない
void -> assump1: 以下のように仮定する。あのＯＬは扱い易くない; fact2 & assump1 -> int1: あのＯＬは見付け易くない; fact4 & fact3 -> int2: あのＯＬは見付け易い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
あのＯＬは扱い易くない
fact9 -> int4: もし「その種指定は引っ張らない」ということは嘘でないならば「賢ししさらにそれは見付け易い」ということは間違いだ;
$facts$ = fact1: 「なんらかのものは引っ張らない」ということは本当だとすれば「賢しししかも見付け易い」ということは成り立たない fact2: もしもあのＯＬが扱い易くないとすれば見付け易いということはない fact3: あのＯＬは賢し fact4: もしもあのＯＬが賢しとすれば見付け易い fact5: 仮に「その種指定は賢ししそれに見付け易い」ということは成り立たないならあのＯＬは扱い易くない fact6: 仮に「この町村数は引っ張らないしその上羽ばたきでない」ということは成り立たないならその種指定は引っ張らない ; $hypothesis$ = あのＯＬは扱い易い ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＯＬは扱い易くない; fact2 & assump1 -> int1: あのＯＬは見付け易くない; fact4 & fact3 -> int2: あのＯＬは見付け易い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「なんらかのものは引っ張らない」ということは本当だとすれば「賢しししかも見付け易い」ということは成り立たない
事実2: もしもあのＯＬが扱い易くないとすれば見付け易いということはない
事実3: あのＯＬは賢し
事実4: もしもあのＯＬが賢しとすれば見付け易い
事実5: 仮に「その種指定は賢ししそれに見付け易い」ということは成り立たないならあのＯＬは扱い易くない
事実6: 仮に「この町村数は引っ張らないしその上羽ばたきでない」ということは成り立たないならその種指定は引っ張らない

仮説: あのＯＬは扱い易い
1. 仮定1: 以下のように仮定する。あのＯＬは扱い易くない
2. 事実2と仮定1から、推論1: "あのＯＬは見付け易くない"が導かれる
3. 事実4と事実3から、推論2: "あのＯＬは見付け易い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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