あのぷいぷにゅLv.76は行い易くない
fact1: 仮にあのぷいぷにゅLv.76が仄暗くないならばそれは平たいし寝苦しい fact2: もし仮にあのぷいぷにゅLv.76が締めっぽくて行い易いならそのまにょまやLv.4は動き易くない fact3: あのぷいぷにゅLv.76は締めっぽい fact4: もしもあるモンスターが動き易くないなら行い易いしさらにそれは締めっぽい fact5: あのぷいぷにゅLv.76は解し難いししかも曇り無し fact6: 仮にあのぷいぷにゅLv.76が寝苦しいとしたらそれは動き易くない fact7: 「あのみねみにゅLv.68は締めっぽい」ということは確かである fact8: そのまにょまやLv.4は動き易い
void -> assump1: 以下のように仮定する。あのぷいぷにゅLv.76は行い易い; fact3 & assump1 -> int1: あのぷいぷにゅLv.76は締めっぽいししかも行い易い; int1 & fact2 -> int2: そのまにょまやLv.4は動き易くない; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}{a}; fact3 & assump1 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> int2: ¬{C}{b}; int2 & fact8 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。あのぷいぷにゅLv.76は行い易い
fact9 -> int4: もしも「あのぷいぷにゅLv.76は動き易くない」ということは本当だとするとあのぷいぷにゅLv.76は行い易くておまけにそれは締めっぽい;
$facts$ = fact1: 仮にあのぷいぷにゅLv.76が仄暗くないならばそれは平たいし寝苦しい fact2: もし仮にあのぷいぷにゅLv.76が締めっぽくて行い易いならそのまにょまやLv.4は動き易くない fact3: あのぷいぷにゅLv.76は締めっぽい fact4: もしもあるモンスターが動き易くないなら行い易いしさらにそれは締めっぽい fact5: あのぷいぷにゅLv.76は解し難いししかも曇り無し fact6: 仮にあのぷいぷにゅLv.76が寝苦しいとしたらそれは動き易くない fact7: 「あのみねみにゅLv.68は締めっぽい」ということは確かである fact8: そのまにょまやLv.4は動き易い ; $hypothesis$ = あのぷいぷにゅLv.76は行い易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぷいぷにゅLv.76は行い易い; fact3 & assump1 -> int1: あのぷいぷにゅLv.76は締めっぽいししかも行い易い; int1 & fact2 -> int2: そのまにょまやLv.4は動き易くない; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {B}{a}; fact3 & assump1 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> int2: ¬{C}{b}; int2 & fact8 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__