この所得格差は抗い難くない
fact1: この所得格差はイラク市民だ fact2: 進化し易い物は抗い難い fact3: もしも「なんらかのものはイラク市民で加えてそれは抗い難い」ということは事実と異なるとしたらそれは抗い難いということはない fact4: 仮に「なんらかのものは修正後でないがしかしそれはイラク市民である」ということは成り立つということはないとすればイラク市民であるということはない fact5: 仮にこの所得格差はイラク市民であるとしたら進化し易い fact6: その穴掘りはイラク市民である
fact5 & fact1 -> int1: この所得格差は進化し易い; fact2 -> int2: もしもこの所得格差は進化し易いなら「それは抗い難い」ということは真実だ; int1 & int2 -> hypothesis;
fact5 & fact1 -> int1: {B}{a}; fact2 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> hypothesis;
この所得格差は抗い難くない
fact8 -> int3: もし仮に「この所得格差はイラク市民で加えて抗い難い」ということは成り立たないなら抗い難くない; fact7 -> int4: 「その御椀は修正後でないけれどそれはイラク市民である」ということは偽であるとしたらそれはイラク市民でない;
$facts$ = fact1: この所得格差はイラク市民だ fact2: 進化し易い物は抗い難い fact3: もしも「なんらかのものはイラク市民で加えてそれは抗い難い」ということは事実と異なるとしたらそれは抗い難いということはない fact4: 仮に「なんらかのものは修正後でないがしかしそれはイラク市民である」ということは成り立つということはないとすればイラク市民であるということはない fact5: 仮にこの所得格差はイラク市民であるとしたら進化し易い fact6: その穴掘りはイラク市民である ; $hypothesis$ = この所得格差は抗い難くない ; $proof$ = 
fact5 & fact1 -> int1: この所得格差は進化し易い; fact2 -> int2: もしもこの所得格差は進化し易いなら「それは抗い難い」ということは真実だ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この所得格差はイラク市民だ
事実2: 進化し易い物は抗い難い
事実3: もしも「なんらかのものはイラク市民で加えてそれは抗い難い」ということは事実と異なるとしたらそれは抗い難いということはない
事実4: 仮に「なんらかのものは修正後でないがしかしそれはイラク市民である」ということは成り立つということはないとすればイラク市民であるということはない
事実5: 仮にこの所得格差はイラク市民であるとしたら進化し易い
事実6: その穴掘りはイラク市民である

仮説: この所得格差は抗い難くない
1. 事実5と事実1から、推論1: "この所得格差は進化し易い"が導かれる
2. 事実2から、推論2: "もしもこの所得格差は進化し易いなら「それは抗い難い」ということは真実だ"が導かれる
3. 推論1と推論2から、仮説が否定される

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