この正室は破らない
fact1: その窓口業務は引き出し易い fact2: 「「その窓口業務は破らない」ということは真実だ」ということは嘘だ fact3: 仮にこの正室が引き出し易いならばその窓口業務は破る fact4: もしその窓口業務が引き出し易いならこの正室は破る
fact4 & fact1 -> hypothesis;
fact4 & fact1 -> hypothesis;
$facts$ = fact1: その窓口業務は引き出し易い fact2: 「「その窓口業務は破らない」ということは真実だ」ということは嘘だ fact3: 仮にこの正室が引き出し易いならばその窓口業務は破る fact4: もしその窓口業務が引き出し易いならこの正室は破る ; $hypothesis$ = この正室は破らない ; $proof$ = 
fact4 & fact1 -> hypothesis; __DISPROVED__
事実1: その窓口業務は引き出し易い
事実2: 「「その窓口業務は破らない」ということは真実だ」ということは嘘だ
事実3: 仮にこの正室が引き出し易いならばその窓口業務は破る
事実4: もしその窓口業務が引き出し易いならこの正室は破る

仮説: この正室は破らない
1. 事実4と事実1から、仮説が否定される

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