あのジャッジメントは打ち易い
fact1: あのジャッジメントは捕らえ切れない fact2: もし仮にその居留民は社会経済システムでないとすれば「あのジャッジメントが試験しないしさらにそれは捕らえ切れない」ということは偽だ fact3: 仮にとあるものが試験するならそれは打ち易くない fact4: その居留民は社会経済システムでない
void -> assump1: 以下のように仮定する。あのジャッジメントは試験しない; assump1 & fact1 -> int1: 「あのジャッジメントは試験しないし捕らえ切れない」ということは事実だ; fact4 & fact2 -> int2: 「あのジャッジメントが試験しないしさらに捕らえ切れない」ということは嘘である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのジャッジメントは試験する; fact3 -> int5: 「あのジャッジメントが試験するならあのジャッジメントは打ち易くない」ということは誤っていない; int4 & int5 -> hypothesis;
$facts$ = fact1: あのジャッジメントは捕らえ切れない fact2: もし仮にその居留民は社会経済システムでないとすれば「あのジャッジメントが試験しないしさらにそれは捕らえ切れない」ということは偽だ fact3: 仮にとあるものが試験するならそれは打ち易くない fact4: その居留民は社会経済システムでない ; $hypothesis$ = あのジャッジメントは打ち易い ; $proof$ = 
void -> assump1: 以下のように仮定する。あのジャッジメントは試験しない; assump1 & fact1 -> int1: 「あのジャッジメントは試験しないし捕らえ切れない」ということは事実だ; fact4 & fact2 -> int2: 「あのジャッジメントが試験しないしさらに捕らえ切れない」ということは嘘である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのジャッジメントは試験する; fact3 -> int5: 「あのジャッジメントが試験するならあのジャッジメントは打ち易くない」ということは誤っていない; int4 & int5 -> hypothesis; __DISPROVED__
事実1: あのジャッジメントは捕らえ切れない
事実2: もし仮にその居留民は社会経済システムでないとすれば「あのジャッジメントが試験しないしさらにそれは捕らえ切れない」ということは偽だ
事実3: 仮にとあるものが試験するならそれは打ち易くない
事実4: その居留民は社会経済システムでない

仮説: あのジャッジメントは打ち易い
1. 仮定1: 以下のように仮定する。あのジャッジメントは試験しない
2. 仮定1と事実1から、推論1: "「あのジャッジメントは試験しないし捕らえ切れない」ということは事実だ"が導かれる
3. 事実4と事実2から、推論2: "「あのジャッジメントが試験しないしさらに捕らえ切れない」ということは嘘である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのジャッジメントは試験する"が導かれる
6. 事実3から、推論5: "「あのジャッジメントが試験するならあのジャッジメントは打ち易くない」ということは誤っていない"が導かれる
7. 推論4と推論5から、仮説が否定される

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