この電力消費は貧乏臭い
fact1: とある物はバプテスマでないが蛸なら「この電力消費は貧乏臭くない」ということは成り立つ fact2: 「反応しない」ものはある fact3: どれもこれもはバプテスマでなくて更にそれは蛸である
fact3 -> int1: この認知件数はバプテスマでないがしかし蛸である; int1 -> int2: なんらかのものはバプテスマだということはないがしかしそれは蛸だ; int2 & fact1 -> hypothesis;
$facts$ = fact1: とある物はバプテスマでないが蛸なら「この電力消費は貧乏臭くない」ということは成り立つ fact2: 「反応しない」ものはある fact3: どれもこれもはバプテスマでなくて更にそれは蛸である ; $hypothesis$ = この電力消費は貧乏臭い ; $proof$ = 
fact3 -> int1: この認知件数はバプテスマでないがしかし蛸である; int1 -> int2: なんらかのものはバプテスマだということはないがしかしそれは蛸だ; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: とある物はバプテスマでないが蛸なら「この電力消費は貧乏臭くない」ということは成り立つ
事実2: 「反応しない」ものはある
事実3: どれもこれもはバプテスマでなくて更にそれは蛸である

仮説: この電力消費は貧乏臭い
1. 事実3から、推論1: "この認知件数はバプテスマでないがしかし蛸である"が導かれる
2. 推論1から、推論2: "なんらかのものはバプテスマだということはないがしかしそれは蛸だ"が導かれる
3. 推論2と事実1から、仮説が否定される

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