あのぷちゅぷにゅLv.23は太しない
fact1: とあるモンスターは変化し易くない fact2: あのぷちゅぷにゅLv.23は大人っぽい fact3: あのぷちゅぷにゅLv.23は粉っぽい fact4: 仮にあのぷちゅぷにゅLv.23が太しし大人っぽいとしたら「それは粉っぽいということはない」ということは正しい fact5: なにがしかのモンスターが変化し易くないとしたらそのぽえぽくLv.30は粉っぽいししかも変化し易い fact6: もし仮に「このぴにゃぴのLv.46は太し」ということは事実だとすればあのぷちゅぷにゅLv.23は太し
void -> assump1: 以下のように仮定する。あのぷちゅぷにゅLv.23は太し; assump1 & fact2 -> int1: あのぷちゅぷにゅLv.23は太しし加えてそれは大人っぽい; int1 & fact4 -> int2: あのぷちゅぷにゅLv.23は粉っぽくない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; assump1 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{a}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。あのぷちゅぷにゅLv.23は太し
fact9 & fact8 -> int4: そのぽえぽくLv.30は粉っぽくてそれは変化し易い; int4 -> int5: そのぽえぽくLv.30は粉っぽい; int5 -> int6: 「粉っぽい」モンスターはいる;
$facts$ = fact1: とあるモンスターは変化し易くない fact2: あのぷちゅぷにゅLv.23は大人っぽい fact3: あのぷちゅぷにゅLv.23は粉っぽい fact4: 仮にあのぷちゅぷにゅLv.23が太しし大人っぽいとしたら「それは粉っぽいということはない」ということは正しい fact5: なにがしかのモンスターが変化し易くないとしたらそのぽえぽくLv.30は粉っぽいししかも変化し易い fact6: もし仮に「このぴにゃぴのLv.46は太し」ということは事実だとすればあのぷちゅぷにゅLv.23は太し ; $hypothesis$ = あのぷちゅぷにゅLv.23は太しない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぷちゅぷにゅLv.23は太し; assump1 & fact2 -> int1: あのぷちゅぷにゅLv.23は太しし加えてそれは大人っぽい; int1 & fact4 -> int2: あのぷちゅぷにゅLv.23は粉っぽくない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; assump1 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{a}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__