以下のように仮定する。あのぷねぷちゅLv.83は薙ぐ
fact1: あるモンスターが心地良くないならばそれは成文化しないし加えて把握し易いということはない fact2: あのぷねぷちゅLv.83は把握し易い fact3: もし仮にあのぷねぷちゅLv.83が把握し易いしそれに薙ぐとするとあのぷねぷちゅLv.83は成文化しない fact4: あのぷねぷちゅLv.83は成文化する fact5: あのぷねぷちゅLv.83が成文化するが薙がないとしたらあのみにょみちょLv.18が薙はない
void -> assump1: 以下のように仮定する。あのぷねぷちゅLv.83は薙ぐ; fact2 & assump1 -> int1: あのぷねぷちゅLv.83は把握し易いしまたそれは薙ぐ; int1 & fact3 -> int2: あのぷねぷちゅLv.83は成文化しない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}{a}; fact2 & assump1 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> int2: ¬{C}{a}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
あのみにょみちょLv.18が薙はない
fact6 -> int4: あのもちょもよLv.12が心地良くないとしたらあのもちょもよLv.12は成文化しないしそれに把握し易くない;
$facts$ = fact1: あるモンスターが心地良くないならばそれは成文化しないし加えて把握し易いということはない fact2: あのぷねぷちゅLv.83は把握し易い fact3: もし仮にあのぷねぷちゅLv.83が把握し易いしそれに薙ぐとするとあのぷねぷちゅLv.83は成文化しない fact4: あのぷねぷちゅLv.83は成文化する fact5: あのぷねぷちゅLv.83が成文化するが薙がないとしたらあのみにょみちょLv.18が薙はない ; $hypothesis$ = 以下のように仮定する。あのぷねぷちゅLv.83は薙ぐ ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぷねぷちゅLv.83は薙ぐ; fact2 & assump1 -> int1: あのぷねぷちゅLv.83は把握し易いしまたそれは薙ぐ; int1 & fact3 -> int2: あのぷねぷちゅLv.83は成文化しない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {B}{a}; fact2 & assump1 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> int2: ¬{C}{a}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__