「なにかはきついかあるいは遅いか両方だ」ということは嘘だ
fact1: あのゴブレットは二段攻撃だ fact2: なにがしかのものは犯罪防止であるか遅いかあるいは両方ともだ fact3: その労基は犯罪防止であるし遅い
fact3 -> int1: その労基は遅い; int1 -> int2: その労基はきついかもしくは遅いかあるいは両方である; int2 -> hypothesis;
fact3 -> int1: {B}{a}; int1 -> int2: ({C}{a} v {B}{a}); int2 -> hypothesis;
$facts$ = fact1: あのゴブレットは二段攻撃だ fact2: なにがしかのものは犯罪防止であるか遅いかあるいは両方ともだ fact3: その労基は犯罪防止であるし遅い ; $hypothesis$ = 「なにかはきついかあるいは遅いか両方だ」ということは嘘だ ; $proof$ = 
fact3 -> int1: その労基は遅い; int1 -> int2: その労基はきついかもしくは遅いかあるいは両方である; int2 -> hypothesis; __DISPROVED__
事実1: あのゴブレットは二段攻撃だ
事実2: なにがしかのものは犯罪防止であるか遅いかあるいは両方ともだ
事実3: その労基は犯罪防止であるし遅い

仮説: 「なにかはきついかあるいは遅いか両方だ」ということは嘘だ
1. 事実3から、推論1: "その労基は遅い"が導かれる
2. 推論1から、推論2: "その労基はきついかもしくは遅いかあるいは両方である"が導かれる
3. 推論2から、仮説が否定される

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