仮にあのまのまにゃLv.10が来し易いならばけたたましくない
fact1: もしもあのまのまにゃLv.10が滑落するしまた疑わしとしたらそれは生温い fact2: あのまのまにゃLv.10は黄色い fact3: あのまのまにゃLv.10は受け入れ易いしさらに世知辛い fact4: あのまなまくLv.74はけたたましいということはない fact5: もし太しモンスターが来し易いとするとコントロールし易くない fact6: あのまいまくLv.80は来し易い
void -> assump1: 以下のように仮定する。あのまのまにゃLv.10は来し易い; assump1 & fact2 -> int1: あのまのまにゃLv.10は来し易くて黄色い;
void -> assump1: {A}{a}; assump1 & fact2 -> int1: ({A}{a} & {B}{a});
もしあのぷのぷにゅLv.82が太しし更に来し易いとすればあのぷのぷにゅLv.82はコントロールし易くない
fact7 -> hypothesis;
$facts$ = fact1: もしもあのまのまにゃLv.10が滑落するしまた疑わしとしたらそれは生温い fact2: あのまのまにゃLv.10は黄色い fact3: あのまのまにゃLv.10は受け入れ易いしさらに世知辛い fact4: あのまなまくLv.74はけたたましいということはない fact5: もし太しモンスターが来し易いとするとコントロールし易くない fact6: あのまいまくLv.80は来し易い ; $hypothesis$ = 仮にあのまのまにゃLv.10が来し易いならばけたたましくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__