仮にあのぷなぷちゅLv.97が管理し易いとするとこのぷちゃぷのLv.24は接近出来る
fact1: このぷちゃぷのLv.24は重ね着する fact2: とあるモンスターが接近出来ないなら管理し易くてそれに力強くない fact3: あのぷなぷちゅLv.97は管理し易いとしたら「力強い」ということは本当だ fact4: 仮にこのぷちゃぷのLv.24は接近出来るとしたら「このぷちゃぷのLv.24は力強い」ということは事実だ fact5: もしも「あのぷなぷちゅLv.97は力強い」ということは成り立つとしたらこのぷちゃぷのLv.24は接近出来る fact6: もし仮になんらかのモンスターは落ち易くなくてしかも得られ難くないとすればそれは接近出来ない
void -> assump1: 以下のように仮定する。あのぷなぷちゅLv.97は管理し易い; fact3 & assump1 -> int1: あのぷなぷちゅLv.97は力強い; int1 & fact5 -> int2: このぷちゃぷのLv.24は接近出来る; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{b}; [assump1] & int2 -> hypothesis;
「そのぷねぷわLv.40は管理し易い」ということは本当である
fact7 -> int3: そのぷねぷわLv.40が接近出来ないなら管理し易いしかつ力強くない; fact8 -> int4: もし仮にそのぷねぷわLv.40は落ち易くないし加えて得られ難くないとすれば接近出来ない;
$facts$ = fact1: このぷちゃぷのLv.24は重ね着する fact2: とあるモンスターが接近出来ないなら管理し易くてそれに力強くない fact3: あのぷなぷちゅLv.97は管理し易いとしたら「力強い」ということは本当だ fact4: 仮にこのぷちゃぷのLv.24は接近出来るとしたら「このぷちゃぷのLv.24は力強い」ということは事実だ fact5: もしも「あのぷなぷちゅLv.97は力強い」ということは成り立つとしたらこのぷちゃぷのLv.24は接近出来る fact6: もし仮になんらかのモンスターは落ち易くなくてしかも得られ難くないとすればそれは接近出来ない ; $hypothesis$ = 仮にあのぷなぷちゅLv.97が管理し易いとするとこのぷちゃぷのLv.24は接近出来る ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぷなぷちゅLv.97は管理し易い; fact3 & assump1 -> int1: あのぷなぷちゅLv.97は力強い; int1 & fact5 -> int2: このぷちゃぷのLv.24は接近出来る; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{b}; [assump1] & int2 -> hypothesis; __PROVED__