「その家船は赤色期でない」ということは成り立つ
fact1: もしそのプリンタサービスは向上しないとすれば「「あの心材は向上するということはないがしかし出火である」ということは真実だ」ということは偽だ fact2: 仮に「興味深くない」物はあれば「あの最小値は抗し難いかあるいはγＣ鎖でない」ということは成り立たない fact3: 「「興味深いということはない」ということは成り立つ」ものはある fact4: 「あの心材は向上しない一方でそれは出火だ」ということは事実でないとすればその家船は赤色期だ fact5: もしも「あの最小値は抗し難いかまたはγＣ鎖でない」ということは成り立たないならそのプリンタサービスは向上しない
fact3 & fact2 -> int1: 「「あの最小値は抗し難いかもしくはγＣ鎖でない」ということは真実でない」ということは事実である; int1 & fact5 -> int2: そのプリンタサービスは向上しない; int2 & fact1 -> int3: 「あの心材は向上しないがしかし出火である」ということは成り立たない; int3 & fact4 -> hypothesis;
$facts$ = fact1: もしそのプリンタサービスは向上しないとすれば「「あの心材は向上するということはないがしかし出火である」ということは真実だ」ということは偽だ fact2: 仮に「興味深くない」物はあれば「あの最小値は抗し難いかあるいはγＣ鎖でない」ということは成り立たない fact3: 「「興味深いということはない」ということは成り立つ」ものはある fact4: 「あの心材は向上しない一方でそれは出火だ」ということは事実でないとすればその家船は赤色期だ fact5: もしも「あの最小値は抗し難いかまたはγＣ鎖でない」ということは成り立たないならそのプリンタサービスは向上しない ; $hypothesis$ = 「その家船は赤色期でない」ということは成り立つ ; $proof$ = 
fact3 & fact2 -> int1: 「「あの最小値は抗し難いかもしくはγＣ鎖でない」ということは真実でない」ということは事実である; int1 & fact5 -> int2: そのプリンタサービスは向上しない; int2 & fact1 -> int3: 「あの心材は向上しないがしかし出火である」ということは成り立たない; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: もしそのプリンタサービスは向上しないとすれば「「あの心材は向上するということはないがしかし出火である」ということは真実だ」ということは偽だ
事実2: 仮に「興味深くない」物はあれば「あの最小値は抗し難いかあるいはγＣ鎖でない」ということは成り立たない
事実3: 「「興味深いということはない」ということは成り立つ」ものはある
事実4: 「あの心材は向上しない一方でそれは出火だ」ということは事実でないとすればその家船は赤色期だ
事実5: もしも「あの最小値は抗し難いかまたはγＣ鎖でない」ということは成り立たないならそのプリンタサービスは向上しない

仮説: 「その家船は赤色期でない」ということは成り立つ
1. 事実3と事実2から、推論1: "「「あの最小値は抗し難いかもしくはγＣ鎖でない」ということは真実でない」ということは事実である"が導かれる
2. 推論1と事実5から、推論2: "そのプリンタサービスは向上しない"が導かれる
3. 推論2と事実1から、推論3: "「あの心材は向上しないがしかし出火である」ということは成り立たない"が導かれる
4. 推論3と事実4から、仮説が否定される

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