この官僚制度は書き直せない
fact1: もし仮にこの地元企業が寂寥であるかあるいはそれが素っ気ないとすればこの官僚制度は素っ気なくない fact2: もしもあの預貯金が素っ気ないとするとこの官僚制度は書き直せる fact3: 「もし仮にあの預貯金が大日経ならばあの預貯金は素っ気ない」ということは成り立つ fact4: どれもこれもは大日経だ
fact4 -> int1: あの預貯金は大日経である; int1 & fact3 -> int2: 「あの預貯金は素っ気ない」ということは本当だ; int2 & fact2 -> hypothesis;
fact4 -> int1: {A}{aa}; int1 & fact3 -> int2: {B}{aa}; int2 & fact2 -> hypothesis;
この官僚制度は書き直せない
$facts$ = fact1: もし仮にこの地元企業が寂寥であるかあるいはそれが素っ気ないとすればこの官僚制度は素っ気なくない fact2: もしもあの預貯金が素っ気ないとするとこの官僚制度は書き直せる fact3: 「もし仮にあの預貯金が大日経ならばあの預貯金は素っ気ない」ということは成り立つ fact4: どれもこれもは大日経だ ; $hypothesis$ = この官僚制度は書き直せない ; $proof$ = 
fact4 -> int1: あの預貯金は大日経である; int1 & fact3 -> int2: 「あの預貯金は素っ気ない」ということは本当だ; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮にこの地元企業が寂寥であるかあるいはそれが素っ気ないとすればこの官僚制度は素っ気なくない
事実2: もしもあの預貯金が素っ気ないとするとこの官僚制度は書き直せる
事実3: 「もし仮にあの預貯金が大日経ならばあの預貯金は素っ気ない」ということは成り立つ
事実4: どれもこれもは大日経だ

仮説: この官僚制度は書き直せない
1. 事実4から、推論1: "あの預貯金は大日経である"が導かれる
2. 推論1と事実3から、推論2: "「あの預貯金は素っ気ない」ということは本当だ"が導かれる
3. 推論2と事実2から、仮説が否定される

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