このコンテクストはグリーンピースでない
fact1: 「あの死計はグリーンピースである」ということは成り立つ fact2: このコンテクストはグリーンピースである fact3: 「その大腸内視鏡はグリーンピースだ」ということは事実だ fact4: 「このコンテクストは血算・血液像だ」ということは成り立つ
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: 「あの死計はグリーンピースである」ということは成り立つ fact2: このコンテクストはグリーンピースである fact3: 「その大腸内視鏡はグリーンピースだ」ということは事実だ fact4: 「このコンテクストは血算・血液像だ」ということは成り立つ ; $hypothesis$ = このコンテクストはグリーンピースでない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 「あの死計はグリーンピースである」ということは成り立つ
事実2: このコンテクストはグリーンピースである
事実3: 「その大腸内視鏡はグリーンピースだ」ということは事実だ
事実4: 「このコンテクストは血算・血液像だ」ということは成り立つ

仮説: このコンテクストはグリーンピースでない
1. 事実2から、仮説が否定される

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