あのみちょみちゅLv.98は切り易い
fact1: あのぽやぽわLv.36は痛い fact2: 「あのみちょみちゅLv.98は送り出さなくて加えてそれは白っぽくない」ということは成り立つということはない fact3: 「あのぽやぽわLv.36は白っぽい」ということは本当である fact4: 「痛くて白っぽい」モンスターがいるとすればあのみちょみちゅLv.98は切り易いということはない
fact1 & fact3 -> int1: あのぽやぽわLv.36は痛いしさらにそれは白っぽい; int1 -> int2: あるモンスターは痛いしその上白っぽい; int2 & fact4 -> hypothesis;
fact1 & fact3 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact4 -> hypothesis;
「送り出すしおまけに尋ね歩く」モンスターはいる
fact5 -> int3: 「「送り出さないし更に白っぽくない」ということは間違いである」モンスターはいる;
$facts$ = fact1: あのぽやぽわLv.36は痛い fact2: 「あのみちょみちゅLv.98は送り出さなくて加えてそれは白っぽくない」ということは成り立つということはない fact3: 「あのぽやぽわLv.36は白っぽい」ということは本当である fact4: 「痛くて白っぽい」モンスターがいるとすればあのみちょみちゅLv.98は切り易いということはない ; $hypothesis$ = あのみちょみちゅLv.98は切り易い ; $proof$ = 
fact1 & fact3 -> int1: あのぽやぽわLv.36は痛いしさらにそれは白っぽい; int1 -> int2: あるモンスターは痛いしその上白っぽい; int2 & fact4 -> hypothesis; __DISPROVED__
fact1 & fact3 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact4 -> hypothesis; __DISPROVED__