もしもこのもねもにゅLv.60が表現し難いならばそのもゆもちょLv.79は黒い
fact1: このもねもにゅLv.60は世知辛くておまけに黒い fact2: 仮にこのもねもにゅLv.60が捗々しいならそのもゆもちょLv.79はし易い fact3: もし仮にそのもゆもちょLv.79がし易いならばそのもゆもちょLv.79は黒い fact4: このもねもにゅLv.60が表現し難いとしたら捗々しい fact5: もしこのもねもにゅLv.60が表現し難くないけど捗々しいとすればあのまくまいLv.50は捗々しい fact6: し易いということはないモンスターは表現し難くない一方で捗々しい fact7: 黒いモンスターは残り難いとすればそれはし易くない
void -> assump1: 以下のように仮定する。このもねもにゅLv.60は表現し難い; fact4 & assump1 -> int1: このもねもにゅLv.60は捗々しい; int1 & fact2 -> int2: そのもゆもちょLv.79はし易い; int2 & fact3 -> int3: そのもゆもちょLv.79は黒い; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact3 -> int3: {D}{b}; [assump1] & int3 -> hypothesis;
「あのまくまいLv.50は捗々しい」ということは間違っているということはない
fact8 -> int4: 仮にこのもねもにゅLv.60はし易くないならばこのもねもにゅLv.60は表現し難くないがそれは捗々しい; fact9 -> int5: もしこのもねもにゅLv.60は黒いし残り難いとするとこのもねもにゅLv.60はし易くない; fact10 -> int6: このもねもにゅLv.60は黒い;
$facts$ = fact1: このもねもにゅLv.60は世知辛くておまけに黒い fact2: 仮にこのもねもにゅLv.60が捗々しいならそのもゆもちょLv.79はし易い fact3: もし仮にそのもゆもちょLv.79がし易いならばそのもゆもちょLv.79は黒い fact4: このもねもにゅLv.60が表現し難いとしたら捗々しい fact5: もしこのもねもにゅLv.60が表現し難くないけど捗々しいとすればあのまくまいLv.50は捗々しい fact6: し易いということはないモンスターは表現し難くない一方で捗々しい fact7: 黒いモンスターは残り難いとすればそれはし易くない ; $hypothesis$ = もしもこのもねもにゅLv.60が表現し難いならばそのもゆもちょLv.79は黒い ; $proof$ = 
void -> assump1: 以下のように仮定する。このもねもにゅLv.60は表現し難い; fact4 & assump1 -> int1: このもねもにゅLv.60は捗々しい; int1 & fact2 -> int2: そのもゆもちょLv.79はし易い; int2 & fact3 -> int3: そのもゆもちょLv.79は黒い; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact3 -> int3: {D}{b}; [assump1] & int3 -> hypothesis; __PROVED__