そのぴにょぴにゅLv.13は平ったくない
fact1: 仮にそのぴにょぴにゅLv.13は過ごし易いならば「平ったい」ということは誤っているということはない fact2: 仮に「とあるモンスターは所らしくないが平ったい」ということは間違いであるとしたら平ったくない fact3: もしもあのみねみやLv.48が所らしいならそのぴにょぴにゅLv.13は過ごし易い fact4: あのみねみやLv.48は所らしい fact5: そのみよみにゅLv.30は平ったい
fact3 & fact4 -> int1: そのぴにょぴにゅLv.13は過ごし易い; int1 & fact1 -> hypothesis;
fact3 & fact4 -> int1: {B}{b}; int1 & fact1 -> hypothesis;
そのぴにょぴにゅLv.13は平ったくない
fact6 -> int2: もし仮に「そのぴにょぴにゅLv.13は所らしいということはない一方で平ったい」ということは事実と異なるとするとそのぴにょぴにゅLv.13は平ったくない;
$facts$ = fact1: 仮にそのぴにょぴにゅLv.13は過ごし易いならば「平ったい」ということは誤っているということはない fact2: 仮に「とあるモンスターは所らしくないが平ったい」ということは間違いであるとしたら平ったくない fact3: もしもあのみねみやLv.48が所らしいならそのぴにょぴにゅLv.13は過ごし易い fact4: あのみねみやLv.48は所らしい fact5: そのみよみにゅLv.30は平ったい ; $hypothesis$ = そのぴにょぴにゅLv.13は平ったくない ; $proof$ = 
fact3 & fact4 -> int1: そのぴにょぴにゅLv.13は過ごし易い; int1 & fact1 -> hypothesis; __DISPROVED__
fact3 & fact4 -> int1: {B}{b}; int1 & fact1 -> hypothesis; __DISPROVED__