この大航海時代は気高し
fact1: この人生訓はマネジメント・システムでない fact2: 気高し物は棒受けであるということはない fact3: この人生訓は花形であるしさらに乱舞する fact4: その腔内照射はマネジメント・システムだ fact5: その自己複製が習熟しないとしたらその共済事業は乱舞するしまた甘ったるい fact6: もしも何らかの物が花形ならば棒受けでないしおまけにマネジメント・システムでない fact7: もしもなにがしかの物は棒受けでなくてマネジメント・システムでないならば「この大航海時代は気高し」ということは事実だ fact8: もし「この定年退職日は乱舞する」ということは成り立つなら花形である fact9: そのポッケットは農薬散布であるしおまけに棒受けだ fact10: 「その固まりは与え易くない」ということは本当であるとすればそれが食らわせないしその上易しい fact11: その共済事業が乱舞するとするとこの定年退職日は乱舞する
fact6 -> int1: もしもこの人生訓が花形ならそれは棒受けでなくてマネジメント・システムでない; fact3 -> int2: この人生訓は花形だ; int1 & int2 -> int3: この人生訓は棒受けでないしマネジメント・システムでない; int3 -> int4: ある物は棒受けでなくて更にマネジメント・システムでない; int4 & fact7 -> hypothesis;
この大航海時代は気高しない
$facts$ = fact1: この人生訓はマネジメント・システムでない fact2: 気高し物は棒受けであるということはない fact3: この人生訓は花形であるしさらに乱舞する fact4: その腔内照射はマネジメント・システムだ fact5: その自己複製が習熟しないとしたらその共済事業は乱舞するしまた甘ったるい fact6: もしも何らかの物が花形ならば棒受けでないしおまけにマネジメント・システムでない fact7: もしもなにがしかの物は棒受けでなくてマネジメント・システムでないならば「この大航海時代は気高し」ということは事実だ fact8: もし「この定年退職日は乱舞する」ということは成り立つなら花形である fact9: そのポッケットは農薬散布であるしおまけに棒受けだ fact10: 「その固まりは与え易くない」ということは本当であるとすればそれが食らわせないしその上易しい fact11: その共済事業が乱舞するとするとこの定年退職日は乱舞する ; $hypothesis$ = この大航海時代は気高し ; $proof$ = 
fact6 -> int1: もしもこの人生訓が花形ならそれは棒受けでなくてマネジメント・システムでない; fact3 -> int2: この人生訓は花形だ; int1 & int2 -> int3: この人生訓は棒受けでないしマネジメント・システムでない; int3 -> int4: ある物は棒受けでなくて更にマネジメント・システムでない; int4 & fact7 -> hypothesis; __PROVED__
事実1: この人生訓はマネジメント・システムでない
事実2: 気高し物は棒受けであるということはない
事実3: この人生訓は花形であるしさらに乱舞する
事実4: その腔内照射はマネジメント・システムだ
事実5: その自己複製が習熟しないとしたらその共済事業は乱舞するしまた甘ったるい
事実6: もしも何らかの物が花形ならば棒受けでないしおまけにマネジメント・システムでない
事実7: もしもなにがしかの物は棒受けでなくてマネジメント・システムでないならば「この大航海時代は気高し」ということは事実だ
事実8: もし「この定年退職日は乱舞する」ということは成り立つなら花形である
事実9: そのポッケットは農薬散布であるしおまけに棒受けだ
事実10: 「その固まりは与え易くない」ということは本当であるとすればそれが食らわせないしその上易しい
事実11: その共済事業が乱舞するとするとこの定年退職日は乱舞する

仮説: この大航海時代は気高し
1. 事実6から、推論1: "もしもこの人生訓が花形ならそれは棒受けでなくてマネジメント・システムでない"が導かれる
2. 事実3から、推論2: "この人生訓は花形だ"が導かれる
3. 推論1と推論2から、推論3: "この人生訓は棒受けでないしマネジメント・システムでない"が導かれる
4. 推論3から、推論4: "ある物は棒受けでなくて更にマネジメント・システムでない"が導かれる
5. 推論4と事実7から、仮説が導かれる

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