そのみにゅみわLv.88は厳つかない
fact1: このもわもにょLv.46は当然過ぎるしかつ称賛する fact2: もしもこのぴちょぴのLv.65は云々すれば「そのみにゅみわLv.88は厳つい」ということは確かだ fact3: もしこのもわもにょLv.46が称賛するとすればこのぴちょぴのLv.65は云々する fact4: 仮に「なにがしかのモンスターは当然過ぎるしかつ云々する」ということは成り立たないとすると「それは当然過ぎない」ということは誤りでない
fact1 -> int1: このもわもにょLv.46は称賛する; int1 & fact3 -> int2: このぴちょぴのLv.65は云々する; int2 & fact2 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact2 -> hypothesis;
そのみにゅみわLv.88は厳つかない
fact5 -> int3: 「このもわもにょLv.46は当然過ぎるし云々する」ということは誤りであるなら当然過ぎない;
$facts$ = fact1: このもわもにょLv.46は当然過ぎるしかつ称賛する fact2: もしもこのぴちょぴのLv.65は云々すれば「そのみにゅみわLv.88は厳つい」ということは確かだ fact3: もしこのもわもにょLv.46が称賛するとすればこのぴちょぴのLv.65は云々する fact4: 仮に「なにがしかのモンスターは当然過ぎるしかつ云々する」ということは成り立たないとすると「それは当然過ぎない」ということは誤りでない ; $hypothesis$ = そのみにゅみわLv.88は厳つかない ; $proof$ = 
fact1 -> int1: このもわもにょLv.46は称賛する; int1 & fact3 -> int2: このぴちょぴのLv.65は云々する; int2 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact2 -> hypothesis; __DISPROVED__