その四十一年度は措定するけどそれは気高くない
fact1: もしもその四十一年度が措定するとするとそれは凛々しくない fact2: もしその千鳥がぶっきらぼうでないならばあのダンベルは若し fact3: 若しものは備う fact4: その千鳥はぶっきらぼうでないがしかしそれは凛々しい fact5: ひ弱くない物は措定するがしかし気高くない fact6: もしもこのダンベルが突っ立たないならばその四十一年度はひ弱くない fact7: その四十一年度は措定する fact8: もしも何かは備うとするとそれは突っ立たない
fact4 -> int1: その千鳥はぶっきらぼうでない; int1 & fact2 -> int2: このダンベルは若し; fact3 -> int3: もし仮にこのダンベルが若しならそれは備う; int2 & int3 -> int4: このダンベルは備う; fact8 -> int5: 「このダンベルは備う」ということは確かだとしたら突っ立たない; int4 & int5 -> int6: このダンベルは突っ立たない; int6 & fact6 -> int7: その四十一年度はひ弱いということはない; fact5 -> int8: もしその四十一年度がひ弱くないとするとそれは措定するしさらにそれは気高くない; int7 & int8 -> hypothesis;
$facts$ = fact1: もしもその四十一年度が措定するとするとそれは凛々しくない fact2: もしその千鳥がぶっきらぼうでないならばあのダンベルは若し fact3: 若しものは備う fact4: その千鳥はぶっきらぼうでないがしかしそれは凛々しい fact5: ひ弱くない物は措定するがしかし気高くない fact6: もしもこのダンベルが突っ立たないならばその四十一年度はひ弱くない fact7: その四十一年度は措定する fact8: もしも何かは備うとするとそれは突っ立たない ; $hypothesis$ = その四十一年度は措定するけどそれは気高くない ; $proof$ = 
fact4 -> int1: その千鳥はぶっきらぼうでない; int1 & fact2 -> int2: このダンベルは若し; fact3 -> int3: もし仮にこのダンベルが若しならそれは備う; int2 & int3 -> int4: このダンベルは備う; fact8 -> int5: 「このダンベルは備う」ということは確かだとしたら突っ立たない; int4 & int5 -> int6: このダンベルは突っ立たない; int6 & fact6 -> int7: その四十一年度はひ弱いということはない; fact5 -> int8: もしその四十一年度がひ弱くないとするとそれは措定するしさらにそれは気高くない; int7 & int8 -> hypothesis; __PROVED__
事実1: もしもその四十一年度が措定するとするとそれは凛々しくない
事実2: もしその千鳥がぶっきらぼうでないならばあのダンベルは若し
事実3: 若しものは備う
事実4: その千鳥はぶっきらぼうでないがしかしそれは凛々しい
事実5: ひ弱くない物は措定するがしかし気高くない
事実6: もしもこのダンベルが突っ立たないならばその四十一年度はひ弱くない
事実7: その四十一年度は措定する
事実8: もしも何かは備うとするとそれは突っ立たない

仮説: その四十一年度は措定するけどそれは気高くない
1. 事実4から、推論1: "その千鳥はぶっきらぼうでない"が導かれる
2. 推論1と事実2から、推論2: "このダンベルは若し"が導かれる
3. 事実3から、推論3: "もし仮にこのダンベルが若しならそれは備う"が導かれる
4. 推論2と推論3から、推論4: "このダンベルは備う"が導かれる
5. 事実8から、推論5: "「このダンベルは備う」ということは確かだとしたら突っ立たない"が導かれる
6. 推論4と推論5から、推論6: "このダンベルは突っ立たない"が導かれる
7. 推論6と事実6から、推論7: "その四十一年度はひ弱いということはない"が導かれる
8. 事実5から、推論8: "もしその四十一年度がひ弱くないとするとそれは措定するしさらにそれは気高くない"が導かれる
9. 推論7と推論8から、仮説が導かれる

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