「この寿司屋は限定色である」ということは成り立つ
fact1: その締め方は進め易いし取り掛かり易い fact2: その締め方は濯ぐ fact3: その締め方が取り掛かり易いとすればあの寿司屋は限定色でない fact4: この寿司屋は取り掛かり易い
fact1 -> int1: その締め方は取り掛かり易い; int1 & fact3 -> hypothesis;
$facts$ = fact1: その締め方は進め易いし取り掛かり易い fact2: その締め方は濯ぐ fact3: その締め方が取り掛かり易いとすればあの寿司屋は限定色でない fact4: この寿司屋は取り掛かり易い ; $hypothesis$ = 「この寿司屋は限定色である」ということは成り立つ ; $proof$ = 
fact1 -> int1: その締め方は取り掛かり易い; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: その締め方は進め易いし取り掛かり易い
事実2: その締め方は濯ぐ
事実3: その締め方が取り掛かり易いとすればあの寿司屋は限定色でない
事実4: この寿司屋は取り掛かり易い

仮説: 「この寿司屋は限定色である」ということは成り立つ
1. 事実1から、推論1: "その締め方は取り掛かり易い"が導かれる
2. 推論1と事実3から、仮説が否定される

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