あの民生費は使用し難い
fact1: あの同調は図々しかない fact2: あの同調は理屈っぽいとしたら「あの民生費は使用し難い」ということは確かだ fact3: 「なんらかの物は図々しかなくて止すということはない」ということは間違いであるとすると使用し難くない fact4: 仮にあの同調が図々しかないとしたらそれは理屈っぽいしおまけにそれは読み取る fact5: あの民生費は柔らかくてそれは読み取る
fact4 & fact1 -> int1: あの同調は理屈っぽいしそれに読み取る; int1 -> int2: あの同調は理屈っぽい; int2 & fact2 -> hypothesis;
fact4 & fact1 -> int1: ({AA}{a} & {AB}{a}); int1 -> int2: {AA}{a}; int2 & fact2 -> hypothesis;
あの民生費は使用し難くない
fact6 -> int3: もし「あの民生費は図々しかなくてそれは止さない」ということは間違いであるならそれは使用し難くない;
$facts$ = fact1: あの同調は図々しかない fact2: あの同調は理屈っぽいとしたら「あの民生費は使用し難い」ということは確かだ fact3: 「なんらかの物は図々しかなくて止すということはない」ということは間違いであるとすると使用し難くない fact4: 仮にあの同調が図々しかないとしたらそれは理屈っぽいしおまけにそれは読み取る fact5: あの民生費は柔らかくてそれは読み取る ; $hypothesis$ = あの民生費は使用し難い ; $proof$ = 
fact4 & fact1 -> int1: あの同調は理屈っぽいしそれに読み取る; int1 -> int2: あの同調は理屈っぽい; int2 & fact2 -> hypothesis; __PROVED__
事実1: あの同調は図々しかない
事実2: あの同調は理屈っぽいとしたら「あの民生費は使用し難い」ということは確かだ
事実3: 「なんらかの物は図々しかなくて止すということはない」ということは間違いであるとすると使用し難くない
事実4: 仮にあの同調が図々しかないとしたらそれは理屈っぽいしおまけにそれは読み取る
事実5: あの民生費は柔らかくてそれは読み取る

仮説: あの民生費は使用し難い
1. 事実4と事実1から、推論1: "あの同調は理屈っぽいしそれに読み取る"が導かれる
2. 推論1から、推論2: "あの同調は理屈っぽい"が導かれる
3. 推論2と事実2から、仮説が導かれる

よって、仮説が証明されました。