この地子はトロール達である
fact1: この国民所得は蒸し暑い fact2: もしもあのハンドルバーが再就職するかもしくは蒸し暑くないならこの地子はトロール達だ fact3: 仮にこの国民所得が蒸し暑いとするとあのハンドルバーは送り込めるが赤黒くない fact4: この国民所得は蒸し暑いとしたら「あのハンドルバーは赤黒くない」ということは成り立つ fact5: もしこの地子はトロール達であるとしたら「あのハンドルバーは送り込めるがしかし赤黒くない」ということは間違っている
void -> assump1: 以下のように仮定する。この地子はトロール達だ; fact5 & assump1 -> int1: 「あのハンドルバーは送り込める一方でそれは赤黒くない」ということは偽だ; fact3 & fact1 -> int2: あのハンドルバーは送り込めるがしかしそれは赤黒いということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
この地子はトロール達だ
$facts$ = fact1: この国民所得は蒸し暑い fact2: もしもあのハンドルバーが再就職するかもしくは蒸し暑くないならこの地子はトロール達だ fact3: 仮にこの国民所得が蒸し暑いとするとあのハンドルバーは送り込めるが赤黒くない fact4: この国民所得は蒸し暑いとしたら「あのハンドルバーは赤黒くない」ということは成り立つ fact5: もしこの地子はトロール達であるとしたら「あのハンドルバーは送り込めるがしかし赤黒くない」ということは間違っている ; $hypothesis$ = この地子はトロール達である ; $proof$ = 
void -> assump1: 以下のように仮定する。この地子はトロール達だ; fact5 & assump1 -> int1: 「あのハンドルバーは送り込める一方でそれは赤黒くない」ということは偽だ; fact3 & fact1 -> int2: あのハンドルバーは送り込めるがしかしそれは赤黒いということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: この国民所得は蒸し暑い
事実2: もしもあのハンドルバーが再就職するかもしくは蒸し暑くないならこの地子はトロール達だ
事実3: 仮にこの国民所得が蒸し暑いとするとあのハンドルバーは送り込めるが赤黒くない
事実4: この国民所得は蒸し暑いとしたら「あのハンドルバーは赤黒くない」ということは成り立つ
事実5: もしこの地子はトロール達であるとしたら「あのハンドルバーは送り込めるがしかし赤黒くない」ということは間違っている

仮説: この地子はトロール達である
1. 仮定1: 以下のように仮定する。この地子はトロール達だ
2. 事実5と仮定1から、推論1: "「あのハンドルバーは送り込める一方でそれは赤黒くない」ということは偽だ"が導かれる
3. 事実3と事実1から、推論2: "あのハンドルバーは送り込めるがしかしそれは赤黒いということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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