あのぷのぷわLv.40は共鳴し易くない
fact1: もし仮にあのぷのぷわLv.40が飲み掛けるし更に上昇し易いとしたらあのぷのぷわLv.40は共鳴し易くない fact2: このぽにぽにゅLv.7が飲み掛けないとしたらこのぽにぽにゅLv.7は共鳴し易いし加えてそれは競り合う fact3: あのぷのぷわLv.40が競り合えばあのぷのぷわLv.40は飲み掛ける fact4: あのぷのぷわLv.40は競り合う fact5: もしあるモンスターが好ましくないしかつ上昇し易くないとするとそれは飲み掛けない fact6: あのぷのぷわLv.40は回転し始める fact7: あのぴよぴにゅLv.12は競り合う fact8: あのぷのぷわLv.40は上昇し易い fact9: もしも「このぽにぽにゅLv.7は共鳴し易い」ということは確かならあのぷのぷわLv.40は共鳴し易い
fact3 & fact4 -> int1: あのぷのぷわLv.40は飲み掛ける; int1 & fact8 -> int2: あのぷのぷわLv.40は飲み掛けるし上昇し易い; int2 & fact1 -> hypothesis;
fact3 & fact4 -> int1: {B}{a}; int1 & fact8 -> int2: ({B}{a} & {C}{a}); int2 & fact1 -> hypothesis;
あのぷのぷわLv.40は共鳴し易い
fact12 -> int3: もしもこのぽにぽにゅLv.7が好ましくないし加えてそれが上昇し易くないとすればこのぽにぽにゅLv.7は飲み掛けない;
$facts$ = fact1: もし仮にあのぷのぷわLv.40が飲み掛けるし更に上昇し易いとしたらあのぷのぷわLv.40は共鳴し易くない fact2: このぽにぽにゅLv.7が飲み掛けないとしたらこのぽにぽにゅLv.7は共鳴し易いし加えてそれは競り合う fact3: あのぷのぷわLv.40が競り合えばあのぷのぷわLv.40は飲み掛ける fact4: あのぷのぷわLv.40は競り合う fact5: もしあるモンスターが好ましくないしかつ上昇し易くないとするとそれは飲み掛けない fact6: あのぷのぷわLv.40は回転し始める fact7: あのぴよぴにゅLv.12は競り合う fact8: あのぷのぷわLv.40は上昇し易い fact9: もしも「このぽにぽにゅLv.7は共鳴し易い」ということは確かならあのぷのぷわLv.40は共鳴し易い ; $hypothesis$ = あのぷのぷわLv.40は共鳴し易くない ; $proof$ = 
fact3 & fact4 -> int1: あのぷのぷわLv.40は飲み掛ける; int1 & fact8 -> int2: あのぷのぷわLv.40は飲み掛けるし上昇し易い; int2 & fact1 -> hypothesis; __PROVED__
fact3 & fact4 -> int1: {B}{a}; int1 & fact8 -> int2: ({B}{a} & {C}{a}); int2 & fact1 -> hypothesis; __PROVED__