「あの無駄金は受け入れ易いし愛し得る」ということは偽だ
fact1: あの無駄金は和訓する fact2: あの無駄金は心弱いし加えて和訓する fact3: もしも「あの無駄金は図々しい」ということは嘘だとしたら受け入れ易い fact4: あの無駄金は白しない fact5: 仮にあの無駄金は心弱いけれど白しないとすると図々しかない fact6: あの無駄金は愛し得るし全人民だ fact7: あの無駄金は全人民である
fact2 -> int1: あの無駄金は心弱い; int1 & fact4 -> int2: あの無駄金は心弱いけど白しない; int2 & fact5 -> int3: あの無駄金は図々しかない; int3 & fact3 -> int4: あの無駄金は受け入れ易い; fact6 -> int5: あの無駄金は愛し得る; int4 & int5 -> hypothesis;
$facts$ = fact1: あの無駄金は和訓する fact2: あの無駄金は心弱いし加えて和訓する fact3: もしも「あの無駄金は図々しい」ということは嘘だとしたら受け入れ易い fact4: あの無駄金は白しない fact5: 仮にあの無駄金は心弱いけれど白しないとすると図々しかない fact6: あの無駄金は愛し得るし全人民だ fact7: あの無駄金は全人民である ; $hypothesis$ = 「あの無駄金は受け入れ易いし愛し得る」ということは偽だ ; $proof$ = 
fact2 -> int1: あの無駄金は心弱い; int1 & fact4 -> int2: あの無駄金は心弱いけど白しない; int2 & fact5 -> int3: あの無駄金は図々しかない; int3 & fact3 -> int4: あの無駄金は受け入れ易い; fact6 -> int5: あの無駄金は愛し得る; int4 & int5 -> hypothesis; __DISPROVED__
事実1: あの無駄金は和訓する
事実2: あの無駄金は心弱いし加えて和訓する
事実3: もしも「あの無駄金は図々しい」ということは嘘だとしたら受け入れ易い
事実4: あの無駄金は白しない
事実5: 仮にあの無駄金は心弱いけれど白しないとすると図々しかない
事実6: あの無駄金は愛し得るし全人民だ
事実7: あの無駄金は全人民である

仮説: 「あの無駄金は受け入れ易いし愛し得る」ということは偽だ
1. 事実2から、推論1: "あの無駄金は心弱い"が導かれる
2. 推論1と事実4から、推論2: "あの無駄金は心弱いけど白しない"が導かれる
3. 推論2と事実5から、推論3: "あの無駄金は図々しかない"が導かれる
4. 推論3と事実3から、推論4: "あの無駄金は受け入れ易い"が導かれる
5. 事実6から、推論5: "あの無駄金は愛し得る"が導かれる
6. 推論4と推論5から、仮説が否定される

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