「解し難いモンスターであり買い易いモンスターはいる」ということは間違いだ
fact1: 「解し難い」モンスターはいる fact2: もし「あのみにみにゃLv.46は断り難くない」ということは成り立つなら買い易いかあるいは解し難いか両方ともである fact3: あのみにみにゃLv.46は物狂おしい fact4: あのみにみにゃLv.46は買い易い fact5: 何らかのモンスターは買い易い fact6: 仮にあのみにみにゃLv.46は物狂おしいとしたら「あのみにみにゃLv.46は解し難い」ということは成り立つ
fact6 & fact3 -> int1: 「あのみにみにゃLv.46は解し難い」ということは成り立つ; int1 & fact4 -> int2: あのみにみにゃLv.46は解し難いしおまけにそれは買い易い; int2 -> hypothesis;
fact6 & fact3 -> int1: {B}{a}; int1 & fact4 -> int2: ({B}{a} & {C}{a}); int2 -> hypothesis;
「そのぴにぴちょLv.46は物狂おしい」ということは確かだ
$facts$ = fact1: 「解し難い」モンスターはいる fact2: もし「あのみにみにゃLv.46は断り難くない」ということは成り立つなら買い易いかあるいは解し難いか両方ともである fact3: あのみにみにゃLv.46は物狂おしい fact4: あのみにみにゃLv.46は買い易い fact5: 何らかのモンスターは買い易い fact6: 仮にあのみにみにゃLv.46は物狂おしいとしたら「あのみにみにゃLv.46は解し難い」ということは成り立つ ; $hypothesis$ = 「解し難いモンスターであり買い易いモンスターはいる」ということは間違いだ ; $proof$ = 
fact6 & fact3 -> int1: 「あのみにみにゃLv.46は解し難い」ということは成り立つ; int1 & fact4 -> int2: あのみにみにゃLv.46は解し難いしおまけにそれは買い易い; int2 -> hypothesis; __DISPROVED__
fact6 & fact3 -> int1: {B}{a}; int1 & fact4 -> int2: ({B}{a} & {C}{a}); int2 -> hypothesis; __DISPROVED__