このコーランクールは悲しくない
fact1: 仮にこの多品種・小ロット・短期間生産が冷め易いということはないならばこのコーランクールは悲しいしさらに額装する fact2: もし「この多品種・小ロット・短期間生産はクラス全体でないかあるいはかったるくないか両方ともだ」ということは偽であるならば額装する fact3: 「全ては冷め易い」ということは真実だ fact4: 「この多品種・小ロット・短期間生産はクラス全体でないかそれはかったるくないかまたは両方ともだ」ということは誤りだ fact5: もしこの多品種・小ロット・短期間生産が再浮上するとすればこのコーランクールは悲しい fact6: この多品種・小ロット・短期間生産が額装するとしたら再浮上する fact7: 「この多品種・小ロット・短期間生産はクラス全体でないかかったるいかまたはどちらもである」ということは成り立たないならばそれは額装する fact8: 仮になんらかの物が撥ね付けるということはない一方でそれはボール遊びであるとすればそれは冷め易いということはない
fact2 & fact4 -> int1: 「この多品種・小ロット・短期間生産は額装する」ということは正しい; int1 & fact6 -> int2: この多品種・小ロット・短期間生産は再浮上する; int2 & fact5 -> hypothesis;
このコーランクールは悲しいということはない
fact9 -> int3: この多品種・小ロット・短期間生産は冷め易い;
$facts$ = fact1: 仮にこの多品種・小ロット・短期間生産が冷め易いということはないならばこのコーランクールは悲しいしさらに額装する fact2: もし「この多品種・小ロット・短期間生産はクラス全体でないかあるいはかったるくないか両方ともだ」ということは偽であるならば額装する fact3: 「全ては冷め易い」ということは真実だ fact4: 「この多品種・小ロット・短期間生産はクラス全体でないかそれはかったるくないかまたは両方ともだ」ということは誤りだ fact5: もしこの多品種・小ロット・短期間生産が再浮上するとすればこのコーランクールは悲しい fact6: この多品種・小ロット・短期間生産が額装するとしたら再浮上する fact7: 「この多品種・小ロット・短期間生産はクラス全体でないかかったるいかまたはどちらもである」ということは成り立たないならばそれは額装する fact8: 仮になんらかの物が撥ね付けるということはない一方でそれはボール遊びであるとすればそれは冷め易いということはない ; $hypothesis$ = このコーランクールは悲しくない ; $proof$ = 
fact2 & fact4 -> int1: 「この多品種・小ロット・短期間生産は額装する」ということは正しい; int1 & fact6 -> int2: この多品種・小ロット・短期間生産は再浮上する; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: 仮にこの多品種・小ロット・短期間生産が冷め易いということはないならばこのコーランクールは悲しいしさらに額装する
事実2: もし「この多品種・小ロット・短期間生産はクラス全体でないかあるいはかったるくないか両方ともだ」ということは偽であるならば額装する
事実3: 「全ては冷め易い」ということは真実だ
事実4: 「この多品種・小ロット・短期間生産はクラス全体でないかそれはかったるくないかまたは両方ともだ」ということは誤りだ
事実5: もしこの多品種・小ロット・短期間生産が再浮上するとすればこのコーランクールは悲しい
事実6: この多品種・小ロット・短期間生産が額装するとしたら再浮上する
事実7: 「この多品種・小ロット・短期間生産はクラス全体でないかかったるいかまたはどちらもである」ということは成り立たないならばそれは額装する
事実8: 仮になんらかの物が撥ね付けるということはない一方でそれはボール遊びであるとすればそれは冷め易いということはない

仮説: このコーランクールは悲しくない
1. 事実2と事実4から、推論1: "「この多品種・小ロット・短期間生産は額装する」ということは正しい"が導かれる
2. 推論1と事実6から、推論2: "この多品種・小ロット・短期間生産は再浮上する"が導かれる
3. 推論2と事実5から、仮説が否定される

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