この二作は黄色くない
fact1: その決算期毎は胃腸薬だ fact2: もし仮に「心無い」物はあるなら「その決算期毎はスポーツマンらしいけどそれは心無くない」ということは誤りだ fact3: もしその決算期毎が生活し易いとしたらあの星城家は生活し易い fact4: その決算期毎が胃腸薬であるならばこの二作は生活し易い fact5: もしも「なにかはスポーツマンらしいけれど心無いということはない」ということは誤りならそれは黄色くない fact6: 生活し易い物は黄色い
fact4 & fact1 -> int1: この二作は生活し易い; fact6 -> int2: もしこの二作が生活し易いとしたらそれは黄色い; int1 & int2 -> hypothesis;
fact4 & fact1 -> int1: {B}{b}; fact6 -> int2: {B}{b} -> {C}{b}; int1 & int2 -> hypothesis;
あの星城家は生活し易い
fact7 -> int3: もしも「その決算期毎はスポーツマンらしいけど心無くない」ということは誤りであるとすれば黄色くない;
$facts$ = fact1: その決算期毎は胃腸薬だ fact2: もし仮に「心無い」物はあるなら「その決算期毎はスポーツマンらしいけどそれは心無くない」ということは誤りだ fact3: もしその決算期毎が生活し易いとしたらあの星城家は生活し易い fact4: その決算期毎が胃腸薬であるならばこの二作は生活し易い fact5: もしも「なにかはスポーツマンらしいけれど心無いということはない」ということは誤りならそれは黄色くない fact6: 生活し易い物は黄色い ; $hypothesis$ = この二作は黄色くない ; $proof$ = 
fact4 & fact1 -> int1: この二作は生活し易い; fact6 -> int2: もしこの二作が生活し易いとしたらそれは黄色い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: その決算期毎は胃腸薬だ
事実2: もし仮に「心無い」物はあるなら「その決算期毎はスポーツマンらしいけどそれは心無くない」ということは誤りだ
事実3: もしその決算期毎が生活し易いとしたらあの星城家は生活し易い
事実4: その決算期毎が胃腸薬であるならばこの二作は生活し易い
事実5: もしも「なにかはスポーツマンらしいけれど心無いということはない」ということは誤りならそれは黄色くない
事実6: 生活し易い物は黄色い

仮説: この二作は黄色くない
1. 事実4と事実1から、推論1: "この二作は生活し易い"が導かれる
2. 事実6から、推論2: "もしこの二作が生活し易いとしたらそれは黄色い"が導かれる
3. 推論1と推論2から、仮説が否定される

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