以下のように仮定する。あのぴのぴえLv.61はコントロールし易い
fact1: 丸っこくないモンスターはコントロールし易いし加えて貧し fact2: 「あのぴのぴえLv.61は貧し」ということは事実である fact3: もし「このみわみちょLv.92は丸っこくないかまたは走り易くないかあるいはどちらもである」ということは成り立たないならばあのぴのぴえLv.61は丸っこいということはない fact4: もしあのぴのぴえLv.61が貧ししさらにコントロールし易いとすればこのみわみちょLv.92は丸っこいということはない fact5: 程近いモンスターは走り易い fact6: あのみにょみちゅLv.18は丸っこくない fact7: このみわみちょLv.92は丸っこい
void -> assump1: 以下のように仮定する。あのぴのぴえLv.61はコントロールし易い; fact2 & assump1 -> int1: あのぴのぴえLv.61は貧ししそれにコントロールし易い; int1 & fact4 -> int2: このみわみちょLv.92は丸っこくない; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}{a}; fact2 & assump1 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact7 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。あのぴのぴえLv.61はコントロールし易い
fact9 -> int4: あのぴのぴえLv.61が丸っこくないならコントロールし易くてかつ貧し; fact8 -> int5: もし仮にあのぽのぽくLv.56が程近いとしたら走り易い;
$facts$ = fact1: 丸っこくないモンスターはコントロールし易いし加えて貧し fact2: 「あのぴのぴえLv.61は貧し」ということは事実である fact3: もし「このみわみちょLv.92は丸っこくないかまたは走り易くないかあるいはどちらもである」ということは成り立たないならばあのぴのぴえLv.61は丸っこいということはない fact4: もしあのぴのぴえLv.61が貧ししさらにコントロールし易いとすればこのみわみちょLv.92は丸っこいということはない fact5: 程近いモンスターは走り易い fact6: あのみにょみちゅLv.18は丸っこくない fact7: このみわみちょLv.92は丸っこい ; $hypothesis$ = 以下のように仮定する。あのぴのぴえLv.61はコントロールし易い ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぴのぴえLv.61はコントロールし易い; fact2 & assump1 -> int1: あのぴのぴえLv.61は貧ししそれにコントロールし易い; int1 & fact4 -> int2: このみわみちょLv.92は丸っこくない; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {B}{a}; fact2 & assump1 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact7 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__