このもいもくLv.47は働き難くない
fact1: あるモンスターは抜爪しないとすれば「それは灰色っぽくないが働き難い」ということは偽である fact2: あのぽのぽのLv.16は抜爪しない fact3: 仮にあのぽのぽのLv.16が抜爪しないとすると理屈っぽいしそれに軽い fact4: もし仮にあのぽのぽのLv.16が軽いとすればこのもいもくLv.47は働き難い
fact3 & fact2 -> int1: あのぽのぽのLv.16は理屈っぽくて更に軽い; int1 -> int2: あのぽのぽのLv.16は軽い; int2 & fact4 -> hypothesis;
fact3 & fact2 -> int1: ({AA}{a} & {AB}{a}); int1 -> int2: {AB}{a}; int2 & fact4 -> hypothesis;
このもいもくLv.47は働き難くない
fact5 -> int3: もしそのぴにゅぴねLv.10は抜爪しないとすると「灰色っぽくないしその上それは働き難い」ということは事実と異なる;
$facts$ = fact1: あるモンスターは抜爪しないとすれば「それは灰色っぽくないが働き難い」ということは偽である fact2: あのぽのぽのLv.16は抜爪しない fact3: 仮にあのぽのぽのLv.16が抜爪しないとすると理屈っぽいしそれに軽い fact4: もし仮にあのぽのぽのLv.16が軽いとすればこのもいもくLv.47は働き難い ; $hypothesis$ = このもいもくLv.47は働き難くない ; $proof$ = 
fact3 & fact2 -> int1: あのぽのぽのLv.16は理屈っぽくて更に軽い; int1 -> int2: あのぽのぽのLv.16は軽い; int2 & fact4 -> hypothesis; __DISPROVED__
fact3 & fact2 -> int1: ({AA}{a} & {AB}{a}); int1 -> int2: {AB}{a}; int2 & fact4 -> hypothesis; __DISPROVED__