そのもちゅもにLv.53は持ち易い
fact1: もしこのぷわぷにょLv.73が馬鹿らしいならそのもちゅもにLv.53はでっかい fact2: そのもちゅもにLv.53は守り易い fact3: 仮に「そのまにゅまにLv.48はでっかいということはないしおまけにそれは守り易くない」ということは成り立つということはないとするとこのぷわぷにょLv.73はでっかい fact4: 「あのみくみにゅLv.97はあざとくないかもしくは隙間無いかあるいは両方ともである」ということは誤っている fact5: もしもそのもちゅもにLv.53が守り易いしそれがでっかいならばそれは持ち易くない fact6: このぷわぷにょLv.73は馬鹿らしい fact7: もし仮になにがしかのモンスターは冷たいということはないなら「それはでっかくないし守り易いということはない」ということは成り立たない
fact1 & fact6 -> int1: 「そのもちゅもにLv.53はでっかい」ということは成り立つ; int1 & fact2 -> int2: そのもちゅもにLv.53は守り易いしまたそれはでっかい; int2 & fact5 -> hypothesis;
fact1 & fact6 -> int1: {B}{b}; int1 & fact2 -> int2: ({C}{b} & {B}{b}); int2 & fact5 -> hypothesis;
そのもちゅもにLv.53は持ち易い
fact8 -> int3: 仮にそのまにゅまにLv.48は冷たくないとすると「それはでっかくなくてかつ守り易くない」ということは本当でない; fact10 -> int4: 「「あざとくないかまたは隙間無いか両方ともである」ということは成り立たない」モンスターはいる;
$facts$ = fact1: もしこのぷわぷにょLv.73が馬鹿らしいならそのもちゅもにLv.53はでっかい fact2: そのもちゅもにLv.53は守り易い fact3: 仮に「そのまにゅまにLv.48はでっかいということはないしおまけにそれは守り易くない」ということは成り立つということはないとするとこのぷわぷにょLv.73はでっかい fact4: 「あのみくみにゅLv.97はあざとくないかもしくは隙間無いかあるいは両方ともである」ということは誤っている fact5: もしもそのもちゅもにLv.53が守り易いしそれがでっかいならばそれは持ち易くない fact6: このぷわぷにょLv.73は馬鹿らしい fact7: もし仮になにがしかのモンスターは冷たいということはないなら「それはでっかくないし守り易いということはない」ということは成り立たない ; $hypothesis$ = そのもちゅもにLv.53は持ち易い ; $proof$ = 
fact1 & fact6 -> int1: 「そのもちゅもにLv.53はでっかい」ということは成り立つ; int1 & fact2 -> int2: そのもちゅもにLv.53は守り易いしまたそれはでっかい; int2 & fact5 -> hypothesis; __DISPROVED__
fact1 & fact6 -> int1: {B}{b}; int1 & fact2 -> int2: ({C}{b} & {B}{b}); int2 & fact5 -> hypothesis; __DISPROVED__