このもにゅもにゅLv.48はおどろおどろしい
fact1: もし仮に「免れ難いということはない」モンスターがいるならこのもにゅもにゅLv.48は掛け難くてそれは仄暗い fact2: もしも掛け難いモンスターが免れ難くないとすればそれはおどろおどろしくない fact3: もし仮にこのもにゅもにゅLv.48が仄暗いならばこのもにゅもにゅLv.48はおどろおどろしい fact4: 「免れ難くない」モンスターはいる
fact4 & fact1 -> int1: このもにゅもにゅLv.48は掛け難くて仄暗い; int1 -> int2: 「このもにゅもにゅLv.48は仄暗い」ということは真実である; int2 & fact3 -> hypothesis;
fact4 & fact1 -> int1: ({B}{a} & {C}{a}); int1 -> int2: {C}{a}; int2 & fact3 -> hypothesis;
このもにゅもにゅLv.48はおどろおどろしいということはない
fact5 -> int3: もしあのぽにゃぽえLv.90が掛け難い一方で免れ難くないとしたらあのぽにゃぽえLv.90はおどろおどろしくない;
$facts$ = fact1: もし仮に「免れ難いということはない」モンスターがいるならこのもにゅもにゅLv.48は掛け難くてそれは仄暗い fact2: もしも掛け難いモンスターが免れ難くないとすればそれはおどろおどろしくない fact3: もし仮にこのもにゅもにゅLv.48が仄暗いならばこのもにゅもにゅLv.48はおどろおどろしい fact4: 「免れ難くない」モンスターはいる ; $hypothesis$ = このもにゅもにゅLv.48はおどろおどろしい ; $proof$ = 
fact4 & fact1 -> int1: このもにゅもにゅLv.48は掛け難くて仄暗い; int1 -> int2: 「このもにゅもにゅLv.48は仄暗い」ということは真実である; int2 & fact3 -> hypothesis; __PROVED__
fact4 & fact1 -> int1: ({B}{a} & {C}{a}); int1 -> int2: {C}{a}; int2 & fact3 -> hypothesis; __PROVED__