「そのまちゃまねLv.30は分化するししかも荒っぽい」ということは誤りである
fact1: もしもそのまちゃまねLv.30が面映ゆいとするとこのぴねぴねLv.16は面映ゆい fact2: あるモンスターはすーごくないとすると「分化するし更に荒っぽい」ということは間違っている fact3: あのぽにぽいLv.75はイメージし易いし面映ゆい fact4: そのまちゃまねLv.30は荒っぽい fact5: すーごいということはないモンスターは分化するしその上荒っぽい fact6: そのまちゃまねLv.30は分化する
fact6 -> int1: そのまちゃまねLv.30は分化する; int1 & fact4 -> hypothesis;
fact6 -> int1: {A}{a}; int1 & fact4 -> hypothesis;
「そのまちゃまねLv.30は分化するししかも荒っぽい」ということは誤りである
fact7 -> int2: もし仮にそのまちゃまねLv.30はすーごくないならば「そのまちゃまねLv.30は分化するし荒っぽい」ということは嘘である; fact8 -> int3: あのぽにぽいLv.75はイメージし易い;
$facts$ = fact1: もしもそのまちゃまねLv.30が面映ゆいとするとこのぴねぴねLv.16は面映ゆい fact2: あるモンスターはすーごくないとすると「分化するし更に荒っぽい」ということは間違っている fact3: あのぽにぽいLv.75はイメージし易いし面映ゆい fact4: そのまちゃまねLv.30は荒っぽい fact5: すーごいということはないモンスターは分化するしその上荒っぽい fact6: そのまちゃまねLv.30は分化する ; $hypothesis$ = 「そのまちゃまねLv.30は分化するししかも荒っぽい」ということは誤りである ; $proof$ = 
fact6 -> int1: そのまちゃまねLv.30は分化する; int1 & fact4 -> hypothesis; __DISPROVED__
fact6 -> int1: {A}{a}; int1 & fact4 -> hypothesis; __DISPROVED__