「その下木は骨折るということはないしそれにそれは狭苦しくない」ということは間違いである
fact1: もしもそのヒューイは狭苦しくないならば「その下木は骨折るということはないがしかし狭苦しい」ということは成り立たない fact2: もし生え易いパン製品があるならそのヒューイは狭苦しくない fact3: 「仮になにかは狭苦しいならば「それは生え易くないパン製品だ」ということは偽だ」ということは本当だ fact4: もしもそのヒューイは狭苦しくないなら「その下木は骨折らないし更に狭苦しくない」ということは事実と異なる fact5: その三十代半ばは生え易いししかも布陣する fact6: その三十代半ばはパン製品だ fact7: その三十代半ばは骨折る
fact5 -> int1: その三十代半ばは生え易い; int1 & fact6 -> int2: 「その三十代半ばはパン製品であるしまたそれは生え易い」ということは誤りでない; int2 -> int3: 生え易いパン製品はある; int3 & fact2 -> int4: そのヒューイは狭苦しくない; int4 & fact4 -> hypothesis;
その下木は布陣しない
fact8 -> int5: もし仮にそのヒューイは狭苦しいなら「それが生え易いということはないしその上それはパン製品である」ということは間違いである;
$facts$ = fact1: もしもそのヒューイは狭苦しくないならば「その下木は骨折るということはないがしかし狭苦しい」ということは成り立たない fact2: もし生え易いパン製品があるならそのヒューイは狭苦しくない fact3: 「仮になにかは狭苦しいならば「それは生え易くないパン製品だ」ということは偽だ」ということは本当だ fact4: もしもそのヒューイは狭苦しくないなら「その下木は骨折らないし更に狭苦しくない」ということは事実と異なる fact5: その三十代半ばは生え易いししかも布陣する fact6: その三十代半ばはパン製品だ fact7: その三十代半ばは骨折る ; $hypothesis$ = 「その下木は骨折るということはないしそれにそれは狭苦しくない」ということは間違いである ; $proof$ = 
fact5 -> int1: その三十代半ばは生え易い; int1 & fact6 -> int2: 「その三十代半ばはパン製品であるしまたそれは生え易い」ということは誤りでない; int2 -> int3: 生え易いパン製品はある; int3 & fact2 -> int4: そのヒューイは狭苦しくない; int4 & fact4 -> hypothesis; __PROVED__
事実1: もしもそのヒューイは狭苦しくないならば「その下木は骨折るということはないがしかし狭苦しい」ということは成り立たない
事実2: もし生え易いパン製品があるならそのヒューイは狭苦しくない
事実3: 「仮になにかは狭苦しいならば「それは生え易くないパン製品だ」ということは偽だ」ということは本当だ
事実4: もしもそのヒューイは狭苦しくないなら「その下木は骨折らないし更に狭苦しくない」ということは事実と異なる
事実5: その三十代半ばは生え易いししかも布陣する
事実6: その三十代半ばはパン製品だ
事実7: その三十代半ばは骨折る

仮説: 「その下木は骨折るということはないしそれにそれは狭苦しくない」ということは間違いである
1. 事実5から、推論1: "その三十代半ばは生え易い"が導かれる
2. 推論1と事実6から、推論2: "「その三十代半ばはパン製品であるしまたそれは生え易い」ということは誤りでない"が導かれる
3. 推論2から、推論3: "生え易いパン製品はある"が導かれる
4. 推論3と事実2から、推論4: "そのヒューイは狭苦しくない"が導かれる
5. 推論4と事実4から、仮説が導かれる

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