この元秋官長は物悲しくない
fact1: もしそのセグメントは転び易くないなら「物悲しいしそれにそれは楽しない」ということは嘘だ fact2: 「そのセグメントが詳しくないしさらに分かり易過ぎない」ということは誤りだ fact3: もし仮にそのセグメントが分かり易過ぎるならこの元秋官長は物悲しい fact4: もし「この元秋官長は分かり易過ぎなくて物悲しくない」ということは嘘だとしたらそのセグメントは詳しい fact5: もしも配列パターンが鬱血性心不全だということはないとすると転び易くない fact6: もしも「この元秋官長は詳しいということはなくてしかも分かり易過ぎない」ということは嘘だとすればそのセグメントは物悲しい fact7: 「そのセグメントは詳しくない一方で分かり易過ぎる」ということは成り立たない fact8: 「そのセグメントは分かり易過ぎなくて物悲しいということはない」ということは成り立たない fact9: 仮に「そのセグメントは詳しいということはなくてまた分かり易過ぎない」ということは成り立たないとするとこの元秋官長は物悲しい fact10: 「そのセグメントは物悲しいということはなくてかつ分かり易過ぎるということはない」ということは嘘だ fact11: もしも「この元秋官長は詳しいということはないし物悲しくない」ということは成り立つということはないならそのセグメントは分かり易過ぎる fact12: そのセグメントは物悲しい
fact9 & fact2 -> hypothesis;
fact9 & fact2 -> hypothesis;
この元秋官長は物悲しくない
fact13 -> int1: 仮にそのセグメントは配列パターンだ一方で鬱血性心不全でないとするとそれは転び易くない;
$facts$ = fact1: もしそのセグメントは転び易くないなら「物悲しいしそれにそれは楽しない」ということは嘘だ fact2: 「そのセグメントが詳しくないしさらに分かり易過ぎない」ということは誤りだ fact3: もし仮にそのセグメントが分かり易過ぎるならこの元秋官長は物悲しい fact4: もし「この元秋官長は分かり易過ぎなくて物悲しくない」ということは嘘だとしたらそのセグメントは詳しい fact5: もしも配列パターンが鬱血性心不全だということはないとすると転び易くない fact6: もしも「この元秋官長は詳しいということはなくてしかも分かり易過ぎない」ということは嘘だとすればそのセグメントは物悲しい fact7: 「そのセグメントは詳しくない一方で分かり易過ぎる」ということは成り立たない fact8: 「そのセグメントは分かり易過ぎなくて物悲しいということはない」ということは成り立たない fact9: 仮に「そのセグメントは詳しいということはなくてまた分かり易過ぎない」ということは成り立たないとするとこの元秋官長は物悲しい fact10: 「そのセグメントは物悲しいということはなくてかつ分かり易過ぎるということはない」ということは嘘だ fact11: もしも「この元秋官長は詳しいということはないし物悲しくない」ということは成り立つということはないならそのセグメントは分かり易過ぎる fact12: そのセグメントは物悲しい ; $hypothesis$ = この元秋官長は物悲しくない ; $proof$ = 
fact9 & fact2 -> hypothesis; __DISPROVED__
事実1: もしそのセグメントは転び易くないなら「物悲しいしそれにそれは楽しない」ということは嘘だ
事実2: 「そのセグメントが詳しくないしさらに分かり易過ぎない」ということは誤りだ
事実3: もし仮にそのセグメントが分かり易過ぎるならこの元秋官長は物悲しい
事実4: もし「この元秋官長は分かり易過ぎなくて物悲しくない」ということは嘘だとしたらそのセグメントは詳しい
事実5: もしも配列パターンが鬱血性心不全だということはないとすると転び易くない
事実6: もしも「この元秋官長は詳しいということはなくてしかも分かり易過ぎない」ということは嘘だとすればそのセグメントは物悲しい
事実7: 「そのセグメントは詳しくない一方で分かり易過ぎる」ということは成り立たない
事実8: 「そのセグメントは分かり易過ぎなくて物悲しいということはない」ということは成り立たない
事実9: 仮に「そのセグメントは詳しいということはなくてまた分かり易過ぎない」ということは成り立たないとするとこの元秋官長は物悲しい
事実10: 「そのセグメントは物悲しいということはなくてかつ分かり易過ぎるということはない」ということは嘘だ
事実11: もしも「この元秋官長は詳しいということはないし物悲しくない」ということは成り立つということはないならそのセグメントは分かり易過ぎる
事実12: そのセグメントは物悲しい

仮説: この元秋官長は物悲しくない
1. 事実9と事実2から、仮説が否定される

よって、仮説が否定されました。