あのみやみちゅLv.96は入り易いということはない
fact1: もし仮にこのぴえぴわLv.54は置き易いとすれば「あのもやもえLv.54は利き難い」ということは成り立つ fact2: このぴえぴわLv.54は置き易くてさらに活動し易い fact3: なにがしかのモンスターがいとおしいし更に利き難いならばあのみやみちゅLv.96は入り易い fact4: 「あるモンスターは置き易いし利き難い」ということは事実でないとすればそれは置き易くない fact5: あのまにゅまにゅLv.3は仲間らしいしその上いとおしい fact6: あのもやもえLv.54はいとおしい fact7: もし「あのまなまやLv.82は御安いかあるいはいとおしいということはない」ということは本当でないとしたらあのもやもえLv.54はいとおしくない fact8: 仮になんらかのモンスターが置き易いが活動し易くないならそれは入り易いということはない fact9: 置き易いモンスターは潔し
fact2 -> int1: このぴえぴわLv.54は置き易い; int1 & fact1 -> int2: あのもやもえLv.54は利き難い; int2 & fact6 -> int3: あのもやもえLv.54はいとおしいし利き難い; int3 -> int4: 「いとおしいし利き難い」モンスターはいる; int4 & fact3 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact6 -> int3: ({D}{b} & {C}{b}); int3 -> int4: (Ex): ({D}x & {C}x); int4 & fact3 -> hypothesis;
あのまにゅまにゅLv.3は仲間らしいししかも潔し
fact11 -> int5: あのまにゅまにゅLv.3は仲間らしい; fact10 -> int6: もしあのまにゅまにゅLv.3は置き易いなら「潔し」ということは成り立つ;
$facts$ = fact1: もし仮にこのぴえぴわLv.54は置き易いとすれば「あのもやもえLv.54は利き難い」ということは成り立つ fact2: このぴえぴわLv.54は置き易くてさらに活動し易い fact3: なにがしかのモンスターがいとおしいし更に利き難いならばあのみやみちゅLv.96は入り易い fact4: 「あるモンスターは置き易いし利き難い」ということは事実でないとすればそれは置き易くない fact5: あのまにゅまにゅLv.3は仲間らしいしその上いとおしい fact6: あのもやもえLv.54はいとおしい fact7: もし「あのまなまやLv.82は御安いかあるいはいとおしいということはない」ということは本当でないとしたらあのもやもえLv.54はいとおしくない fact8: 仮になんらかのモンスターが置き易いが活動し易くないならそれは入り易いということはない fact9: 置き易いモンスターは潔し ; $hypothesis$ = あのみやみちゅLv.96は入り易いということはない ; $proof$ = 
fact2 -> int1: このぴえぴわLv.54は置き易い; int1 & fact1 -> int2: あのもやもえLv.54は利き難い; int2 & fact6 -> int3: あのもやもえLv.54はいとおしいし利き難い; int3 -> int4: 「いとおしいし利き難い」モンスターはいる; int4 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact6 -> int3: ({D}{b} & {C}{b}); int3 -> int4: (Ex): ({D}x & {C}x); int4 & fact3 -> hypothesis; __DISPROVED__