「「「御義父さんで州教科書行政でない」ということは事実でない」物はある」ということは嘘だ
fact1: 「メタルエンパイアな」物はある fact2: もし何かはメタルエンパイアだとすれば「この白ワイシャツが御義父さんだけどそれは州教科書行政でない」ということは成り立たない fact3: なにかは所定労働時間であるけどそれはＤＰＩでない fact4: もし仮になにがしかのものはメタルエンパイアであるなら「この白ワイシャツは御義父さんで州教科書行政だ」ということは成り立たない
fact1 & fact2 -> int1: 「この白ワイシャツは御義父さんだけど州教科書行政だということはない」ということは事実と異なる; int1 -> hypothesis;
$facts$ = fact1: 「メタルエンパイアな」物はある fact2: もし何かはメタルエンパイアだとすれば「この白ワイシャツが御義父さんだけどそれは州教科書行政でない」ということは成り立たない fact3: なにかは所定労働時間であるけどそれはＤＰＩでない fact4: もし仮になにがしかのものはメタルエンパイアであるなら「この白ワイシャツは御義父さんで州教科書行政だ」ということは成り立たない ; $hypothesis$ = 「「「御義父さんで州教科書行政でない」ということは事実でない」物はある」ということは嘘だ ; $proof$ = 
fact1 & fact2 -> int1: 「この白ワイシャツは御義父さんだけど州教科書行政だということはない」ということは事実と異なる; int1 -> hypothesis; __DISPROVED__
事実1: 「メタルエンパイアな」物はある
事実2: もし何かはメタルエンパイアだとすれば「この白ワイシャツが御義父さんだけどそれは州教科書行政でない」ということは成り立たない
事実3: なにかは所定労働時間であるけどそれはＤＰＩでない
事実4: もし仮になにがしかのものはメタルエンパイアであるなら「この白ワイシャツは御義父さんで州教科書行政だ」ということは成り立たない

仮説: 「「「御義父さんで州教科書行政でない」ということは事実でない」物はある」ということは嘘だ
1. 事実1と事実2から、推論1: "「この白ワイシャツは御義父さんだけど州教科書行政だということはない」ということは事実と異なる"が導かれる
2. 推論1から、仮説が否定される

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