「「「手堅くて詮無くない」ということは事実と異なる」ものはある」ということは嘘だ
fact1: もしもその外部委託費が勝ち易いとしたらこの嗜癖はやんごとない fact2: もしその外部委託費がデータ化するとするとこの嗜癖はやんごとない fact3: その外部委託費は勝ち易いかデータ化するかもしくは両方である fact4: 「「手堅いしかつやんごとない」ということは事実と異なる」物はある fact5: もしこの嗜癖はやんごとないとしたら「その登記制度は手堅いがしかし詮無くない」ということは事実と異なる
fact3 & fact1 & fact2 -> int1: この嗜癖はやんごとない; int1 & fact5 -> int2: 「その登記制度は手堅いがしかし詮無くない」ということは成り立たない; int2 -> hypothesis;
$facts$ = fact1: もしもその外部委託費が勝ち易いとしたらこの嗜癖はやんごとない fact2: もしその外部委託費がデータ化するとするとこの嗜癖はやんごとない fact3: その外部委託費は勝ち易いかデータ化するかもしくは両方である fact4: 「「手堅いしかつやんごとない」ということは事実と異なる」物はある fact5: もしこの嗜癖はやんごとないとしたら「その登記制度は手堅いがしかし詮無くない」ということは事実と異なる ; $hypothesis$ = 「「「手堅くて詮無くない」ということは事実と異なる」ものはある」ということは嘘だ ; $proof$ = 
fact3 & fact1 & fact2 -> int1: この嗜癖はやんごとない; int1 & fact5 -> int2: 「その登記制度は手堅いがしかし詮無くない」ということは成り立たない; int2 -> hypothesis; __DISPROVED__
事実1: もしもその外部委託費が勝ち易いとしたらこの嗜癖はやんごとない
事実2: もしその外部委託費がデータ化するとするとこの嗜癖はやんごとない
事実3: その外部委託費は勝ち易いかデータ化するかもしくは両方である
事実4: 「「手堅いしかつやんごとない」ということは事実と異なる」物はある
事実5: もしこの嗜癖はやんごとないとしたら「その登記制度は手堅いがしかし詮無くない」ということは事実と異なる

仮説: 「「「手堅くて詮無くない」ということは事実と異なる」ものはある」ということは嘘だ
1. 事実3と事実1と事実2から、推論1: "この嗜癖はやんごとない"が導かれる
2. 推論1と事実5から、推論2: "「その登記制度は手堅いがしかし詮無くない」ということは成り立たない"が導かれる
3. 推論2から、仮説が否定される

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